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-asi)More formats (shields.io, HTML) on the badges page.
---
name: holes
description: Narya interactive proof development with typed holes
trit: 0
color: "#26D826"
catsharp:
home: Prof
poly_op: ⊗ (parallel)
kan_role: Adj
bicomodule: true
---
# Holes Skill
Interactive proof development using typed holes in Narya proof assistant.
See [HOLES_GUIDE.md](./HOLES_GUIDE.md) for detailed usage.
## 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!
