Mathlas

Unclaimed

by Archerkattri

Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.

ai-toolsclaudeformal-verificationlean4mathmcp-serverretrievaltheorem-search

Install

$claude mcp add mathlas -- uvx mathlas-mcp

Unclaimed listing

Is this your MCP server?

This listing was auto-indexed from the public record. Claim it to edit the page, set compatibility and unlock growth tools. Takes under two minutes.

Claim this server