Développement · Serveur MCP local

Mathlas

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

Ce qu’indique le MCP Registry

L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.

Nom dans le registre
io.github.Archerkattri/mathlas
Version
1.5.0
Statut
Actif
Catégorie
développement
Transport
stdio (processus local)
Paquet
PyPI
Publié
2 juillet 2026
Mis à jour
2 juillet 2026
Éditeur
Archerkattri (GitHub)
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/Archerkattri) · comment
Dépôt
github.com/Archerkattri/mathlas
Source
Entrée dans l’API du registre

Paquets

RegistrePaquetVersionTransportVariables d’environnement
PyPIenvironnement d’exécution : uvxmathlas-mcp1.5.0stdioMATHLAS_SEED et MATHLAS_INDEX

Comment connecter Mathlas

Mathlas s’exécute en local depuis un paquet Python publié sur PyPI : mathlas-mcp, version 1.5.0. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Python ; les clients le lancent généralement avec uvx (fourni par uv) ou après pip install - la commande habituelle est uvx mathlas-mcp. Il lit ces variables d’environnement : MATHLAS_SEED et MATHLAS_INDEX ; définissez-les dans la configuration du client pour ce serveur.

Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :

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

Déduit de l’entrée du registre, non testé ici. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur

Autres serveurs : développement

Voir les 5 152 →
ServeurExécutionPoint de terminaison ou paquet
MassdriverManage the Massdriver infrastructure platform: projects, environments, deployments, and more.Local · stdioImage OCI (Docker) : docker.io/massdrivercloud/mcp-server:0.2.0
MasterytraceWraps the MasteryTrace CLI as a single generic MCP tool for skill-mastery tracking.Local · stdioPyPI : masterytrace-cli
Mastyf.AiRuntime proxy for MCP security, cost governance & audit.Local · stdionpm : @mastyf_ai/server
matetools MCP-SERVER35 utility tools for AI agents - mate.tools API. Hash, regex, SEO, random, DNS, SSL, JWT.Local · stdionpm : @mate-tools/mcp-server
matih.aiThe grounded data layer for any LLM: governed SQL, metrics, lineage and catalog over your data.Distant et local · HTTP et stdioVérification en direct : connexion requisemcp.matih.ai
MATLAB MCP ServerConnect AI coding agents to MATLAB. Run code, tests, and analysis via MCP.Local · stdioMCP Bundle (.mcpb) : matlab/matlab-mcp-server/releases/download/v0.13
Maven DecoderLets AI agents read the real source of any Maven dependency, decompiled from ~/.m2 or Central.Local · stdionpm : maven-decoder-mcp
MaxAEO AI Visibility MCPLocal-first MCP server for AI visibility, GEO/AEO, llms.txt, and AI crawler readiness audits.Local · stdionpm : maxaeo-ai-visibility-mcp