Back to all repositories
CA
lean4-skills
by cameronfreer
Lean 4 theorem proving skill and workflow pack for AI coding agents
428stars46forks6watchers/subscribers34issues
- Language
- Shell
- License
- MIT License
- Size
- 3.6 MB
- Created
- Oct 17, 2025
- Last Updated
- Sep 3, 2026
- Last Pushed
- Sep 3, 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.