# mathlas MCP server

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

## Links
- Registry page: https://www.getdrio.com/mcp/io-github-archerkattri-mathlas
- Repository: https://github.com/Archerkattri/mathlas

## Install
- Command: `uvx mathlas-mcp`
- Auth: Not captured

## Setup notes
- Package: Pypi mathlas-mcp v1.5.0
- Environment variable: MATHLAS_SEED
- Environment variable: MATHLAS_INDEX

## Tools
Not captured

## Resources
Not captured

## Prompts
Not captured

## Metadata
- Owner: io.github.Archerkattri
- Version: 1.5.0
- Runtime: Pypi
- Transports: STDIO
- License: Not captured
- Language: Not captured
- Stars: Not captured
- Updated: Jul 2, 2026
- Source: https://registry.modelcontextprotocol.io