What it does

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

Local connectionPricing not confirmedv1.5.0

Connection manifest

Public connection metadata from the source. Follow the provider’s setup guide for authentication, permissions, and required variables.

{
  "name": "io.github.Archerkattri/mathlas",
  "version": "1.5.0",
  "repository": {
    "url": "https://github.com/Archerkattri/mathlas"
  },
  "remotes": [],
  "packages": [
    {
      "registryType": "pypi",
      "identifier": "mathlas-mcp",
      "version": "1.5.0",
      "transport": {
        "type": "stdio"
      },
      "environmentVariables": [
        {
          "name": "MATHLAS_SEED",
          "isRequired": false
        },
        {
          "name": "MATHLAS_INDEX",
          "isRequired": false
        }
      ]
    }
  ]
}

Metadata reviewed for listing. Server code, permissions, and runtime behavior have not been security-audited. Directory access is free; individual providers may charge.