Back to all repositories
BE
lean4-claude-plugin
Lean 4 Claude Code Plugin: Native LSP + 17 MCP tools for theorem proving
1stars0forks0watchers/subscribers0issues
- Size
- 1 KB
- Created
- Dec 31, 2025
- Last Updated
- Feb 13, 2026
- Last Pushed
- Dec 31, 2025
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.