Lean4 Skills
Lean 4 theorem proving skill and workflow pack for AI coding agents
Install
Visit the source repository to find installation instructions and documentation.
About this plugin
Lean4 Skills is a plugin for Claude Code developed by cameronfreer. It is tagged community, 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 Skills do?
Lean4 Skills is a Claude Code plugin by cameronfreer. Lean 4 theorem proving skill and workflow pack for AI coding agents It extends Claude Code's capabilities for developers who work with related workflows.
How do I install Lean4 Skills?
To install Lean4 Skills, visit the source repository at https://github.com/cameronfreer/lean4-skills and follow the installation instructions in the README.
Who made Lean4 Skills?
Lean4 Skills was created by cameronfreer. You can find their other projects and contributions on GitHub at https://github.com/cameronfreer.
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