MCP Server

Active

Apache-2.0

io.github.Archerkattri/mathlas MCP Server

io.github.Archerkattri/mathlas

Repository Registry

What is the io.github.Archerkattri/mathlas MCP server?

Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.

How to install io.github.Archerkattri/mathlas

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

Environment / auth

MATHLAS_SEED
Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start).
MATHLAS_INDEX
Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "mathlas": {
      "command": "uvx",
      "args": [
        "mathlas-mcp"
      ],
      "env": {
        "MATHLAS_SEED": "<YOUR_MATHLAS_SEED>",
        "MATHLAS_INDEX": "<YOUR_MATHLAS_INDEX>"
      }
    }
  }
}

Related MCP servers

io.github.Archivarix-com/tube-search-mcp

Maintained

Search archived YouTube videos including deleted, private, or region-blocked content.

TypeScript

MIT

View repository →

io.github.Archstone-Romania/archstone

Active

Compile your own business capabilities from declarative YAML and serve them as MCP tools.

TypeScript

Apache-2.0

View repository →

io.github.Arenafriends/valerie-mcp

Maintained

French real estate AI: DVF transactions, internet coverage, market insights. Free + €5/month.

JavaScript

View repository →

Flutter MCP Toolkit

Active

Inspect and drive Flutter debug apps with AI: semantic snapshots, widget interaction, and custom runtime tools.

382

Dart

MIT

View repository →

io.github.Areso/safe-ssh-mcp

Active

A secured scoped SSH MCP server for executing safe read-only diagnostic DevOps / SysOps commands

Python

AGPL-3.0

View repository →

io.github.Argo-RPG-Platform/argo-mcp

Active

MCP server for Argo RPG Platform — connects AI assistants to campaign data via OAuth2

TypeScript

MIT

View repository →