Archerkattri/mathlas
Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
Ads
Overview
Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
Installation
Installation instructions are not available yet.
Configuration
Configuration example is not available yet.
Capabilities
No tools listed yet.
Tags
- awesome-list
Related MCP servers
growthbook/growthbook-mcp
Official🎖️ 📇 🏠 🪟 🐧 🍎 — Tools for creating and interacting with GrowthBook feature flags and experiments.
abhiphile/fermat-mcp
The ultimate math engine unifying SymPy, NumPy & Matplotlib in one powerful server. Perfect for developers & researchers needing symbolic algebra, numerical computing, and data visualization.
laszlopere/mcp-gnu-units
Unit conversion and dimensional analysis backed by the bundled GNU units database (3000+ units, compound expressions, reduction to SI base units). Offline and deterministic. `uvx mcp-gnu-units`.
ChronulusAI/chronulus-mcp
OfficialPredict anything with Chronulus AI forecasting and prediction agents.