{"componente":{"id":"mcp-617e5873d9d1ce91b4ba8cad","url":"https://registry.modelcontextprotocol.io/v0.1/servers/io.github.wyattbenno777%2Ficme-preflight/versions/1.0.1","nome":"io.github.wyattbenno777/icme-preflight","descricao":"Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.","autor":"io.github.wyattbenno777","origem":"community","tipo":"mcp","provider":"mcp-registry","statusConfianca":"community-indexed","trustScore":null,"sinais":{"alvo":"https://registry.modelcontextprotocol.io/v0.1/servers/io.github.wyattbenno777%2Ficme-preflight/versions/1.0.1","analisadoSemExecucao":true,"limiteBytes":180000,"truncado":false,"score":82,"risco":"baixo","sinais":[{"id":"shell","label":"Executa shell/comandos","encontrado":false,"evidencia":null},{"id":"network","label":"Acessa rede externa","encontrado":true,"evidencia":"padrão detectado no snapshot"},{"id":"secrets","label":"Lê segredos ou variáveis sensíveis","encontrado":false,"evidencia":null},{"id":"write","label":"Escreve arquivos ou estado","encontrado":false,"evidencia":null},{"id":"destructive","label":"Contém operação potencialmente destrutiva","encontrado":false,"evidencia":null},{"id":"autonomy","label":"Sugere execução automática","encontrado":false,"evidencia":null},{"id":"human_gate","label":"Declara aprovação humana","encontrado":false,"evidencia":null}],"permissoes":["Acessa rede externa"],"recomendacoes":["Leia o código completo antes de instalar.","Verifique hosts e finalidade de cada chamada de rede."],"limitacoes":"Análise heurística de snapshot. Não substitui auditoria, sandbox, revisão humana ou teste de instalação.","metadata":{"title":null,"websiteUrl":null,"repositoryUrl":"https://github.com/ICME-Lab/smt-ar-base","registryStatus":"active","registryPublishedAt":"2026-03-23T16:55:58.85125Z","registryUpdatedAt":"2026-03-23T16:55:58.85125Z","compatibility":["MCP"],"connection":{"kind":"remote","transport":"streamable-http","endpoint":"https://api.icme.io/mcp","copyValue":"{\n  \"mcpServers\": {\n    \"io.github.wyattbenno777/icme-preflight\": {\n      \"url\": \"https://api.icme.io/mcp\"\n    }\n  }\n}","copyLabel":"Configuração MCP remota. Confirme o formato exigido pelo seu cliente."},"packageCount":0,"remoteCount":1,"repositorySubfolder":null,"parametros":{"total":0,"documentados":0}}},"metadata":{"title":null,"websiteUrl":null,"repositoryUrl":"https://github.com/ICME-Lab/smt-ar-base","registryStatus":"active","registryPublishedAt":"2026-03-23T16:55:58.85125Z","registryUpdatedAt":"2026-03-23T16:55:58.85125Z","compatibility":["MCP"],"connection":{"kind":"remote","transport":"streamable-http","endpoint":"https://api.icme.io/mcp","copyValue":"{\n  \"mcpServers\": {\n    \"io.github.wyattbenno777/icme-preflight\": {\n      \"url\": \"https://api.icme.io/mcp\"\n    }\n  }\n}","copyLabel":"Configuração MCP remota. Confirme o formato exigido pelo seu cliente."},"packageCount":0,"remoteCount":1,"repositorySubfolder":null,"parametros":{"total":0,"documentados":0}},"atualizadoEm":"2026-11-08 06:04:03","lastSeenAt":"2026-11-08 06:04:03","lastChangedAt":null,"changeCount":0,"reviewRequired":true,"failureCount":0,"repositorio":{"fonte":"github","verificadoEm":"2026-11-04T06:04:01.021Z","encontrado":false,"erro":"NOT_FOUND"}}}