Skip to content
Metatext
LLMs
Best LLMs
Benchmarks
Datasets
Models
Tools
Jobs
Sign In
Sign Up
Tools
/
Skills
/
holes
holes
Skill
by plurigrid
Narya interactive proof development with typed holes
Repository
Source folder
Details
Path
skills/holes/SKILL.md
Dependencies
3
FAQ
What is the holes skill?
What tools does holes use?