{"componente":{"id":"mcp-4a795ed8edfc978127944de6","url":"https://registry.modelcontextprotocol.io/v0.1/servers/io.github.jcschuster%2Fatp_mcp/versions/0.8.1","nome":"io.github.jcschuster/atp_mcp","descricao":"Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.","autor":"io.github.jcschuster","origem":"community","tipo":"mcp","provider":"mcp-registry","statusConfianca":"community-indexed","trustScore":null,"sinais":{"alvo":"https://registry.modelcontextprotocol.io/v0.1/servers/io.github.jcschuster%2Fatp_mcp/versions/0.8.1","analisadoSemExecucao":true,"limiteBytes":180000,"truncado":false,"score":100,"risco":"baixo","sinais":[{"id":"shell","label":"Executa shell/comandos","encontrado":false,"evidencia":null},{"id":"network","label":"Acessa rede externa","encontrado":false,"evidencia":null},{"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":[],"recomendacoes":["Leia o código completo antes de instalar."],"limitacoes":"Análise heurística de snapshot. Não substitui auditoria, sandbox, revisão humana ou teste de instalação.","metadata":{"title":"AtpMcp","websiteUrl":null,"repositoryUrl":"https://github.com/jcschuster/AtpMcp","registryStatus":"active","registryPublishedAt":"2026-10-29T09:09:03.88068Z","registryUpdatedAt":"2026-10-29T09:09:03.88068Z","compatibility":["MCP"],"connection":{"kind":"package","transport":"stdio","registryType":"oci","identifier":"ghcr.io/jcschuster/atp_mcp:0.8.1","version":"0.8.1","copyValue":"oci:ghcr.io/jcschuster/atp_mcp:0.8.1@0.8.1","copyLabel":"Coordenada oficial do pacote. Consulte a documentação da origem para executar."},"packageCount":2,"remoteCount":0,"repositorySubfolder":null,"parametros":{"total":0,"documentados":0}}},"metadata":{"title":"AtpMcp","websiteUrl":null,"repositoryUrl":"https://github.com/jcschuster/AtpMcp","registryStatus":"active","registryPublishedAt":"2026-10-29T09:09:03.88068Z","registryUpdatedAt":"2026-10-29T09:09:03.88068Z","compatibility":["MCP"],"connection":{"kind":"package","transport":"stdio","registryType":"oci","identifier":"ghcr.io/jcschuster/atp_mcp:0.8.1","version":"0.8.1","copyValue":"oci:ghcr.io/jcschuster/atp_mcp:0.8.1@0.8.1","copyLabel":"Coordenada oficial do pacote. Consulte a documentação da origem para executar."},"packageCount":2,"remoteCount":0,"repositorySubfolder":null,"parametros":{"total":0,"documentados":0}},"atualizadoEm":"2026-11-06 06:00:09","lastSeenAt":"2026-11-06 06:00:09","lastChangedAt":null,"changeCount":0,"reviewRequired":true,"failureCount":0,"repositorio":{"fonte":"github","verificadoEm":"2026-11-04T06:04:01.021Z","encontrado":true,"estrelas":0,"arquivado":false,"ultimoCommitEm":"2026-10-29T13:57:58Z","diasDesdeCommit":5,"issuesAbertas":0,"issuesCriticas":0,"readme":{"bytes":13770,"hash":"2f9bdf136ad603df","descricaoDetalhada":true,"exemplosUso":true,"jsonSchema":false,"parametrosDocumentados":true,"promptsProntos":true}}}}