MCP server · source category: Data Science Tools
Archerkattri/mathlas
Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM in…
Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
Record
- Type
- MCP server
- Category
- AI & Machine Learning
- Authentication
- API key
- Pricing
- Free
- Documentation
- https://github.com/Archerkattri/mathlas
- Repository
- https://github.com/Archerkattri/mathlas
Fields are reproduced from the source registry as-is. “Unknown” means the source did not describe the field — it is not an inference. See the methodology for how records are collected and normalised.
Similar MCP servers in AI & Machine Learning
- aurelio-nakamura/dataloupe Local, offline access to tabular data for AI assistants: list/describe/preview/query CSV/TSV/JSON/Parquet/Excel files, dif…
- avisangle/calculator-server A comprehensive Go-based MCP server for mathematical computations, implementing 13 mathematical tools across basic arithmetic, adv…
- BlackMount-ai/blackmount-nlp-mcp Deterministic local text analysis: sentiment, readability scoring, keyword extraction, text similarity, summarization, and…
- bodyegypt/lobbyvoices-mcp Official remote MCP server for Lobby, an AI receptionist for small businesses. Seven free no-auth tools: write business phone scri…
- Bright-L01/networkx-mcp-server The first NetworkX integration for Model Context Protocol, enabling graph analysis and visualization directly in AI conversations.…
- FantasyLab-ai/aurora Glass-box statistical analysis: 19 research-grade methods, cited findings, integrity-hashed bundles, and measured detector…
Browse all AI & Machine Learning MCP servers.