All authors
Claude Skills by project-numina
github.com/project-numina6 skills0 installs3 views
- numina-lean-agentLean 4 theorem proving toolkit: search lemmas, verify proofs, repair/simplify code, and get LLM-assisted informal proofsVotes: 0GitHub stars: 273
- Code TransformCode transformation tools for repairing, simplifying, and extracting Lean proofsVotes: 0GitHub stars: 273
- LlmLLM-assisted tools for informal proofs, proof strategy discussion, and code simplificationVotes: 0GitHub stars: 273
- SearchSearch tools for finding Lean theorems, lemmas, and definitions in MathlibVotes: 0GitHub stars: 273
- SorrifierIsolates failing proof steps by replacing them with `sorry` and extracting them into standalone lemmas to modularize and decouple complex Lean 4 proofs.Votes: 0GitHub stars: 273
- VerificationVerification tools for compiling, validating, and disproving Lean theoremsVotes: 0GitHub stars: 273