{"componente":{"id":"mcp-06a2859e9bb01a3f61efe118","url":"https://registry.modelcontextprotocol.io/v0.1/servers/io.github.vince-gonzalez%2Fgonzalgo/versions/0.5.6","nome":"io.github.vince-gonzalez/gonzalgo","descricao":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","autor":"io.github.vince-gonzalez","origem":"community","tipo":"mcp","provider":"mcp-registry","statusConfianca":"community-indexed","trustScore":null,"sinais":{"alvo":"https://registry.modelcontextprotocol.io/v0.1/servers/io.github.vince-gonzalez%2Fgonzalgo/versions/0.5.6","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/vince-gonzalez/gonzalgo","registryStatus":"active","registryPublishedAt":"2026-09-11T06:02:18.277417Z","registryUpdatedAt":"2026-09-11T06:02:18.277417Z","compatibility":["MCP"],"connection":{"kind":"package","transport":"stdio","registryType":"pypi","identifier":"gonzalgo","version":"0.5.6","copyValue":"pypi:gonzalgo@0.5.6","copyLabel":"Coordenada oficial do pacote. Consulte a documentação da origem para executar."},"packageCount":1,"remoteCount":0,"repositorySubfolder":null,"parametros":{"total":2,"documentados":2}}},"metadata":{"title":"gonzalgo","websiteUrl":"https://f-keys.com/gonzalgo/","repositoryUrl":"https://github.com/vince-gonzalez/gonzalgo","registryStatus":"active","registryPublishedAt":"2026-09-11T06:02:18.277417Z","registryUpdatedAt":"2026-09-11T06:02:18.277417Z","compatibility":["MCP"],"connection":{"kind":"package","transport":"stdio","registryType":"pypi","identifier":"gonzalgo","version":"0.5.6","copyValue":"pypi:gonzalgo@0.5.6","copyLabel":"Coordenada oficial do pacote. Consulte a documentação da origem para executar."},"packageCount":1,"remoteCount":0,"repositorySubfolder":null,"parametros":{"total":2,"documentados":2}},"atualizadoEm":"2026-11-08 06:03:13","lastSeenAt":"2026-11-08 06:03:13","lastChangedAt":"2026-11-01 00:02:54","changeCount":1,"reviewRequired":true,"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}}}}