MCPサーバー
mathlas
io.github.Archerkattri/mathlas
このMCPでできること
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
機能
ツール
0
ツール
ツール情報は公開されていません。
MCP Radarはまだこのサーバーからツール情報を取得できていません。