MCP server · source category: Data Science Tools
Archerkattri/mathlas
Math tools for agents: theorem search, PSLQ constant identification, OEIS lookup, Lean kernel checks and applicability checklists.
Record
- Type
- MCP server
- Category
- AI & Machine Learning
- Authentication
- No authentication
- 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
- BlackMount-ai/blackmount-nlp-mcp Deterministic local text analysis: sentiment, readability scoring, keyword extraction, text similarity, summarization, and…
- dockndevai/mcp-laya Fast, local, non-autoregressive System-1 decision engine as MCP tools — typed decisions (classify / score / yes-no) over t…
- kiro0x/five-mcp LLM character consistency engine — generates structured JSON constraints from 4 multiple-choice questions about an AI's psychology.…
- Kungie/gut Judgment calls on small, cheap models: yes/no, pick-one and rate questions about any text, answered YES, NO or UNSURE.…
- subhatta123/twilize Programmatic Tableau workbook (.twb/.twbx) generation — 47 MCP tools for charts, dashboards, calculated fields, dashboard…
- TensorLink-AI/ephemeris-mcp Probabilistic time-series forecasting: quantile forecasts from Chronos-2, TimesFM 2.5, Toto 2, TiRex-2 and IBM Granite…
Browse all AI & Machine Learning MCP servers.