掲載中のすべての Skill、MCP サーバー、CLI、プラグインです。種類・職業・タグで絞り込むか、キーワードで検索できます。
複数選択できます。いずれかの職業に合うリソースが表示されます。
複数選択できます。選んだタグをすべて持つリソースだけが表示されます。
1 件
MCP 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.
