# mathlas

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

- Weekly downloads: 43
- GitHub stars: 13
- Health: active
- Repository: https://github.com/archerkattri/mathlas
- Registry names: io.github.Archerkattri/mathlas
- Categories: Search & knowledge, Dev tools & GitHub, AI models & media
- Snapshot: 2026-10-14

## Install

```sh
uvx mathlas-mcp
```

```json
{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ]
    }
  }
}
```

Source: https://mcpmorning.com/mcp/archerkattri-mathlas/