Lean4 Claude Plugin
Lean 4 Claude Code Plugin: Native LSP + 17 MCP tools for theorem proving
Install
Visit the source repository to find installation instructions and documentation.
About this plugin
Lean4 Claude Plugin is a plugin for Claude Code developed by Beneficial-AI-Foundation. It is tagged development, making it relevant for teams working in those areas. Visit the source repository to find installation instructions and documentation.
Categories
Frequently Asked Questions
What does Lean4 Claude Plugin do?
Lean4 Claude Plugin is a Claude Code plugin by Beneficial-AI-Foundation. Lean 4 Claude Code Plugin: Native LSP + 17 MCP tools for theorem proving It extends Claude Code's capabilities for developers who work with related workflows.
How do I install Lean4 Claude Plugin?
To install Lean4 Claude Plugin, visit the source repository at https://github.com/Beneficial-AI-Foundation/lean4-claude-plugin and follow the installation instructions in the README.
Who made Lean4 Claude Plugin?
Lean4 Claude Plugin was created by Beneficial-AI-Foundation. You can find their other projects and contributions on GitHub at https://github.com/Beneficial-AI-Foundation.
Similar Plugins
Skills
Public repository for Agent Skills
by anthropics
Superpowers
An agentic skills framework & software development methodology that works.
by obra
Prompts.Chat
f.k.a. Awesome ChatGPT Prompts. Share, discover, and collect prompts from the community. Free and open source — self-host for your organization wit...
by f
Agent Browser
Browser automation CLI for AI agents
by vercel-labs