mathlas
IntegrationSearchAirtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
This server has no hosted endpoint yet, so ahel can't serve it. You can still add it. It stays paused until ahel can serve it.
One link, every agent. Your own credentials, stored once.
Signals
- GitHub stars
- 12
- Forks
- 1
- Last commit
- Jul 2026
Advanced
- Delivery
- mathlas MCP server → your ahel gateway (mcp.ahel.ai) → every connected AI client.
- Catalog kind
- mcp-server
- Gateway key
io-github-archerkattri-mathlas- Source
- github.com/archerkattri/mathlas