jhhuh/hole-driven-development-skill Skills
(3)Browse AI agent skills from jhhuh/hole-driven-development-skill for Claude Code, OpenClaw, Cursor, Windsurf, and more. Install them with a single command to extend what your agents can do.
hole-driven-development
jhhuh/hole-driven-development-skill
Use when implementing in a language with typed holes (Haskell, Lean 4, Rust) where a compiler provides hole diagnostics — runs the compiler loop autonomously
hole-driven-development-core
jhhuh/hole-driven-development-skill
Use when implementing functions or modules top-down by decomposing into typed holes, filling iteratively from most constrained to least
hole-driven-development-iterative-reasoning
jhhuh/hole-driven-development-skill
Use when implementing in any language using top-down decomposition with visible hole markers, where Claude reasons about each hole's contract and fills iteratively
