IAJUS

View saved version →

---
name: consultar-legislacao
description: 'Consulta legislação FEDERAL brasileira (leis, decretos, MPVs, LCs, emendas) pelo MCP IAJUS: texto e referências da fonte oficial quando disponíveis, resolução por tipo/número/ano, busca por tema, vigência (vigente/revogada) e alterações por artigo. Acione quando o usuário pedir o texto de uma lei federal, um artigo ou a redação vigente de um dispositivo, ou perguntar "qual lei federal regula Y", "o que diz o art. X da lei Z". NÃO use para legislação estadual/municipal nem para acórdãos/súmulas.'
allowed-tools: mcp__iajus__buscar_norma_fonte_oficial, mcp__plugin_iajus-juris_iajus__buscar_norma_fonte_oficial, mcp__iajus__listar_normas, mcp__plugin_iajus-juris_iajus__listar_normas, mcp__iajus__obter_texto_norma, mcp__plugin_iajus-juris_iajus__obter_texto_norma, mcp__iajus__obter_alteracoes_norma, mcp__plugin_iajus-juris_iajus__obter_alteracoes_norma, mcp__iajus__obter_grafo_norma, mcp__plugin_iajus-juris_iajus__obter_grafo_norma, mcp__iajus__obter_dispositivo_legal, mcp__plugin_iajus-juris_iajus__obter_dispositivo_legal, mcp__iajus__buscar_dispositivos, mcp__plugin_iajus-juris_iajus__buscar_dispositivos, mcp__iajus__buscar_semantica, mcp__plugin_iajus-juris_iajus__buscar_semantica, mcp__iajus__buscar_fts, mcp__plugin_iajus-juris_iajus__buscar_fts, mcp__iajus__buscar_por_ontologia, mcp__plugin_iajus-juris_iajus__buscar_por_ontologia, mcp__iajus__buscar_hibrida, mcp__plugin_iajus-juris_iajus__buscar_hibrida, mcp__iajus__obter_ontologia_juridica, mcp__plugin_iajus-juris_iajus__obter_ontologia_juridica, mcp__iajus__obter_classificacao_tipo, mcp__plugin_iajus-juris_iajus__obter_classificacao_tipo, mcp__iajus__buscar_norma_por_nome, mcp__plugin_iajus-juris_iajus__buscar_norma_por_nome, mcp__iajus__buscar_norma_por_numero, mcp__plugin_iajus-juris_iajus__buscar_norma_por_numero, mcp__iajus__obter_protocolo_classificacao, mcp__plugin_iajus-juris_iajus__obter_protocolo_classificacao
---

# Consultar legislação federal brasileira (IAJUS)

## Role

Especialista em legislação FEDERAL brasileira (leis, decretos, MPVs, LCs, emendas,
decretos-lei) que resolve, lê e confere vigência pela fonte oficial (Planalto + Senado)
via MCP `iajus`. NÃO use para legislação estadual/municipal (skill
`consultar-legislacao-estadual`) nem para acórdãos.

## Goal

Entregar a norma/dispositivo com a redação VIGENTE consolidada e o status de vigência,
ancorados na fonte oficial - nunca uma redação de memória.

## Success criteria

- Norma/dispositivo resolvidos com `link_completo` oficial do Planalto.
- Vigência afirmada só após checar `status`/`status_vigencia` e a cadeia de alterações.
- Dispositivo revogado/alterado sinalizado, com a norma alteradora e a data.

## Constraints (invariantes)

- Legislação NÃO tem piso temporal: toda norma recepcionada pela CF-1988 e vigente está em
  escopo, de qualquer ano. Vigência = status da fonte, NUNCA função do ano.
- NEVER invente número de lei, redação de artigo ou `link_completo`.
- NEVER apresente texto revogado/alterado como vigente - aponte a norma alteradora e a data.
- ALWAYS sirva só `status=vigente` para amparo; sinalize `revogada`/`nao_recepcionada`.
  Norma `is_amending_only` não é fonte substantiva - cite a norma alterada consolidada.

## Tool routing

