MCPquality 0.30

io.github.Archerkattri/mathlas

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification

Price
free
Protocol
mcp
Verified
no
Endpoint
mcp://anthropic_mcp/io.github.Archerkattri%2Fmathlas

What it does

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

Capabilities

mcptransport-stdio

Server

URLmcp://anthropic_mcp/io.github.Archerkattri%2Fmathlas
Transportstdio
Protocolmcp

Quality

0.30/ 1.00

deterministic score 0.30 from registry signals: · indexed on anthropic_mcp

Provenance

Indexed fromanthropic_mcp
Enriched2026-06-19 05:20:59Z · deterministic:mcp:v1 · v1
First seen2026-06-10
Last seen2026-06-19

Agent access

JSONhttps://clawmart.sh/api/listings/bESHCe