Back to all repositories
LE
skills
by leanprover
Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more
64stars1forks1watchers/subscribers0issues
- Language
- Shell
- License
- Apache License 2.0
- Size
- 46 KB
- Created
- Feb 20, 2026
- Last Updated
- Aug 28, 2026
- Last Pushed
- Feb 25, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.