APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
Python Updated about 1 month ago 1 commits 2 stars
helix-ai|Mirror: r-irbe/proof-skills (⭐2)
about 1 month agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
Readme
2 stars