AI & Agent ToolsActive
mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
AI & Agent ToolsactivePackageOpen Sourcepypi
About This MCP Server
- Connection type
- Local/package connection
- Transport
- stdio
- Package registry
- pypi
- Package identifier
- mathlas-mcp
- Remote endpoint
- N/A
- Repository
- Available
- Registry
- io.github.Archerkattri/mathlas
- Version
- 1.5.0
Install Command
Use this package command in an MCP client configuration.
uvx mathlas-mcpSource & Metadata
- Registry name
- io.github.Archerkattri/mathlas
- Status
- active
- Created
- Jul 2, 2026
- Updated
- Jul 2, 2026
- Last synced
- Aug 18, 2026
- Version
- 1.5.0
- Transport
- stdio
- Package type
- pypi
Related MCP Servers
AEO Scanner
AI visibility for ChatGPT/Perplexity/Claude — triple score (AEO+GEO+Agent) with fix code. Free.
streamable-httpactive
agent-tools (x402 + MCP + A2A directory)
Discover x402 services, MCP servers and A2A agents by intent — agent-tools.cloud directory.
streamable-httpactive
ai·rete·rag
Author rules from policy docs, then decide: a Rete engine gives the verdict, an LLM explains why.
streamable-httpactive
AiPayGen — 65+ AI Tools as an MCP Server
65+ AI tools as MCP: research, write, code, scrape, translate, RAG, agent memory, workflows
streamable-httpactive
Algenta MCP Server
Governed data discovery, exact queries, decisions, simulations, and runtime utilities over MCP.
streamable-httpactive
Animica
Read-only Animica chain data, free AI inference, verifiable quantum randomness, and mining stats.
streamable-httpactive