{"componente":{"id":"mcp-cade40ebee588d59b15c0da0","url":"https://registry.modelcontextprotocol.io/v0.1/servers/io.github.fvossel%2Funicode-logic-kit/versions/0.35.0","nome":"io.github.fvossel/unicode-logic-kit","descricao":"Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.","autor":"io.github.fvossel","origem":"community","tipo":"mcp","provider":"mcp-registry","statusConfianca":"community-indexed","trustScore":null,"sinais":{"alvo":"https://registry.modelcontextprotocol.io/v0.1/servers/io.github.fvossel%2Funicode-logic-kit/versions/0.35.0","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":"Unicode Logic Kit","websiteUrl":"https://unicode-logic-kit.readthedocs.io/","repositoryUrl":"https://github.com/fvossel/unicode-logic-kit","registryStatus":"active","registryPublishedAt":"2026-10-25T22:15:46.823771Z","registryUpdatedAt":"2026-10-25T22:15:46.823771Z","compatibility":["MCP"],"connection":{"kind":"package","transport":"stdio","registryType":"pypi","identifier":"unicode-logic-kit","version":"0.35.0","copyValue":"pypi:unicode-logic-kit@0.35.0","copyLabel":"Coordenada oficial do pacote. Consulte a documentação da origem para executar."},"packageCount":1,"remoteCount":0,"repositorySubfolder":null,"parametros":{"total":3,"documentados":3}}},"metadata":{"title":"Unicode Logic Kit","websiteUrl":"https://unicode-logic-kit.readthedocs.io/","repositoryUrl":"https://github.com/fvossel/unicode-logic-kit","registryStatus":"active","registryPublishedAt":"2026-10-25T22:15:46.823771Z","registryUpdatedAt":"2026-10-25T22:15:46.823771Z","compatibility":["MCP"],"connection":{"kind":"package","transport":"stdio","registryType":"pypi","identifier":"unicode-logic-kit","version":"0.35.0","copyValue":"pypi:unicode-logic-kit@0.35.0","copyLabel":"Coordenada oficial do pacote. Consulte a documentação da origem para executar."},"packageCount":1,"remoteCount":0,"repositorySubfolder":null,"parametros":{"total":3,"documentados":3}},"atualizadoEm":"2026-11-06 00:01:24","lastSeenAt":"2026-11-06 00:01:24","lastChangedAt":null,"changeCount":0,"reviewRequired":true,"failureCount":0,"repositorio":{"fonte":"github","verificadoEm":"2026-11-04T00:04:26.053Z","encontrado":true,"estrelas":0,"arquivado":false,"ultimoCommitEm":"2026-10-25T21:32:31Z","diasDesdeCommit":9,"issuesAbertas":0,"issuesCriticas":0,"readme":{"bytes":19305,"hash":"cec48b63d6c5a028","descricaoDetalhada":true,"exemplosUso":false,"jsonSchema":false,"parametrosDocumentados":false,"promptsProntos":false}}}}