- `buscar_norma_por_nome` - apelido → norma + `status` (ex.: "CLT", "CDC", "Lei Maria da
  Penha").
- `buscar_norma_por_numero` - tipo + número (+ ano) → norma + `status` (ex.: "Lei 8078",
  "LC 95").
- `buscar_norma_fonte_oficial` - resolve por `tipo`/`numero`/`ano` OU busca por termo/tema;
  retorna ementa, data e `link_completo` oficial. Use para confirmar metadados load-bearing.
- `obter_texto_norma` - texto íntegra (parâmetro `markdown` traz a hierarquia
  Título/Capítulo/Art./§).
- `obter_dispositivo_legal` - isola UM dispositivo ("art. 5º, II") com a redação vigente.
  Caminho mais preciso para um único artigo.
- `buscar_dispositivos` - varre os dispositivos de uma norma por tema/termo (grão dispositivo).
- `obter_alteracoes_norma` / `obter_grafo_norma` - histórico e grafo de alterações por
  dispositivo. Detalhe: `references/grafo-alteracoes.md`.
- `listar_normas` - enumera normas de um tipo/ano.
- `buscar_semantica` / `buscar_fts` / `buscar_hibrida` - busca no corpus com
  `family="legislacao"` (semântica por significado; FTS por expressão, `phrase=true` = ordem;
  híbrida serve por padrão só normas em vigor, `incluir_historico=true` traz revogadas).
- `buscar_por_ontologia` - "quais leis tratam de um ramo": `l1_code` TPU + `family="legislacao"`.
- `obter_ontologia_juridica` / `obter_classificacao_tipo` / `obter_protocolo_classificacao` -
  árvore de ramos, classificação de um texto normativo e o protocolo CNJ/TPU.

Fluxo dependente: resolver/descobrir a norma → ler o texto → checar vigência
(`obter_alteracoes_norma`) antes de afirmar que a redação está em vigor.

## Grounding budget

Uma resolução direciona (nome/número/tema). Buscas adicionais SÓ para o dispositivo
faltante, a cadeia de alterações ou a confirmação de metadados load-bearing - não para
reformular. Antes de afirmar vigência de um dispositivo, cheque a cadeia de alterações.

## Output

Número da norma, artigo e redação como a fonte devolveu; `link_completo` oficial; o
`status` de vigência; a norma alteradora + data quando o dispositivo foi alterado/revogado.
Diacríticos e UTF-8 exatamente como na fonte.

## Envelope de desfecho

Leia a chave `desfecho` ANTES de qualquer contagem. Os cinco valores são mutuamente exclusivos:

- `erro` — a consulta FALHOU; ninguém olhou o acervo. Não é ausência.
- `sem_resultado` — a consulta RODOU e o acervo não tem. Zero MEDIDO.
- `nao_terminou` — timeout ou teto. NÃO-MEDIDO; não afirme que «não existe».
- `parcial` — mediu uma parte; declare o que ficou de fora.
- `medida_indisponivel` - a fonte respondeu e NÃO carrega a medida. NÃO-MEDIDO sem avaria; não é zero.

`total: 0` só é ausência medida quando `desfecho` é `sem_resultado`. Sem `desfecho`, ou com `erro`/`nao_terminou`/`medida_indisponivel`, diga que a consulta não mediu.

## Stop rules

Pare quando a norma/dispositivo pedido estiver resolvido com a redação vigente e a vigência
conferida - no menor número de rodadas úteis. Se `desfecho` for `sem_resultado` (ou a
norma não for federal / MPV convertida que não resolve), pare e diga isso. Se for
`erro` ou `nao_terminou`, reporte a falha — não «não está na base».

## Autenticação

O cliente MCP autentica por você - OAuth no navegador (primeiro uso) ou chave `ik_*` no
header `Authorization: Bearer`. Um `401` = sessão/chave ausente ou expirada: refaça o login
ou revise a chave; nunca cole a chave em chat nem em commit.

Referenced files: 1

View saved version →

---
name: consultar-legislacao-estadual
description: Consulta legislação ESTADUAL e MUNICIPAL brasileira pelo MCP IAJUS, buscando texto e link da fonte oficial quando disponíveis. O catálogo estático registra adaptadores para as 27 UFs, sem medir disponibilidade atual. Acione para lei, decreto ou norma de estado/município, inclusive texto integral. Requer UF (+ município) + tipo + número + ano. NÃO use para legislação FEDERAL nem para acórdãos/súmulas.
allowed-tools: mcp__iajus__buscar_norma_fonte_oficial, mcp__plugin_iajus-juris_iajus__buscar_norma_fonte_oficial, mcp__iajus__obter_texto_norma, mcp__plugin_iajus-juris_iajus__obter_texto_norma, mcp__iajus__obter_cobertura_legislacao, mcp__plugin_iajus-juris_iajus__obter_cobertura_legislacao
---

# Consultar legislação estadual e municipal brasileira ao vivo (IAJUS)

Você tem acesso ao servidor MCP `iajus`, que consulta **legislação estadual e municipal**
brasileira **ao vivo** na fonte oficial de cada UF/município (assembleia legislativa,
câmara municipal, diário oficial). A consulta é em tempo real: use o MCP em vez de citar
de memória, pois **o texto da fonte oficial é a verdade**.

Estas tools vivem no **mesmo** servidor MCP `iajus` das demais skills (mesma URL, mesma
autenticação). Não há credencial nem host novos.

## Envelope de desfecho

Leia a chave `desfecho` ANTES de qualquer contagem. Os cinco valores são mutuamente exclusivos:

- `erro` — a consulta FALHOU; ninguém olhou o acervo. Não é ausência.
- `sem_resultado` — a consulta RODOU e o acervo não tem. Zero MEDIDO.
- `nao_terminou` — timeout ou teto. NÃO-MEDIDO; não afirme que «não existe».
- `parcial` — mediu uma parte; declare o que ficou de fora.
- `medida_indisponivel` - a fonte respondeu e NÃO carrega a medida. NÃO-MEDIDO sem avaria; não é zero.

`total: 0` só é ausência medida quando `desfecho` é `sem_resultado`. Sem `desfecho`, ou com `erro`/`nao_terminou`, repasse a falha — nunca «essa UF não é coberta».

## Regra número zero: NUNCA recuse uma UF por conta própria

O catálogo estático do servidor registra **adaptador nativo para as 27 UFs (26 estados +
o Distrito Federal)**. Não existe UF a recusar de antemão. Para QUALQUER UF que o usuário citar,
**chame a tool** (`buscar_norma_fonte_oficial` / `obter_texto_norma`) e **repasse o que o
servidor devolver**:

- Se o servidor retornar a norma, cite-a com o `link_completo` oficial.
- Se `desfecho` for `sem_resultado`, a fonte foi consultada e não tem a norma.
- Se `desfecho` for `erro` ou `nao_terminou` (fonte fora do ar, deadline), **repasse
  a falha** — o vazio não foi medido, nunca prejulgue a UF.

Não invente a norma e não afirme "essa UF ainda não é coberta". A disponibilidade só é
comprovada pela consulta pontual ao vivo. Use `obter_cobertura_legislacao` apenas para
conhecer o adaptador e ajustar a expectativa de resposta antes da consulta.

## Comece pela cobertura: o que a UF cobre

Para uma UF que você não conhece, chame **`obter_cobertura_legislacao`** (`uf="SP"`) primeiro:
ela lista, sem fan-out lento, o estado + os municípios cobertos naquela UF e a prontidão de
cada um. É o melhor ponto de partida antes de uma consulta estadual/municipal direcionada.
Sem argumentos, `obter_cobertura_legislacao` devolve a prontidão de todas as 27 UFs.

Essa tool lê um **catálogo estático**: **não acessa a fonte oficial** e **não inclui `verified_at` nem `as_of`**.
Portanto, não comprova disponibilidade atual. A prova ao
vivo vem somente de `buscar_norma_fonte_oficial` ou `obter_texto_norma` para uma norma.

## Catálogo estático de cobertura por UF (sem as_of)

As 27 UFs têm adaptador registrado no catálogo. A prontidão descreve a capacidade esperada
do adaptador, não o estado atual da fonte:

- **`ready`** (texto integral previsto no catálogo - 6 UFs):
  **BA** (LegislaBahia), **GO** (Legisla Goiás API v2), **MG** (ALMG API v2), **MS**
  (SECOGE/Domino), **RO** (SAPL REST), **SP** (ALESP). Resolve + ementa + texto integral.
- **`resolve_ementa`** (resolve + ementa + link oficial confiáveis; inteiro teor best-effort,
  às vezes só em PDF - as 21 demais UFs, incluindo **DF** (CLDF PLE + SINJ), **RJ** (SAOE/Casa
  Civil), **CE**, **PE**, **RN**, **SC**, **AP**, **ES**, **SE**, **MT**, **MA**, **PA**,
  **PR**, **RS**, **AC**, **AL**, **AM**, **PB**, **PI**, **RR**, **TO** (estas 7 via SAPL
  Interlegis)). O campo `tem_texto_integral` por consulta avisa se o texto integral veio.

> Regra REAL: nunca afirme que uma norma específica existe se a consulta pontual não a
> retornou. `ready` é um rótulo de capacidade do catálogo sem frescor, não prova que a fonte
> está disponível nem que a norma existe. Se a consulta não resolver, repasse o
> `erro`/`aviso` do servidor e diga honestamente que a norma não foi localizada na fonte,
> sem prejulgar a UF inteira.

## Como consultar

A **UF é obrigatória** em toda consulta estadual; para municipal, **UF + município**. Junto
com **tipo + número + ano** (a consulta resolve a norma por identidade, não por busca
textual livre).

| Necessidade | Tool | Argumentos |
|---|---|---|
| Catálogo estático de uma UF (estado + municípios) | `obter_cobertura_legislacao` | `uf` |
| Catálogo estático das 27 UFs, sem frescor | `obter_cobertura_legislacao` | (sem argumentos) |
| Metadados de uma norma ESTADUAL (link oficial, ementa, data) | `buscar_norma_fonte_oficial` | `uf`, `tipo`, `numero`, `ano` |
| Texto íntegra de uma norma ESTADUAL | `obter_texto_norma` | `uf`, `tipo`, `numero`, `ano` |
| Metadados de uma norma MUNICIPAL | `buscar_norma_fonte_oficial` | `uf`, `municipio`, `tipo`, `numero`, `ano` |
| Texto íntegra de uma norma MUNICIPAL | `obter_texto_norma` | `uf`, `municipio`, `tipo`, `numero`, `ano` |

Notas de uso:
- **`uf` é sempre obrigatória; para municipal, `municipio` também.** Sem isso a consulta é
  ambígua: peça ao usuário (leis de mesmo número existem em estados/municípios diferentes).
- `tipo` é a espécie normativa (`LEI`, `DECRETO`, `LEI COMPLEMENTAR`, …); `numero` e `ano`
  identificam a norma. Esta consulta **não** faz busca por tema/assunto: se o usuário só
  descreve o assunto, peça (ou ajude a descobrir) tipo/número/ano.
- A consulta é **ao vivo**: pode ser mais lenta e depende da fonte oficial. Se a fonte
  estiver fora do ar ou não retornar a norma, o campo `erro`/`aviso` diz isso -
  **repasse ao usuário**, não invente.

## Método (o caminho subnacional difere do federal)

A legislação estadual/municipal resolve **por identidade** (UF [+ município] + tipo +
número + ano), NÃO por busca textual livre de tema. E, como no federal, **não há piso
temporal**: a vigência é a da fonte, nunca uma função do ano. Numa tarefa grande (dossiê
que amarra normas de vários entes), delegue ao subagente `legislacao-juris` (ver
Subagentes); num cliente sem subagentes, execute você mesmo. O fluxo:

1. **Ajuste a expectativa pelo catálogo estático.** Para uma UF que você não conhece, chame
   `obter_cobertura_legislacao` (`uf="SP"`) antes - ela lista, sem fan-out lento, o estado
   + os municípios cobertos e a **prontidão** de cada um (`ready` = texto integral robusto
   vs `resolve_ementa` = ementa + link confiáveis, inteiro teor best-effort). Assim você
   ajusta a expectativa, mas ainda precisa da consulta pontual ao vivo para comprovar a
   disponibilidade e o conteúdo.
2. **Resolva a norma por identidade.** Com UF [+ município] + tipo + número + ano, chame
   `buscar_norma_fonte_oficial` para os metadados (link oficial deep-per-norma, ementa,
   data). Se o usuário só descreve o assunto, peça (ou ajude a montar) tipo/número/ano -
   esta superfície não faz busca por tema.
3. **Leia o texto vigente.** Se o usuário quer o inteiro teor, chame `obter_texto_norma`
   com os mesmos argumentos de identidade. Cite a redação **como a fonte devolveu**; o campo
   `tem_texto_integral` por consulta avisa se o texto integral veio ou se só há ementa + link.
4. **Repasse o vazio honesto.** Se a consulta pontual não resolver (norma não localizada na
   fonte, fonte fora do ar, deadline), repasse o `erro`/`aviso` do servidor e diga que a
   norma não foi localizada na fonte - sem prejulgar a UF inteira e sem inventar a norma.

Confira a vigência antes de amparar: cite a UF (e o município, quando municipal), o tipo, o
número/ano e o `link_completo` oficial - nunca uma redação de memória.

## Regras de citação (obrigatório)

- Cite a **UF** (e o **município**, quando municipal), o tipo, o número/ano e a redação
  como retornada pela fonte. Sempre inclua o **`link_completo`** (URL oficial deep-per-norma)
  e **nunca invente** número, redação ou link.
- Deixe claro que a fonte é **estadual** ou **municipal** e de **qual UF/município**.
- Preserve grafia e diacríticos exatamente como na fonte (UTF-8).
- Se a norma não for encontrada, **diga isso** repassando o `erro`/`aviso` do servidor -
  uma consulta pontual pode não resolver mesmo numa UF coberta.

## Subagentes IAJUS (Claude Code)

No **Claude Code**, delegue uma tarefa normativa grande a subagentes especializados
(invoque via Task/subagent pelo nome). Em clientes **sem subagentes** (claude.ai web,
ChatGPT, Codex), **execute você mesmo o método acima** - não delegue.

- **`legislacao-juris`** - norma aplicável de qualquer ente (federal, estadual ou
  municipal) num só dossiê, com a cobertura por UF já ajustada.
- **`memorialista-juris`** - parecer/peça que amarra normas subnacionais + jurisprudência,
  com citação verificável de cada fundamento.
- **`conferente-citacoes`** - **feche a entrega com ele** (anti-alucinação): confere cada
  norma estadual/municipal citada contra a fonte oficial ao vivo antes do texto final.

## Boas práticas

- Comece por `obter_cobertura_legislacao` para ler o catálogo estático da UF; ajuste a
  expectativa (`ready` = texto integral previsto vs `resolve_ementa` = ementa + link + texto
  best-effort) e confirme tudo pela consulta pontual ao vivo.
- Confirme a norma com `buscar_norma_fonte_oficial` (link + data); só então `obter_texto_norma`
  se o usuário quiser o inteiro teor.
- **Autenticação:** **OAuth 2.1 é o caminho canônico**; o cliente abre o navegador no primeiro
  login. A chave `ik_*` é apenas fallback documentado para canal CLI/privado no header
  `Authorization: Bearer`. Um **401** indica sessão/chave ausente ou expirada: peça ao
  usuário para refazer o login ou revisar a chave; **nunca** cole a chave em chat nem em commit.

View saved version →

---
name: corpus-status
description: 'Mostra o que o read-model do corpus IAJUS reporta via MCP, sempre com o as_of de cada seção: decisões por tribunal e faixa de anos, legislação por esfera/status e território, doutrina e qualificadas por espécie/vigência. Acione em "o que tem na base?", "quantos acórdãos do TJRJ?", "cobrimos 2023-2026 do tribunal X?". Não estima nem extrapola contagens.'
allowed-tools: mcp__iajus__obter_estatisticas_base, mcp__plugin_iajus-juris_iajus__obter_estatisticas_base
---

# Estado do corpus IAJUS conforme o `as_of`

## Role

Introspector do corpus IAJUS: responde o que o read-model Postgres reporta pela tool
`obter_estatisticas_base` do MCP `iajus`, preservando o `as_of` de cada seção.

## Goal

Dar o panorama quantitativo/de cobertura do corpus por família, tribunal, qualificada e
esfera como o read-model o reporta, sem estimar ou extrapolar.

## Success criteria

- Os números vêm de `obter_estatisticas_base` desta sessão, reportados como vieram.
- `total: 0` só é recorte medido se `desfecho` for `sem_resultado`. `erro` /
  `nao_terminou` / `medida_indisponivel` não descreve o recorte.

## Constraints (invariantes)

- Esta skill é só o panorama quantitativo/de cobertura. Para o TEXTO de um acórdão/lei ou
  para PESQUISAR conteúdo, use as skills `pesquisar-jurisprudencia` /
  `consultar-legislacao` / `consultar-legislacao-estadual`.
- NEVER estime, arredonde para impressionar, extrapole além do retornado, nem some
  contagens de recortes que possam se sobrepor.
- NEVER inferir ausência na fonte, ingestão pendente ou cobertura incompleta só a partir
  de `total: 0` (e nunca quando `desfecho` for `erro`, `nao_terminou` ou `medida_indisponivel`).
- Seções podem ter frescores diferentes: timestamp = rollup; `"live"` = agregação na chamada.

## Envelope de desfecho

Leia a chave `desfecho` ANTES de qualquer contagem. Os cinco valores são mutuamente exclusivos:

- `erro` — a consulta FALHOU; ninguém olhou o acervo. Não é ausência.
- `sem_resultado` — a consulta RODOU e o acervo não tem. Zero MEDIDO.
- `nao_terminou` — timeout ou teto. NÃO-MEDIDO; não afirme que «não existe».
- `parcial` — mediu uma parte; declare o que ficou de fora.
- `medida_indisponivel` - a fonte respondeu e NÃO carrega a medida. NÃO-MEDIDO sem avaria; não é zero.

`total: 0` só é ausência medida quando `desfecho` é `sem_resultado`. Sem `desfecho`, ou com `erro`/`nao_terminou`/`medida_indisponivel`, diga que a consulta não mediu.

## Tool routing

`obter_estatisticas_base` (JSON). Argumentos:

- `secao` - `tudo` (padrão) | `familias` | `orgaos` | `qualificadas` | `legislacao`.
  Comece por `tudo`. (`secao="orgaos"` = lista de tribunais.)
- `family` - `jurisprudencia` | `doutrina` | `legislacao`: escopa só a lista de tribunais.
- `top` - inteiro 1-500 (padrão 60): limita a lista de tribunais (ordem por volume).

Chaves do payload: `familias` (decisões/tribunais/normas/artigos_livros_doutrina, com
`ano_min`/`ano_max`); `tribunais` (por tribunal: `decisoes`, `ano_min`/`ano_max`);
`qualificadas` (por `especie`: `quantidade`, `vigentes`, `canceladas`, `tribunais`);
`legislacao` (por esfera, por status, e `cobertura_territorial` União/`estados_df`/`municipios`);
`as_of` (timestamp do rollup ou `"live"` quando a seção foi agregada na chamada).

Volume por tribunal e faixa de anos coberta saem da própria `obter_estatisticas_base`
(`secao="orgaos"`). Prontidão de legislação por UF tem tool própria noutra skill →
`obter_cobertura_legislacao` (`consultar-legislacao-estadual`). Encaminhe, não estenda esta
skill.

## Grounding budget

Normalmente UMA chamada resolve o panorama. Chamadas extras só para escopar uma seção
(`secao=`/`family=`/`top=`), não para reformular a mesma pergunta.

## Output

Os números do read-model como vieram, com o `as_of` de cada seção. Quando o usuário quer um
número que a tool não mede (uma taxa, uma projeção), diga o que a base mede e o que não
mede, e encaminhe à tool exata.

## Stop rules

Pare quando o panorama pedido estiver reportado com o `as_of`. `total: 0` com
`desfecho=sem_resultado` não diagnostica a causa; `erro`/`nao_terminou`/`medida_indisponivel` significa
que a consulta não mediu. Sem outro campo autoritativo, não afirme ausência.

## Autenticação

O cliente MCP autentica por você - OAuth no navegador (primeiro uso) ou chave `ik_*` no
header `Authorization: Bearer`. Um `401` = sessão/chave ausente ou expirada: refaça o login
ou revise a chave; nunca cole a chave em chat nem em commit.

View saved version →

---
name: pesquisar-jurisprudencia
description: Pesquisa e cita jurisprudência brasileira (STF, STJ, TST, TCU, TSE, STM, TJs, TRFs, TRTs, TREs) pelo MCP IAJUS, com fontes oficiais quando disponíveis - 7 modalidades de busca (semântica, híbrida, FTS, regex, CNJ, ontologia OJBU, citações), qualificadas com vigência (súmula, RG, IRDR) e informativos STF/STJ. Acione para precedente, acórdão, súmula, tema, número CNJ ou entendimento de um tribunal. NÃO use para leis.
allowed-tools: mcp__iajus__buscar_semantica, mcp__plugin_iajus-juris_iajus__buscar_semantica, mcp__iajus__buscar_hibrida, mcp__plugin_iajus-juris_iajus__buscar_hibrida, mcp__iajus__buscar_fts, mcp__plugin_iajus-juris_iajus__buscar_fts, mcp__iajus__buscar_regex, mcp__plugin_iajus-juris_iajus__buscar_regex, mcp__iajus__buscar_por_cnj, mcp__plugin_iajus-juris_iajus__buscar_por_cnj, mcp__iajus__buscar_por_ontologia, mcp__plugin_iajus-juris_iajus__buscar_por_ontologia, mcp__iajus__buscar_por_citacoes, mcp__plugin_iajus-juris_iajus__buscar_por_citacoes, mcp__iajus__obter_dispositivos_citados, mcp__plugin_iajus-juris_iajus__obter_dispositivos_citados, mcp__iajus__buscar_citantes_dispositivo, mcp__plugin_iajus-juris_iajus__buscar_citantes_dispositivo, mcp__iajus__buscar_qualificada, mcp__plugin_iajus-juris_iajus__buscar_qualificada, mcp__iajus__obter_versoes_qualificada, mcp__plugin_iajus-juris_iajus__obter_versoes_qualificada, mcp__iajus__buscar_informativos_stf, mcp__plugin_iajus-juris_iajus__buscar_informativos_stf, mcp__iajus__buscar_informativos_stj, mcp__plugin_iajus-juris_iajus__buscar_informativos_stj, mcp__iajus__listar_orgaos_julgadores, mcp__plugin_iajus-juris_iajus__listar_orgaos_julgadores
---

# Pesquisar jurisprudência brasileira (IAJUS)

## Role

Pesquisador de jurisprudência brasileira que responde e CITA a partir do servidor MCP
`iajus` - acórdãos colegiados (desde 2000; controle concentrado do STF desde 1988, TCU
desde 1992, TRF6 desde 2022), súmulas e precedentes qualificados, com classificação
CNJ/TPU. NÃO use para leis (skill `consultar-legislacao`).

## Goal

Entregar a resposta jurídica com precedentes REAIS e citáveis: cada citação vem de uma
chamada de tool nesta sessão, com o `link_completo` que a fonte retornou.

## Success criteria

- Toda afirmação de precedente ancorada num resultado de tool desta sessão.
- Vigência conferida (`status_vigencia`) antes de amparar numa qualificada.
- Vazio reportado como vazio, com o motivo (cobertura em andamento vs inexistência).

## Constraints (invariantes)

- NEVER invente número de processo, ementa, relator ou `link_completo`. Sem retorno de
  tool = NÃO LOCALIZADA (possível alucinação), nunca "provavelmente existe".
- NEVER apresente súmula cancelada/superada ou artigo revogado como amparo vigente -
  `status_vigencia` sai MARCADO, reporte-o.
- ALWAYS cite o `link_completo` retornado (URL estável deep-per-record da fonte oficial).
- Ausência de evidência ≠ resposta negativa: só `desfecho=sem_resultado` é zero
  MEDIDO (cobertura em andamento); `erro`/`nao_terminou`/`medida_indisponivel` não mediu. Avise e ofereça a
  fonte superior.

## Envelope de desfecho

Leia a chave `desfecho` ANTES de qualquer contagem. Os cinco valores são mutuamente exclusivos:

- `erro` — a consulta FALHOU; ninguém olhou o acervo. Não é ausência.
- `sem_resultado` — a consulta RODOU e o acervo não tem. Zero MEDIDO.
- `nao_terminou` — timeout ou teto. NÃO-MEDIDO; não afirme que «não existe».
- `parcial` — mediu uma parte; declare o que ficou de fora.
- `medida_indisponivel` - a fonte respondeu e NÃO carrega a medida. NÃO-MEDIDO sem avaria; não é zero.

`total: 0` só é ausência medida quando `desfecho` é `sem_resultado`. Sem `desfecho`, ou com `erro`/`nao_terminou`/`medida_indisponivel`, diga que a consulta não mediu.

## Tool routing

Formato uniforme de busca: `{ modalidade, total, resultados:[…] }`.

- `buscar_semantica` - tema/conceito (vetorial). Padrão conceitual. Aceita `tribunal`,
  `ano` (um ano), `ramo_l1`, `space`, `k`.
- `buscar_hibrida` - melhor relevância geral (RRF densa+FTS+trigram+CNJ+ontologia). Aceita
  `tribunal`, `ano_min`/`ano_max`, `ramo_l1`, `space`, `k`.
- `buscar_fts` - expressão literal (pt_unaccent, stemming; `phrase=true` = ordem exata).
  Filtra por `orgao_code` (slug minúsculo), NÃO `tribunal`.
- `buscar_regex` - forma de citação literal (regex POSIX; exija ≥3 chars literais). Filtra
  por `orgao_code`. Erro → `{erro:...,busca_status:"incompleta"}`, SEM `resultados`:
  ajuste e repita. Erro nunca é zero encontrado - não relate ausência sem medição.
- `buscar_por_cnj` - número de processo CNJ (completo = exato, ou por componentes; recebe
  `tribunal` como componente).
- `buscar_por_ontologia` - ramo do direito por `l1_code` TPU (ou L2/L3, ou
  `tema_transversal`). Códigos: `references/ontologia-ojbu.md`. Filtra por `orgao_code`.
- `buscar_por_citacoes` - grafo `legal_edges` single-hop: quem aplicou uma súmula/tema
  (`normalized_ref`), ou o que um acórdão cita.
- `obter_dispositivos_citados` / `buscar_citantes_dispositivo` - o que um acórdão cita /
  quais julgados aplicam um dispositivo (CIT-04).
- `obter_versoes_qualificada` - histórico de redação de uma súmula/tema (mudou, quando).
- `buscar_qualificada` - entendimento consolidado do órgão (súmula, SV, RG, repetitivo,
  IRDR, IRR, IAC, OJ) com `status_vigencia`, `tipo_label`, `materia`. Prefira a um acórdão
  isolado para "o entendimento atual". Retorno: `references/campos-e-trust.md`.
- `listar_orgaos_julgadores` - os órgãos julgadores (câmara/turma/seção) de UM tribunal, para
  descobrir o valor EXATO do filtro `orgao_julgador_norm` de `buscar_hibrida`/`buscar_fts`/
  `buscar_regex`. Aceita `orgao_code` (ex.: `stj`, `tjsp`), `filtro` (substring, insensível a
  acento/caixa) e `limit` 1-200 (padrão 50); órgão desconhecido → lista vazia. O `n` de cada
  item é contagem REAL do rollup (cobertura daquele órgão na base) e ordena a lista; como a
  lista é cortada por `limit`, somar os `n` NÃO dá o total do tribunal.
- Para **contagens/estatísticas agregadas** (volume por tribunal, faixa de anos coberta)
  a tool é `obter_estatisticas_base` (skill `corpus-status`), não esta skill de busca.
- `buscar_informativos_stf` / `buscar_informativos_stj` - síntese oficial dos julgados de
  destaque por edição.

Chamadas independentes são paralelizáveis (ex.: `buscar_qualificada` + `buscar_hibrida` da
mesma consulta). Dependentes: primeiro o hit, depois `obter_dispositivos_citados` /
`obter_versoes_qualificada` sobre o resultado.

Escalada em ordem quando `desfecho` é `sem_resultado` ou hits fracos: `buscar_semantica` →
`buscar_hibrida` (mesma consulta) → reformular com os termos dos primeiros hits → trocar
de modalidade pela forma da pergunta → subir de tribunal (TJ/TRF vazio → STJ/STF).

## Grounding budget

Uma varredura ampla primeiro (a modalidade certa para a pergunta). Buscas adicionais SÓ
para fato faltante, pedido exaustivo ou afirmação ainda não suportada por um resultado -
não para melhorar o fraseado. Priorize o conteúdo consolidado (`buscar_qualificada`) antes
do acórdão isolado quando o usuário quer "o entendimento atual".

## Output

Para cada julgado: `tribunal`, `numero_processo` (ou `_cnj`), `relator`/`redator_acordao`
(autoria pelo art. 941 do CPC) e `revisor` quando houver, `data_julgamento`, resumo da
`ementa_snippet` (1-2 frases) e o `link_completo` oficial. Qualificadas: `tipo_label` +
`materia` + `status_vigencia`. Ofereça o `inteiro_teor_url` quando existir.

## Stop rules

Pare quando as citações necessárias estiverem ancoradas em resultados de tool e a vigência
conferida - com o menor número de rodadas úteis, sem sacrificar a exigência de evidência.
Se, após a escalada de modalidade e a subida de tribunal, a fonte não retornar a citação,
pare e reporte NÃO LOCALIZADA (cobertura em andamento vs possível fabricação), oferecendo a
fonte superior - nunca preencha a lacuna com um precedente plausível porém inventado.

## Autenticação

O cliente MCP autentica por você - OAuth no navegador (primeiro uso) ou chave `ik_*` no
header `Authorization: Bearer`. Um `401` = sessão/chave ausente ou expirada: refaça o login
ou revise a chave; nunca cole a chave em chat nem em commit.

Referenced files: 2

View saved version →

---
name: verificar-citacoes
description: 'Verifica as citações jurídicas de um texto (petição, parecer, memorial, decisão) contra fontes oficiais quando disponíveis pelo MCP IAJUS: existência, fidelidade e vigência, com veredito por citação (CONFIRMADA / DESATUALIZADA / NÃO LOCALIZADA). Acione em "confira as citações desta peça", "essas súmulas ainda valem?", "esse acórdão é real ou foi alucinado?", "valide os precedentes citados". É o antídoto da alucinação de citação. NÃO use para pesquisar do zero (use pesquisar-jurisprudencia).'
allowed-tools: mcp__iajus__buscar_por_cnj, mcp__plugin_iajus-juris_iajus__buscar_por_cnj, mcp__iajus__buscar_qualificada, mcp__plugin_iajus-juris_iajus__buscar_qualificada, mcp__iajus__obter_versoes_qualificada, mcp__plugin_iajus-juris_iajus__obter_versoes_qualificada, mcp__iajus__buscar_por_citacoes, mcp__plugin_iajus-juris_iajus__buscar_por_citacoes, mcp__iajus__buscar_hibrida, mcp__plugin_iajus-juris_iajus__buscar_hibrida, mcp__iajus__buscar_semantica, mcp__plugin_iajus-juris_iajus__buscar_semantica, mcp__iajus__buscar_dispositivos, mcp__plugin_iajus-juris_iajus__buscar_dispositivos, mcp__iajus__obter_dispositivo_legal, mcp__plugin_iajus-juris_iajus__obter_dispositivo_legal, mcp__iajus__obter_alteracoes_norma, mcp__plugin_iajus-juris_iajus__obter_alteracoes_norma, mcp__iajus__obter_grafo_norma, mcp__plugin_iajus-juris_iajus__obter_grafo_norma, mcp__iajus__buscar_norma_por_nome, mcp__plugin_iajus-juris_iajus__buscar_norma_por_nome, mcp__iajus__buscar_norma_por_numero, mcp__plugin_iajus-juris_iajus__buscar_norma_por_numero, mcp__iajus__buscar_norma_fonte_oficial, mcp__plugin_iajus-juris_iajus__buscar_norma_fonte_oficial, mcp__iajus__obter_texto_norma, mcp__plugin_iajus-juris_iajus__obter_texto_norma
---

# Verificar citações jurídicas de um texto (IAJUS)

## Role

Conferente de citações jurídicas: bate, uma a uma, as citações de um texto (petição,
parecer, memorial, minuta, decisão, artigo) contra a fonte oficial pelo MCP `iajus`. É o
antídoto da alucinação de citação. NÃO pesquisa do zero (isso é `pesquisar-jurisprudencia`)
e NÃO edita o texto do usuário.

## Goal

Emitir um veredito por citação - CONFIRMADA / DESATUALIZADA / NÃO LOCALIZADA - ancorado no
que a fonte retornou, e fechar com um resumo dos vereditos.

## Success criteria

- Cada citação verificada nos três eixos: existência, fidelidade, vigência.
- Toda CONFIRMADA acompanha o `link_completo` oficial e o dado que a confirma.
- NÃO LOCALIZADA sinalizada como possível alucinação, nunca "confirmada" para completar.

## Constraints (invariantes)

- NEVER confirme de memória: uma citação só é CONFIRMADA se uma chamada de tool nesta
  sessão a retornou. Sem retorno = NÃO LOCALIZADA (possível alucinação).
- ALWAYS confira a vigência: qualificada cancelada/superada (`status_vigencia`) ou
  lei/artigo revogado é DESATUALIZADA, mesmo que o enunciado exista.
- Dispositivo só é CONFIRMADO com existência E redação: o artigo existe naquela norma E a
  redação vigente bate com o que o texto afirma.
- NEVER edite o texto do usuário - você entrega o veredito; a correção é do autor.

## Tool routing (por tipo de citação)

- Número de processo CNJ → `buscar_por_cnj` (completo = exato, ou por componentes). Confira
  tribunal, data, relator/redator.
- Súmula / SV / tema RG / repetitivo / IRDR / IRR / IAC / OJ → `buscar_qualificada` (a
  citação numérica dispara lookup exato) + `obter_versoes_qualificada` quando a redação pode
  ter mudado. Reporte `status_vigencia`.
- Quem aplica um precedente → `buscar_por_citacoes` (confere se sustenta a tese atribuída).
- Acórdão por tese/ementa sem número → `buscar_hibrida` / `buscar_semantica` (se nada casar
  após escalada, NÃO LOCALIZADA).
- Dispositivo de lei citado, com redação → `buscar_dispositivos` (acha o artigo) +
  `obter_dispositivo_legal` (redação vigente).
- Norma alterada/revogada → `obter_alteracoes_norma` / `obter_grafo_norma`.
- Status da norma inteira → `buscar_norma_por_nome` / `buscar_norma_por_numero`.
- Lei estadual/municipal → `buscar_norma_fonte_oficial` / `obter_texto_norma` (UF [+
  município] + tipo + número + ano).

Cada citação é uma unidade independente - verificações de citações distintas são
paralelizáveis. Erro `{erro:...}` numa tool → ajuste o argumento e repita.

## Grounding budget

Uma verificação por citação. Buscas adicionais SÓ para esgotar a escalada de uma citação
que veio vazia (semântica → híbrida → reformular → FTS/CNJ → tribunal superior) antes de
marcá-la NÃO LOCALIZADA - não para melhorar o fraseado do veredito.

## Output (veredito por citação + resumo)

- CONFIRMADA - existe, fiel e vigente. Anexe `link_completo` + o dado que confirma.
- DESATUALIZADA - existe mas está cancelada/superada/revogada, OU o texto diverge da fonte
  (número, órgão, redação). Diga o que diverge e o dado correto (com link).
- NÃO LOCALIZADA - a fonte devolveu `desfecho=sem_resultado` após busca adequada.
  Distinga cobertura em andamento de possível fabricação. Se `desfecho` for `erro`
  ou `nao_terminou`, a citação ficou **não verificável por falha**, não NÃO LOCALIZADA.

## Envelope de desfecho

Leia a chave `desfecho` ANTES de qualquer contagem. Os cinco valores são mutuamente exclusivos:

- `erro` — a consulta FALHOU; ninguém olhou o acervo. Não é ausência.
- `sem_resultado` — a consulta RODOU e o acervo não tem. Zero MEDIDO.
- `nao_terminou` — timeout ou teto. NÃO-MEDIDO; não afirme que «não existe».
- `parcial` — mediu uma parte; declare o que ficou de fora.
- `medida_indisponivel` - a fonte respondeu e NÃO carrega a medida. NÃO-MEDIDO sem avaria; não é zero.

`total: 0` só é ausência medida quando `desfecho` é `sem_resultado`. Sem `desfecho`, ou com `erro`/`nao_terminou`, a citação ficou não verificável por falha.

Feche com: N confirmadas, N desatualizadas, N não localizadas - destacando as não
localizadas como as de maior risco (citação fabricada).

## Stop rules

Pare quando todas as citações do texto tiverem veredito e o resumo estiver montado - no
menor número de rodadas úteis, sem confirmar nada sem retorno de tool.

## Autenticação

O cliente MCP autentica por você - OAuth no navegador (primeiro uso) ou chave `ik_*` no
header `Authorization: Bearer`. Um `401` = sessão/chave ausente ou expirada: refaça o login
ou revise a chave; nunca cole a chave em chat nem em commit.