Stars
★ 9
MCP Server
Active
Apache-2.0
local
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.
Quality score 60/100
Last commit
8d ago
Language
Python
Install
Python (uvx / pip)
Category
Repository
Installation
Example client config (verify package name in the repo README)
{
"mcpServers": {
"mathlas": {
"command": "uvx",
"args": ["mathlas"]
}
}
}Related in Data Science Tools
MCP Server
Official
Active
mckinsey/vizro-mcp
Tools and templates to create validated and maintainable data charts and dashboards.
MCP Server
Official
Active
DataEval/dingo
MCP server for the Dingo: a comprehensive data quality evaluation tool. Server Enables interaction with Dingo's rule-based and LLM-based evaluation capabilities and rules&prompts listing.
MCP Server
Active
zcaceres/markdownify-mcp
An MCP server to convert almost any file or web content into Markdown
MCP Server
Official
Active
growthbook/growthbook-mcp
Tools for creating and interacting with GrowthBook feature flags and experiments.
MCP Server
Official
Maintained
optuna/optuna-mcp
Official MCP server enabling seamless orchestration of hyperparameter search and other optimization tasks with [Optuna](https://optuna.org/).