Sviluppo · Server MCP remoto
Icme Preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Cosa indica il MCP Registry
La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.
- Nome nel registro
io.github.wyattbenno777/icme-preflight- Versione
- 1.0.1
- Stato
- Attivo
- Categoria
- sviluppo
- Trasporto
- Streamable HTTP
- Pubblicato
- 23 marzo 2026
- Aggiornato
- 23 marzo 2026
- Editore
- wyattbenno777 (GitHub)
- Namespace
- Namespace verificato dal MCP Registry tramite GitHub (github.com/wyattbenno777) · come funziona
- Repository
- github.com/ICME-Lab/smt-ar-base
- Fonte
- Voce nell’API del registro
Endpoint remoti
| Trasporto | URL | Header dichiarati |
|---|---|---|
| Streamable HTTP | https://api.icme.io/mcp | Nessuno |
Verifica live
Questa directory si è collegata a ogni endpoint remoto e ne ha richiesto l’elenco degli strumenti. La verifica si limita a collegarsi e a elencare gli strumenti; non li esegue, non effettua l’accesso e non testa la sicurezza.
- Raggiungibile
- Sì (HTTP 200)
- Handshake
- icme-preflight 1.0.0 · protocollo 2025-03-26
- Strumenti trovati
14 - mostra i nomi
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- Data della verifica
- 5 ottobre 2026
Come collegare Icme Preflight
Icme Preflight è un server MCP remoto: non c’è niente da installare. Il suo endpoint, servito tramite Streamable HTTP, è https://api.icme.io/mcp. In un assistente che accetta server MCP remoti (spesso in un’impostazione chiamata connettori, integrazioni o strumenti) si aggiunge un nuovo server indicando questo URL; in un client configurato tramite file lo si aggiunge come server remoto (HTTP) con lo stesso URL.
La voce del registro non dichiara alcun header. Se il server richiede l’accesso, un client che supporta l’autorizzazione MCP apre la pagina di accesso del servizio alla prima connessione.
Ricavato dalla voce del registro; la verifica live riportata sopra mostra solo se l’endpoint ha risposto. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server
Altri server della categoria sviluppo
| Server | Esecuzione |
|---|---|
| IBM Granite via x402X402 pay-per-use IBM Granite AI: chat, code, embeddings, analysis, forecasting. Pay USDC per call. | Locale · stdio |
| IBM watsonx.ai GraniteIBM watsonx.ai MCP by three.ws: chat, text generation, embeddings, and tokenization. | Locale · stdio |
| Icd10 CodingICD-10-CM / HCC medical coding tools with database-verified accuracy and denial-prevention rules. | Remoto · HTTPVerifica live: accesso richiesto |
| IcdwiseVerified ICD-10-CM code lookup & validation for AI agents - official descriptions, not guesses. | Locale · stdio |
| Icon Composer MCPCLI and MCP server for creating Apple.icon bundles with Liquid Glass effects (iOS 26+) | Locale · stdio |
| iconlabSearch 324k icons or generate new ones in the Lucide grammar - grammar-locked lint+critique+repair. | Remoto · HTTPVerifica live: ✓ handshake |
| iconsroom.comSearch 276,000+ open source icons and insert them as SVG or React components while you code. | Locale · stdio |
| idameshMCP server for IDA Pro: decompiler, disassembler, and analysis tools for MCP clients. | Locale · stdio |