A plugin for proving theorems in Lean 4: mathlib search, sorry-filling cycles, axiom checks and safety hooks
Cameron Freer
DeveloperGitHub (opens in a new tab)
Cameron Freer has published 1 vetted tool for AI agents in the catalog: 1 plugin.
All cards
1 cardIn short
It comes with an install command and an access level with reasons.
How to install
One command, using “Lean 4 Skills” as an example. The SkillFoxx CLI detects the agent and puts the files in the right folder.
npx skillfoxx add plugins/lean-4-skillsAccess of the author’s cards
- extended1
Other authors
All authorsDid not find what you need from this author? Describe the task and Foxx AI will pick cards from the whole catalog. Match with Foxx AI