도구
등록된 모든 Skill, MCP 서버, CLI, 플러그인입니다. 유형, 직업, 태그로 필터링하거나 키워드로 검색할 수 있습니다.
직업: Research / Academia
태그: scientific-computing +1
여러 개를 선택할 수 있습니다. 선택한 태그를 모두 가진 리소스만 표시됩니다.
2개
lean-lsp-mcp
MCPMCP server for the Lean 4 theorem prover: lets agents read proof goals, diagnostics and definitions and search theorems via LeanSearch and Loogle, helping mathematicians and students with formal proofs. Needs uv and the Lean toolchain; run it from the Lean project root.
oOo0oOo/lean-lsp-mcp530
Lean 4 Skills
PluginLean 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.
cameronfreer/lean4-skills464