lean4-contribute + Stack 01 cameronfreer/lean4-skills Plugin Claude Code Bundles 3 commands · 43 tokens together Draft and submit bug reports, feature requests, and insights for lean4-skills as GitHub issues. Commands may share Lean code snippets with GitHub — review every draft before confirming. ★ not rated 465 ▲ +2 19d ago A tokens not measured original MIT
lean4 + Stack 02 cameronfreer/lean4-skills Plugin Claude Code Bundles 1 skill, 12 commands, 4 agents, 3 hooks · 423 tokens together Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, disprove, checkpoint, review, refactor, golf, learn, diagnose) — LSP-first, scripts fallback. ★ not rated 465 ▲ +2 changed 19d ago A tokens not measured original MIT