{"componente":{"id":"mcp-0273a1330e2077817de9a883","url":"https://registry.modelcontextprotocol.io/v0.1/servers/io.github.sandraschi%2Fleanforge-mcp/versions/0.1.1","nome":"io.github.sandraschi/leanforge-mcp","descricao":"Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management","autor":"io.github.sandraschi","origem":"community","tipo":"mcp","provider":"mcp-registry","statusConfianca":"community-indexed","trustScore":null,"sinais":{"alvo":"https://registry.modelcontextprotocol.io/v0.1/servers/io.github.sandraschi%2Fleanforge-mcp/versions/0.1.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":null,"websiteUrl":null,"repositoryUrl":"https://github.com/sandraschi/leanforge-mcp","registryStatus":"active","registryPublishedAt":"2026-10-19T00:49:45.79469Z","registryUpdatedAt":"2026-10-19T00:49:45.79469Z","compatibility":["MCP"],"connection":{"kind":"package","transport":"stdio","registryType":"mcpb","identifier":"https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb","version":"0.1.1","copyValue":"mcpb:https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb@0.1.1","copyLabel":"Coordenada oficial do pacote. Consulte a documentação da origem para executar."},"packageCount":1,"remoteCount":0,"repositorySubfolder":null,"parametros":{"total":0,"documentados":0}}},"metadata":{"title":null,"websiteUrl":null,"repositoryUrl":"https://github.com/sandraschi/leanforge-mcp","registryStatus":"active","registryPublishedAt":"2026-10-19T00:49:45.79469Z","registryUpdatedAt":"2026-10-19T00:49:45.79469Z","compatibility":["MCP"],"connection":{"kind":"package","transport":"stdio","registryType":"mcpb","identifier":"https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb","version":"0.1.1","copyValue":"mcpb:https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb@0.1.1","copyLabel":"Coordenada oficial do pacote. Consulte a documentação da origem para executar."},"packageCount":1,"remoteCount":0,"repositorySubfolder":null,"parametros":{"total":0,"documentados":0}},"atualizadoEm":"2026-11-08 00:01:35","lastSeenAt":"2026-11-08 00:01:35","lastChangedAt":null,"changeCount":0,"reviewRequired":true,"failureCount":0,"repositorio":{"fonte":"github","verificadoEm":"2026-11-05T18:04:24.957Z","encontrado":true,"estrelas":3,"arquivado":false,"ultimoCommitEm":"2026-10-24T02:35:35Z","diasDesdeCommit":12,"issuesAbertas":0,"issuesCriticas":0,"readme":{"bytes":9184,"hash":"83d959875b2f14cd","descricaoDetalhada":true,"exemplosUso":false,"jsonSchema":false,"parametrosDocumentados":true,"promptsProntos":false}}}}