Mathlas MCP Server: Install & Setup

Install Mathlas in Claude Code

Claude Code

claude mcp add mathlas -- uvx mathlas-mcp

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ]
    }
  }
}

Math tools for agents: theorem search, PSLQ constant identification, OEIS lookup, Lean kernel checks and applicability checklists.

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

Run: claude mcp add mathlas -- uvx mathlas-mcp

Whatsonyourmind/oraclaw

Decision intelligence algorithms: bandits, Monte Carlo, constraint optimization, forecasting, anomaly detection, risk analysis and graph algorithms.

powerdrillai/powerdrill-mcp

An MCP server that provides tools to interact with Powerdrill datasets, enabling smart AI data analysis and insights.

Daichi-Kudo/llm-advisor-mcp

Real-time LLM and VLM comparison with benchmarks, prices and personalized recommendations from multiple data sources.

mrfentmen/math-tools-mcp

Prime checks, factors, GCD, and basic statistics computed locally. No network and no key.

rodrigorjsf/langfuse-api-mcp

Langfuse public API (Cloud and self-hosted): traces, prompts, datasets and gated writes.

Ratnaditya-J/csvglow

Generate self-contained HTML dashboards from CSV/Excel files with interactive ECharts visualizations and sortable data tables.