Narya interactive proof development with typed holes
Scanned 9/6/2026
Install to Claude Code
Skills Directorynpx -y skills add plurigrid/asi --skill holes --agent claude-codeInstalls into .claude/skills of the current project.
Are you the author of Holes?
Add the live security badge to your README — it updates automatically with every re-scan.
[](https://www.skillsdirectory.com/skills/plurigrid-holes)More formats (shields.io, HTML) on the badges page.
---
name: holes
description: Narya interactive proof development with typed holes
version: 1.0.0
---
# Holes Skill
Interactive proof development using typed holes in Narya proof assistant.
See [HOLES_GUIDE.md](./HOLES_GUIDE.md) for detailed usage.
## Scientific Skill Interleaving
This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:
### Graph Theory
- **networkx** [○] via bicomodule
- Universal graph hub
### Bibliography References
- `general`: 734 citations in bib.duckdb
## Cat# Integration
This skill maps to Cat# = Comod(P) as a bicomodule:
```
Trit: 0 (ERGODIC - bridge/coordinator)
Home: Prof (profunctors/bimodules)
Poly Op: ⊗ (parallel composition)
Kan Role: Adj (adjunction bridge)
```
### GF(3) Naturality
Typed holes represent "gaps" in the proof space - they are ERGODIC elements
that bridge between what is known (MINUS) and what needs to be constructed (PLUS).Is this your skill, or is something wrong with this listing? Request removal or report an issue. Author removals are honored within 72 hours.
No comments yet. Be the first to comment!
