mcpindex.ai
← Index

io.github.Archerkattri/mathlas

io.github.Archerkattri/mathlas·v1.1.2·AI & LLMs

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

Trust verdict · v1 advisory · method
NOT YET SCREENEDno verdict on file

Verdict not yet evaluated for this tool. The semantic screen takes adversarial cases first; coverage rolls out as the corpus expands (15/150 labels to graduation). The deterministic conformance probe is built but has not yet run on the public corpus, so a recorded verdict here is REVIEW or UNVERIFIED, never a clearing ALLOW. Until a verdict is recorded, an agent should treat this tool as not-yet-cleared and fall back to its own checks. Method: the eval, four-state verdict, honest limits.

Own this server? Screen its description →

Environment variables
MATHLAS_SEED

Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start).

MATHLAS_INDEX

Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).

MCP quality score · maturity, not trust · methodology
freshness
25
completeness
10
installability
25
documentation
15
stability
10
Alternatives in AI & LLMs
OpenAI Tools MCP Server
ai.com.mcp/openai-tools

Focused MCP server for OpenAI image/audio generation (v2.0.0). Wraps endpoints via HAPI CLI.

ai.llmse/mcp
ai.llmse/mcp

Public MCP server for the LLM Search Engine

Ninar AI
ai.ninar/ninar

Audit your brand's visibility across ChatGPT, Gemini, Claude, Perplexity + 6 more engines.