APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
Python Updated 27 days ago 1 commits 2 stars
helix-ai|Mirror: r-irbe/proof-skills (⭐2)
27 days 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