FREOA Verifica
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Instructions
Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.
This server publishes no instructions, or was last inspected before Glama recorded them.
Capabilities
Features and capabilities supported by this server
Protocol revision2025-11-25
| Capability | Details |
|---|---|
| tools | {
"listChanged": false
} |
| prompts | {
"listChanged": false
} |
| resources | {
"subscribe": false,
"listChanged": false
} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| buscar_legislacaoA | Busca legislação e normas no índice local e, se necessário, nas fontes oficiais (Planalto, CVM, BCB/CMN, Senado). Devolve CANDIDATOS, não vigência nem prova. status: ok | parcial (parte das fontes indisponível ou truncada) |
indisponivel (fonte, rede ou modo offline; não é inexistência). Item de fonte externa não indexado traz
nao_indexado e nunca afirma vigência. |
| resolver_citacaoA | Resolve uma citação normativa («art. 254-A da Lei 6.404/76») para work_id e caminho. Cobre as obras de Planalto, CVM, BCB/CMN e Senado; captura a obra sob demanda. status: encontrada | ambigua | inexistente (negativa sustentada em fonte oficial) | indisponivel (não é inexistência) | formato_invalido. Use para identificar a obra antes de obter_dispositivo. Pode gravar cache local ao capturar a obra. |
| obter_dispositivoA | Obtém o texto do dispositivo (artigo, inciso, parágrafo) na redação da Informe |
| historico_dispositivoA | Linha do tempo de redações e eventos do dispositivo citado (trechos entre delimitadores de documento oficial). Só mostra a história que a fonte oficial traz (por exemplo, redação riscada na própria página); a data do ato
alterador não é início de vigência. Sem história na fonte, não afirma que o texto nunca mudou. Use para citar
redação antiga; para a vigência numa data, use verificar_citacao com |
| verificar_citacaoA | Verifica uma citação normativa contra captura oficial, nas dimensões identity, text, temporal e support. verified só com documento oficial capturado, hash e confronto efetivo; nunca «juridicamente correto». Outros estados: unknown (a regra não decide), ambiguous, unavailable (fonte falhou; não é inexistência), not_found. support permanece not_assessed; proposicao é apenas ecoada. modo: literal | normalizado. Use antes de citar um dispositivo ou trecho. Não verifica decisões judiciais: para elas, obter_decisao. Pode gravar cache local. |
| verificar_textoA | Extrai citações normativas de um texto e verifica cada uma (anti-alucinação). Estado por citação: encontrada | ambigua | inexistente | requer_conferencia (provável, só conferível por quem consulta) | indisponivel (não é inexistência). Citação fora das fontes cobertas não é validada. Use para revisar uma minuta inteira; para uma citação só, verificar_citacao. Limites: texto ≤ 100.000 caracteres; até 200 citações. Pode gravar cache local. |
| pesquisar_jurisprudenciaA | Pesquisa jurisprudência por tema, por número CNJ ou por classe e número, nas fontes cobertas. Recorte por tribunal (listar_fontes traz o do acervo instalado): STJ, ementas de espelhos mensais, só acervo local; TCU, acórdãos do recorte instalado, sem busca ao vivo; STF, súmulas e súmulas vinculantes (busca livre sob WAF, sem contorno); TJDFT, semente temática e API oficial ao vivo (acórdão só com ementa); CVM Colegiado, decisões da semente; TJSP, consulta pontual (CAPTCHA, sem contorno). Aceita siglas e nomes dos tribunais. Busca temática é lexical, não semântica. Devolve CANDIDATOS, não prova. status: ok | parcial (truncado ou parte indisponível) | indisponivel |
nao_confirmado_no_acervo (só acervo local; não é inexistência). O bloco |
| obter_decisaoA | Obtém a parte disponível de uma decisão do acervo (texto entre delimitadores de documento oficial). parte: ementa|inteiro_teor|voto|certidao. Muitas fontes trazem só a ementa (STJ espelhos, acórdãos do TJDFT):
a parte não capturada devolve parte_indisponivel, nunca outro documento no lugar. status: encontrada |
parte_indisponivel | ambiguous (identificador repetido em tribunais distintos: informe |
| buscar_normas_cvmA | Busca normas no portal oficial da CVM (resoluções, instruções, pareceres de orientação e demais espécies do índice). Fonte: índice do portal da CVM consultado ao vivo; o texto do ato é capturado quando indexado. Devolve
CANDIDATOS: status ok | parcial | indisponivel (portal, rede ou offline; não é zero resultados). Item
nao_indexado não tem captura nem afirma vigência. |
| buscar_normas_bcbA | Busca normativos do BCB e do CMN (resoluções, circulares, cartas circulares, instruções normativas). Fonte: API oficial de busca de normativos, consultada ao vivo. Devolve CANDIDATOS: status ok | parcial |
indisponivel (fonte, rede ou offline; não é zero resultados). Circular cujo JSON só remete a outro endereço
pode não ter estrutura de dispositivos. Situação e revogação vêm do que o normativo declara. |
| obter_evidenciaA | Metadados da captura oficial (url, hash, data) e o texto extraído, paginado e entre delimitadores de documento oficial. Use para conferir de onde veio um resultado (capture_id vem de outras ferramentas). status: encontrada | unavailable (captura ausente; não é inexistência do documento). Captura prova a origem dos bytes, não vigência nem juízo jurídico. max_chars máximo: 50.000. |
| obter_registroC | Registro local da operação de verificação (decisão 0075, 3.4). Entrada: run_id e, opcionais, evidencias e fundamento_temporal para conferência. Saída em encontrada traz integridade e status de conferência dos compromissos. |
| listar_fontesA | Lista as fontes, o que cada uma cobre e o recorte do acervo instalado. Comece por aqui. Por fonte: |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
TDQS
Scored across 13 tools
Each tool has a distinct role in the pipeline (buscar → resolver → obter → historico → verificar → registro), and the descriptions explicitly state ordering and scope boundaries (e.g. verificar_citacao for a single citation vs verificar_texto for a whole draft; obter_decisao for jurisprudence vs obter_dispositivo for normative text). The main overlap is that buscar_legislacao already covers Planalto/CVM/BCB/Senado while buscar_normas_cvm and buscar_normas_bcb are source-specific near-duplicates, which an agent could misselect. Still, the specializations are explained, so confusion is limited.
Most names follow a Portuguese verb_noun pattern (obter_, buscar_, verificar_, resolver_, listar_) with a clear resource noun. Deviations are minor but real: 'historico_dispositivo' is noun-first rather than verb-first, and similar search operations use two different verbs ('buscar_legislacao'/'buscar_normas_cvm' vs 'pesquisar_jurisprudencia'). Readability remains high despite these inconsistencies.
13 tools is within a healthy range and each maps to a real step in legal research and anti-hallucination verification. A slight redundancy exists in having both the general buscar_legislacao and the two dedicated CVM/BCB search tools, which could plausibly be folded into one parameterized search.
The surface covers the full lifecycle: discovery (listar_fontes, pesquisar_jurisprudencia, buscar_legislacao), resolution and retrieval (resolver_citacao, obter_dispositivo, obter_decisao), provenance (obter_evidencia), history, verification (verificar_citacao, verificar_texto) and audit (obter_registro). Minor gaps: no explicit tool for comparing or exporting consolidated citations, and jurisprudence verification relies on obter_decisao plus evidence rather than a dedicated verify path.