タグ「mathlib」が付いた Skill、MCP サーバー、CLI、プラグインです。それぞれ GitHub リポジトリにリンクし、Claude Code と Codex のインストールコマンドがあれば併せて掲載しています。
複数選択できます。いずれかの職業に合うリソースが表示されます。
複数選択できます。選んだタグをすべて持つリソースだけが表示されます。
1 件
Lean 4 theorem-proving plugin with workflows to draft, formalize, prove, disprove, review and golf proofs, plus mathlib search, axiom checks and safety guardrails, helping mathematicians and teachers produce machine-checked proofs. Needs Lean 4 and mathlib; pairs well with lean-lsp-mcp.
