cameronfreer/lean4-skills

Lean 4 theorem proving skill and workflow pack for AI coding agents

2 plugins

lean4

Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, checkpoint, review, refactor, golf, learn, doctor) — LSP-first, scripts fallback

community

/plugin install lean4@cameronfreer-lean4-skills

lean4-contribute

Draft and submit bug reports, feature requests, and insights as GitHub issues. Commands may share Lean code snippets with GitHub — review every draft before confirming.

community

/plugin install lean4-contribute@cameronfreer-lean4-skills

GitHub Stars201

Plugins2

Votes

Add marketplace

/plugin marketplace add cameronfreer/lean4-skills

Comments