mathlas
UnknownAirtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Web & SearchAI & ML
Install
{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": ["mathlas-mcp"]
}
}
}Capabilities
No capabilities documented for this server yet.
Reviews (0)
No reviews yet. Be the first to review this server.
Related servers
trading
AI-powered trading strategy development: backtesting, market data, and portfolio analysis
AI & ML
0
atars-mcp
Crypto market signals, technical indicators, and sentiment analysis for AI agents.
AI & ML
0
abmeter
Feature flagging and A/B testing platform with AI-first experimentation workflows.
AI & ML
0
mcp
Run 150+ AI apps — image, video, audio, LLMs, 3D and more. Browse, execute, stream results.
AI & ML
0
