{"componente":{"id":"mcp-00fcb2e9f1b335ea61b6d287","url":"https://registry.modelcontextprotocol.io/v0.1/servers/com.axiomatic-ai%2Fprover/versions/0.1.0","nome":"com.axiomatic-ai/prover","statusConfianca":"community-indexed","changeCount":1},"historico":[{"snapshotHash":"33d042ff0b9b096207db84b85450ddf238009868ad88f221de02c5659bf34c8b","sinaisJson":"{\"alvo\":\"https://registry.modelcontextprotocol.io/v0.1/servers/com.axiomatic-ai%2Fprover/versions/0.1.0\",\"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/Axiomatic-AI/ax-prover-base-mcp\",\"registryStatus\":\"active\",\"registryPublishedAt\":\"2026-02-23T22:16:23.957805Z\",\"registryUpdatedAt\":\"2026-02-23T22:16:23.957805Z\",\"compatibility\":[\"MCP\"],\"connection\":{\"kind\":\"remote\",\"transport\":\"streamable-http\",\"endpoint\":\"https://prover.axiomatic-ai.com/mcp/\",\"copyValue\":\"{\\n  \\\"mcpServers\\\": {\\n    \\\"com.axiomatic-ai/prover\\\": {\\n      \\\"url\\\": \\\"https://prover.axiomatic-ai.com/mcp/\\\"\\n    }\\n  }\\n}\",\"copyLabel\":\"Configuração MCP remota. Confirme o formato exigido pelo seu cliente.\"},\"packageCount\":0,\"remoteCount\":1}}","capturadoEm":"2026-10-27 12:02:46","sinais":{"alvo":"https://registry.modelcontextprotocol.io/v0.1/servers/com.axiomatic-ai%2Fprover/versions/0.1.0","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/Axiomatic-AI/ax-prover-base-mcp","registryStatus":"active","registryPublishedAt":"2026-02-23T22:16:23.957805Z","registryUpdatedAt":"2026-02-23T22:16:23.957805Z","compatibility":["MCP"],"connection":{"kind":"remote","transport":"streamable-http","endpoint":"https://prover.axiomatic-ai.com/mcp/","copyValue":"{\n  \"mcpServers\": {\n    \"com.axiomatic-ai/prover\": {\n      \"url\": \"https://prover.axiomatic-ai.com/mcp/\"\n    }\n  }\n}","copyLabel":"Configuração MCP remota. Confirme o formato exigido pelo seu cliente."},"packageCount":0,"remoteCount":1}}},{"snapshotHash":"257f1446a52ed261cd661c7300ea902bd48c1b9cb188f610ad835364e1165788","sinaisJson":"{\"alvo\":\"https://registry.modelcontextprotocol.io/v0.1/servers/com.axiomatic-ai%2Fprover/versions/0.1.0\",\"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.\"}","capturadoEm":"2026-08-18 12:00:08","sinais":{"alvo":"https://registry.modelcontextprotocol.io/v0.1/servers/com.axiomatic-ai%2Fprover/versions/0.1.0","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."}}],"diff":{"alteracoes":[],"scoreAntes":82,"scoreDepois":82,"riskDelta":0,"recommendation":"monitor"}}