skills
skills is a Shell AI agent skill for Codex with git clone. Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more
How to use skills
Install or run
git clone https://github.com/leanprover/skills.git /tmp/lean-skills
cp -r /tmp/lean-skills/skills/* ~/.codex/skills/Compatible clients
What is skills?
skills is a Shell AI agent skill for Codex with git clone. Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more This profile combines repository metadata with install, compatibility, and usage signals so developers can quickly decide whether it fits their agent workflow before opening the source repository.
Automated repository signals based on public metadata such as recency, license, installation evidence, and adoption. These are not a security audit or endorsement.
Key capabilities
- Reusable instructions support
- Includes SKILL.md support
- Shell commands support
- Anthropic provider support
- Google provider support
- skills/lean-bisect/SKILL.md config support
- skills/lean-mwe/SKILL.md config support
Technical details
Install or run skills using git clone. Check leanprover/skills for the latest setup command.
- Built for Shell
- Install or run with git clone
- Works with Codex
- Uses SSE transport
Requirements and access
Security and permissions
Review permissions before connecting any MCP server to an agent. Pay special attention to whether it can read local files, write data, call external services, or perform destructive actions.
When to use skills
- Use it for reusing agent instructions, scripts, and references.
- Use it for agent skills workflows.
- Use it for coding workflows.
- Use it for testing workflows.
- Use it for codex users.
Built with
Explore related resources
Frequently asked questions
What is skills?
skills is a Shell AI agent skill for Codex with git clone. Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more
Who is skills best for?
skills is best for reusing agent instructions, scripts, and references, agent skills workflows, coding workflows, testing workflows, codex users.
How do I install skills?
Install or run skills using git clone. Check skills for the latest setup command.
Is skills actively maintained?
skills may need a closer maintenance check before production use.
Auto-fetched from GitHub.
