{"componente":{"id":"mcp-5cd84c72a91d91f7ad97b881","url":"https://registry.modelcontextprotocol.io/v0.1/servers/io.github.zengineco%2Fgonzalgo/versions/0.5.2","nome":"io.github.zengineco/gonzalgo","descricao":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","autor":"io.github.zengineco","origem":"community","tipo":"mcp","provider":"mcp-registry","statusConfianca":"community-indexed","trustScore":null,"sinais":{"alvo":"https://registry.modelcontextprotocol.io/v0.1/servers/io.github.zengineco%2Fgonzalgo/versions/0.5.2","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":"gonzalgo","websiteUrl":"https://f-keys.com/gonzalgo/","repositoryUrl":"https://github.com/zengineco/gonzalgo","registryStatus":"deprecated","registryPublishedAt":"2026-08-05T21:46:54.731806Z","registryUpdatedAt":"2026-09-11T06:02:40.154135Z","compatibility":["MCP"],"connection":{"kind":"package","transport":"stdio","registryType":"pypi","identifier":"gonzalgo","version":"0.5.2","copyValue":"pypi:gonzalgo@0.5.2","copyLabel":"Coordenada oficial do pacote. Consulte a documentação da origem para executar."},"packageCount":1,"remoteCount":0}},"metadata":{"title":"gonzalgo","websiteUrl":"https://f-keys.com/gonzalgo/","repositoryUrl":"https://github.com/zengineco/gonzalgo","registryStatus":"deprecated","registryPublishedAt":"2026-08-05T21:46:54.731806Z","registryUpdatedAt":"2026-09-11T06:02:40.154135Z","compatibility":["MCP"],"connection":{"kind":"package","transport":"stdio","registryType":"pypi","identifier":"gonzalgo","version":"0.5.2","copyValue":"pypi:gonzalgo@0.5.2","copyLabel":"Coordenada oficial do pacote. Consulte a documentação da origem para executar."},"packageCount":1,"remoteCount":0},"atualizadoEm":"2026-11-01 06:00:40","lastSeenAt":"2026-11-01 06:00:40","lastChangedAt":"2026-11-01 06:00:40","changeCount":1,"reviewRequired":false,"failureCount":0,"repositorio":{"fonte":"github","verificadoEm":"2026-11-06T12:03:17.771Z","encontrado":true,"estrelas":2,"arquivado":false,"ultimoCommitEm":"2026-11-03T13:21:14Z","diasDesdeCommit":2,"issuesAbertas":0,"issuesCriticas":0,"readme":{"bytes":25714,"hash":"209f7c913363b30a","descricaoDetalhada":true,"exemplosUso":true,"jsonSchema":false,"parametrosDocumentados":false,"promptsProntos":false}}}}