{"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","descricao":"Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.","autor":"com.axiomatic-ai","origem":"community","tipo":"mcp","provider":"mcp-registry","statusConfianca":"community-indexed","trustScore":null,"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}},"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},"atualizadoEm":"2026-11-02 18:01:56","lastSeenAt":"2026-11-02 18:01:56","lastChangedAt":"2026-10-27 12:02:46","changeCount":1,"reviewRequired":true,"failureCount":0,"repositorio":{"fonte":"github","verificadoEm":"2026-11-03T06:03:47.384Z","encontrado":true,"estrelas":1,"arquivado":false,"ultimoCommitEm":"2026-03-01T21:28:56Z","diasDesdeCommit":246,"issuesAbertas":1,"issuesCriticas":0,"readme":{"bytes":1282,"hash":"2a93c2e9e3db2ad8","descricaoDetalhada":true,"exemplosUso":false,"jsonSchema":false,"parametrosDocumentados":true,"promptsProntos":false}}}}