Koskamo

mathlas MCP

A community MCP server providing airtight mathematical verification and search capabilities for AI agents. It includes tools for searching a 3.68M-document theorem index, identifying numeric constants via PSLQ, matching integer sequences against OEIS, and performing formal verification using the Lean 4 kernel. The server operates without internal LLMs or API keys, returning pure data and verdicts to prevent hallucination in agent pipelines.

Package and access

Local package with source-attributed installation metadata. Koskamo does not execute packages during review.

mathlas MCP logo, by ArcherkattriCommunity listingLocal stdioSource reviewed; not executedPublished by Archerkattri
Vendor documentation

Checks and signals

Each line is separate evidence, not a trust score.

  • Popularity 13 GitHub stars

What you can do with it

  • Search existing math theorems from a large index
  • Verify numeric and formal mathematical claims
  • Identify numeric constants using PSLQ
  • Match integer sequences against OEIS

Source and maintenance

Community listingRegistry 1.5.0Apache-2.0
mcp-registry: io.github.Archerkattri/mathlas@1.5.0Source repository
Last repository push
Latest release
v1.5.0
Maintenance checked

Packages and installation

Source-provided package data. Koskamo has not executed or live-probed this package.

mathlas-mcp 1.5.0

pypiuvx
mathlas-mcp package definition
{
  "version": "1.5.0",
  "transport": "stdio",
  "identifier": "mathlas-mcp",
  "runtimeHint": "uvx",
  "registryType": "pypi",
  "registryBaseUrl": "https://pypi.org",
  "environmentVariables": [
    {
      "name": "MATHLAS_SEED",
      "description": "Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start)."
    },
    {
      "name": "MATHLAS_INDEX",
      "description": "Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent)."
    }
  ]
}

Tools

Reported by the attributed source; not independently observed by Koskamo.

No tool definitions available.

Maintenance history

Public check and source-refresh events. Editorial and ownership records remain private.

  • · repository · passed · metadata changed · updated
  • · backfill · recorded · Pre-expansion baseline; unobserved rich metadata remains unknown

Connect from your client

Each snippet configures the same source-provided package; replace placeholders before use.

This server is operated by the named third party. Listing and endpoint checks are not an endorsement or a security audit. Review the operator's permissions, terms, and data handling before connecting. How listings are checked and corrected.

Cursor

Merge this local stdio configuration, replace every placeholder environment value, and restart Cursor. Koskamo has not executed this package.
Cursor configuration
{
  "mcpServers": {
    "mathlas-mcp": {
      "command": "uvx",
      "args": [
        "mathlas-mcp==1.5.0"
      ],
      "env": {
        "MATHLAS_SEED": "<YOUR_MATHLAS_SEED>",
        "MATHLAS_INDEX": "<YOUR_MATHLAS_INDEX>"
      }
    }
  }
}

Cline

Merge this local stdio configuration, replace every placeholder environment value, and restart Cline. Koskamo has not executed this package.
Cline configuration
{
  "mcpServers": {
    "mathlas-mcp": {
      "command": "uvx",
      "args": [
        "mathlas-mcp==1.5.0"
      ],
      "env": {
        "MATHLAS_SEED": "<YOUR_MATHLAS_SEED>",
        "MATHLAS_INDEX": "<YOUR_MATHLAS_INDEX>"
      }
    }
  }
}

VS Code

Merge this local stdio configuration, replace every placeholder environment value, and restart VS Code. Koskamo has not executed this package.
VS Code configuration
{
  "servers": {
    "mathlas-mcp": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "mathlas-mcp==1.5.0"
      ],
      "env": {
        "MATHLAS_SEED": "<YOUR_MATHLAS_SEED>",
        "MATHLAS_INDEX": "<YOUR_MATHLAS_INDEX>"
      }
    }
  }
}

Claude Desktop

Merge this local stdio configuration, replace every placeholder environment value, and restart Claude Desktop. Koskamo has not executed this package.
Claude Desktop configuration
{
  "mcpServers": {
    "mathlas-mcp": {
      "command": "uvx",
      "args": [
        "mathlas-mcp==1.5.0"
      ],
      "env": {
        "MATHLAS_SEED": "<YOUR_MATHLAS_SEED>",
        "MATHLAS_INDEX": "<YOUR_MATHLAS_INDEX>"
      }
    }
  }
}

Let your agent find its tools

Find servers like mathlas MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.

Connect Koskamo Explore workflows
See all 7,692