MCP Directory
Back to Directory

TL;DR

Mathlas is a Model Context Protocol (MCP) server. Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key. Install with: uvx mathlas-mcp. Source: https://github.com/Archerkattri/mathlas. Compatible with MCP clients such as Claude Desktop, Cursor, Cline and Windsurf.

Mathlas

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

Install Command

uvx mathlas-mcp

GitHub Repository

9
Stars
1
Forks
0
Open Issues
View on GitHubVisit Homepage

Frequently Asked Questions

Mathlas is a Model Context Protocol server that Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

You can install it by running the install command: `uvx mathlas-mcp`. It then becomes available to any MCP-compatible client such as Claude, Cursor, Cline, Windsurf.

The Mathlas MCP Server is compatible with any client that speaks the Model Context Protocol — including Claude, Cursor, Cline, Windsurf.

Check the project license on its repository before use.

Reviews

0 reviews·  0.0 average

No reviews yet. Be the first to share your experience.

Leave a review

Your rating

Rating

0.0 (0)
0.0 / 5.0

Promote this server

Get top placement in category & search with a Featured badge.

Get featured

Details

Agent Rank
55.2
License
Last Updated
Aug 11, 2026
Languages
Python

Client Compatibility

Speaks the Model Context Protocol — works with any compatible client.

ClaudeCursorClineWindsurf