Otros · Servidor MCP remoto
Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Lo que indica el MCP Registry
La entrada tal como está publicada en el MCP Registry oficial (consultada el 4 de octubre de 2026), última versión.
- Nombre en el registro
com.axiomatic-ai/prover- Versión
- 0.1.0
- Estado
- Activo
- Categoría
- otros
- Transporte
- Streamable HTTP
- Publicado
- 23 de febrero de 2026
- Actualizado
- 23 de febrero de 2026
- Editor
- com.axiomatic-ai
- Espacio de nombres
- Espacio de nombres verificado por el MCP Registry mediante el dominio axiomatic-ai.com · cómo
- Repositorio
- github.com/Axiomatic-AI/ax-prover-base-mcp
- Fuente
- Entrada en la API del registro
Endpoints remotos
| Transporte | URL | Encabezados declarados |
|---|---|---|
| Streamable HTTP | https://prover.axiomatic-ai.com/mcp/ | Ninguno |
Comprobación en directo
Este directorio se conectó a cada endpoint remoto y pidió su lista de herramientas. La comprobación solo se conecta y lista las herramientas; no ejecuta herramientas, no inicia sesión ni prueba la seguridad.
- Accesible
- Sí (HTTP 401)
- Negociación inicial
- No completada: requiere inicio de sesión
- Requiere inicio de sesión
- Sí - HTTP 401; anuncia OAuth (la respuesta remite a sus metadatos de autorización)
- Comprobado el
- 5 de octubre de 2026
Cómo conectar Prover
Prover es un servidor MCP remoto: no hay nada que instalar. Su endpoint es https://prover.axiomatic-ai.com/mcp/, servido mediante Streamable HTTP. En un asistente que acepte servidores MCP remotos (a menudo en un ajuste llamado conectores, integraciones o herramientas), basta con añadir un servidor nuevo e indicar esta URL; en un cliente que se configura mediante un archivo, se añade como servidor remoto (HTTP) con la misma URL.
La entrada del registro no declara encabezados. Si el servidor exige iniciar sesión, un cliente compatible con la autorización de MCP abre la página de inicio de sesión del propio servicio al conectarse por primera vez.
Obtenido de la entrada del registro; la comprobación en directo de arriba solo muestra si el endpoint respondió. Lo que hace el servidor, y en qué condiciones, lo determina su editor; conviene revisar su repositorio o sitio web antes de darle acceso a cuentas o archivos propios. Cómo añadir un servidor MCP a un asistente · Antes de conectar
Más servidores de otros
| Servidor | Ejecución |
|---|---|
| ProvelSenior design & engineering studio for AI and Web3. Free quotes, website audits and NDAs. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| Provenance MCPWash-traffic risk checks for Algorand x402 endpoints before your agent trusts or pays them. | Local · stdio |
| ProvenonceCryptographic identity, SIGIL naming, heartbeat, and passports for AI agents. | Local · stdio |
| ProvenSkills LabsAgent skills from the ProvenSkills Labs store, delivered with updates over one connector. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| Provider Trust - Verify a Source or ProviderVerify a source or provider before an AI agent trusts it. Evidence only; unknown stays unknown. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| Proximens Oracle1000+ Generative Engine Optimization (GEO) principles exposed via MCP for AI agents. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| Proximo - the Proxmox MCP you can hand the keysThe Proxmox MCP you can hand the keys: VE/PBS/PMG/PDM. Plan, prove, undo, diagnose. MCP/A2A/API. | Local · stdio |
| Proxmox VEManage Proxmox VE nodes, VMs, containers, storage and snapshots. Read-only by default. | Local · stdio |