Desarrollo · Servidor MCP remoto
Icme Preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
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
io.github.wyattbenno777/icme-preflight- Versión
- 1.0.1
- Estado
- Activo
- Categoría
- desarrollo
- Transporte
- Streamable HTTP
- Publicado
- 23 de marzo de 2026
- Actualizado
- 23 de marzo de 2026
- Editor
- wyattbenno777 (GitHub)
- Espacio de nombres
- Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/wyattbenno777) · cómo
- Repositorio
- github.com/ICME-Lab/smt-ar-base
- Fuente
- Entrada en la API del registro
Endpoints remotos
| Transporte | URL | Encabezados declarados |
|---|---|---|
| Streamable HTTP | https://api.icme.io/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 200)
- Negociación inicial
- icme-preflight 1.0.0 · protocolo 2025-03-26
- Herramientas encontradas
14 - mostrar nombres
check_logic,check_relevance,make_rules,check_action,check_action_paid,quick_check,verify_proof,get_scenarios,run_tests,create_account,create_account_card,top_up,top_up_card,poll_session- Comprobado el
- 5 de octubre de 2026
Cómo conectar Icme Preflight
Icme Preflight es un servidor MCP remoto: no hay nada que instalar. Su endpoint es https://api.icme.io/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 desarrollo
| Servidor | Ejecución |
|---|---|
| IBM Granite via x402X402 pay-per-use IBM Granite AI: chat, code, embeddings, analysis, forecasting. Pay USDC per call. | Local · stdio |
| IBM watsonx.ai GraniteIBM watsonx.ai MCP by three.ws: chat, text generation, embeddings, and tokenization. | Local · stdio |
| Icd10 CodingICD-10-CM / HCC medical coding tools with database-verified accuracy and denial-prevention rules. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| IcdwiseVerified ICD-10-CM code lookup & validation for AI agents - official descriptions, not guesses. | Local · stdio |
| Icon Composer MCPCLI and MCP server for creating Apple.icon bundles with Liquid Glass effects (iOS 26+) | Local · stdio |
| iconlabSearch 324k icons or generate new ones in the Lucide grammar - grammar-locked lint+critique+repair. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| iconsroom.comSearch 276,000+ open source icons and insert them as SVG or React components while you code. | Local · stdio |
| idameshMCP server for IDA Pro: decompiler, disassembler, and analysis tools for MCP clients. | Local · stdio |