Lauda - IA jurídica

com.uselauda/laudauselauda.comstreamable-httpv1.0.0Scanned 2 hours ago

Brazilian law tools: CPC deadlines, labor and debt calculators, CEP, CNPJ and OAB case lookup.

25 tools: 1 do something that can't be undone, 20 change things and 4 only read.

Reads private data · 0
Reads text others write · 4
Can send data out · 0
1 finding

Anlyon alternative

21 of these tools change something. Run those as governed actions.

Declare what an action changes, and Anlyon puts it under a shared limit, binds every approval to the exact request, and grades the outcome. It works on any HTTPS API you can describe as an action.

Anlyon does not run, proxy or govern this MCP server. A tool your own code calls directly is not routed through Anlyon and is not governed by it.

Import an OpenAPI spec →

Tools

Grouped by what each tool does, most consequential first. Open one for its reasons and full description; descriptions are the publisher's own words.

25 tools

Can't be undone 1Sends, pays, publishes or merges: once done, it cannot be taken back.Claude Code: ask

undue_charges_calculateRepetição de indébito: devolução de valores cobrados indevidamente, simples ou em dobro, com correção e juros.1 finding
Why it is in this group
- The name "undue_charges_calculate" says "charge": a word that usually means money moves, which cannot be taken back.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Findings
- Warn
  The server marks "undue_charges_calculate" read-only (readOnlyHint: true), and its own name, description or input give the class "irreversible".
  Matched text
  annotations: {"readOnlyHint":true,"destructiveHint":false,"idempotentHint":true,"openWorldHint":false}; The name "undue_charges_calculate" says "charge": a word that usually means money moves, which cannot be taken back.
  What this check looks for
Description, as the server wrote it
Repetição de indébito: devolução de valores cobrados indevidamente, simples ou em dobro, com correção e juros. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true

Changes things 20Creates or changes something that can be changed back.Claude Code: ask

alimony_debt_calculateDébito de pensão alimentícia, separado entre o rito da prisão (três últimas parcelas) e o da penhora, com correção e juros.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Débito de pensão alimentícia, separado entre o rito da prisão (três últimas parcelas) e o da penhora, com correção e juros. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
alimony_value_calculateValor da pensão alimentícia em salários mínimos ou em percentual da renda.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Valor da pensão alimentícia em salários mínimos ou em percentual da renda. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
asset_division_calculatePartilha de bens conforme o regime de bens, com a parte de cada um.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Partilha de bens conforme o regime de bens, com a parte de cada um. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
attorney_fees_calculateHonorários advocatícios de sucumbência pelos percentuais do CPC.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Honorários advocatícios de sucumbência pelos percentuais do CPC. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
benefit_arrears_calculateAtrasados de benefício do INSS, mês a mês, com correção e juros.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Atrasados de benefício do INSS, mês a mês, com correção e juros. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
civil_prescription_calculatePrescrição civil: prazo aplicável e data em que a pretensão prescreve, com as causas de interrupção e suspensão informadas.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Prescrição civil: prazo aplicável e data em que a pretensão prescreve, com as causas de interrupção e suspensão informadas. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
claim_value_calculateValor da causa pelo art.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Valor da causa pelo art. 292 do CPC a partir dos pedidos (danos, parcelas vencidas e vincendas, pedidos cumulados ou alternativos). A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
consigned_card_calculateCartão de crédito consignado (RMC/RCC) recalculado como empréstimo consignado pela taxa média oficial do Banco Central, com o que foi descontado a mais.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Cartão de crédito consignado (RMC/RCC) recalculado como empréstimo consignado pela taxa média oficial do Banco Central, com o que foi descontado a mais. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
criminal_prescription_calculatePrescrição penal pela pena máxima em abstrato e pela pena aplicada, com os marcos interruptivos.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Prescrição penal pela pena máxima em abstrato e pela pena aplicada, com os marcos interruptivos. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
debt_calculateAtualiza um débito parcela por parcela com os índices oficiais do Banco Central: débito do contrato (índice, juros e multa do contrato), juros legais do art.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Atualiza um débito parcela por parcela com os índices oficiais do Banco Central: débito do contrato (índice, juros e multa do contrato), juros legais do art. 406 do CC antes e depois da Lei 14.905/2024, crédito trabalhista (TST, ADC 58), condenação da Fazenda Pública (EC 113/2021) e cumprimento de sentença (art. 523 do CPC). Aceita pagamentos parciais ou em atraso. Devolve a memória de cálculo de cada parcela, os totais, as premissas e, se faltarem vencimentos depois da última parcela, um aviso em notice.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
dosimetry_calculateAritmética da dosimetria da pena nas três fases (pena-base, agravantes e atenuantes, causas de aumento e diminuição).No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Aritmética da dosimetria da pena nas três fases (pena-base, agravantes e atenuantes, causas de aumento e diminuição). A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
early_termination_calculateMulta por devolução antecipada do imóvel locado, proporcional ao tempo que falta do contrato.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Multa por devolução antecipada do imóvel locado, proporcional ao tempo que falta do contrato. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
initial_benefit_calculateRenda mensal inicial (RMI) de benefício do INSS a partir dos salários de contribuição.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Renda mensal inicial (RMI) de benefício do INSS a partir dos salários de contribuição. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
labor_calculateCalcula verbas rescisórias e horas extras de um contrato de trabalho, com fundamento e fórmula de cada parcela e total.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Calcula verbas rescisórias e horas extras de um contrato de trabalho, com fundamento e fórmula de cada parcela e total. Use os valores devolvidos nos pedidos líquidos.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
loan_review_calculateRevisional de empréstimo ou financiamento com a taxa média oficial do Banco Central para a modalidade e a data do contrato: recalcula o contrato e apura o que foi pago a mais, com …No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Revisional de empréstimo ou financiamento com a taxa média oficial do Banco Central para a modalidade e a data do contrato: recalcula o contrato e apura o que foi pago a mais, com devolução simples ou em dobro. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
over_indebtedness_calculateSuperendividamento do consumidor (Lei 14.181/2021): conta das dívidas de consumo frente à renda, para o plano de pagamento.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Superendividamento do consumidor (Lei 14.181/2021): conta das dívidas de consumo frente à renda, para o plano de pagamento. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
prazo_calculateCalcula prazo jurídico no motor determinístico local e devolve integralmente as premissas, o termo inicial, a data final, os dias pulados e a base legal.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Calcula prazo jurídico no motor determinístico local e devolve integralmente as premissas, o termo inicial, a data final, os dias pulados e a base legal. Ferramenta de consulta R2; nunca preencha bases ausentes por suposição.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
rent_adjustment_calculateReajuste de aluguel pelo índice do contrato no período.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Reajuste de aluguel pelo índice do contrato no período. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
retirement_rules_calculateRegras de transição da aposentadoria no RGPS (EC 103/2019), com a data em que cada uma é cumprida.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Regras de transição da aposentadoria no RGPS (EC 103/2019), com a data em que cada uma é cumprida. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true
sentence_execution_calculateDatas da execução da pena: progressão de regime, livramento condicional, remição e término.No findings
Why it is in this group
- Nothing in its name or description says what it does, so it is counted as a write.
- The server marks it read-only (readOnlyHint: true), but an annotation never lowers a class.
Description, as the server wrote it
Datas da execução da pena: progressão de regime, livramento condicional, remição e término. A conta é feita por código, com fundamento e premissas.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: false
- idempotentHint: true

Only reads 4Looks things up and changes nothing.Show 4 read-only tools

cep_lookupConsulta a base de CEPs dos Correios (pelo ViaCEP).Reads text others writeNo findings
Why it is in this group
- The name "cep_lookup" says "lookup": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Consulta a base de CEPs dos Correios (pelo ViaCEP). Informe cep para obter o endereço, ou uf, city, street, neighborhood e number para obter o CEP. Devolve o CEP do logradouro ou, se a rua não tiver CEP próprio, o CEP geral do distrito ou da localidade. Nunca envie nome, CPF ou outro dado da pessoa.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: true
- idempotentHint: true
cnpj_lookupDados cadastrais de empresa na base pública do CNPJ da Receita Federal: razão social, situação, endereço, atividade e sócios, com a qualificação pronta para a peça.Reads text others writeNo findings
Why it is in this group
- The name "cnpj_lookup" says "lookup": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Dados cadastrais de empresa na base pública do CNPJ da Receita Federal: razão social, situação, endereço, atividade e sócios, com a qualificação pronta para a peça. Leva só o número do CNPJ.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: true
- idempotentHint: true
jurisprudence_searchPesquisa nas bases oficiais de jurisprudência da Lauda, sem passar pela busca web: súmulas do STF, do STJ e do TST, súmulas vinculantes, temas repetitivos e IAC do STJ, OJs e prece…Reads text others writeNo findings
Why it is in this group
- The name "jurisprudence_search" says "search": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
- untrusted-inputThe description's first sentence says "web": it reads web pages, which anyone can write.
Description, as the server wrote it
Pesquisa nas bases oficiais de jurisprudência da Lauda, sem passar pela busca web: súmulas do STF, do STJ e do TST, súmulas vinculantes, temas repetitivos e IAC do STJ, OJs e precedentes normativos do TST e enunciados das Jornadas do CJF (scope qualified), acórdãos do STJ (stj) e buscadores oficiais dos tribunais (state, com a sigla em court). Devolve cada precedente com número, órgão, data, situação, texto ou ementa e link oficial.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: true
- idempotentHint: true
oab_processes_lookupLista os processos em que uma inscrição da OAB aparece nas publicações do Diário de Justiça Eletrônico Nacional (DJEN, do CNJ): número, tribunal, classe, assunto e última publicaçã…Reads text others writeNo findings
Why it is in this group
- The name "oab_processes_lookup" says "lookup": a word for reading.
What it can reach
- untrusted-inputThe server marks it openWorldHint: true: it reaches things outside the server's own data.
Description, as the server wrote it
Lista os processos em que uma inscrição da OAB aparece nas publicações do Diário de Justiça Eletrônico Nacional (DJEN, do CNJ): número, tribunal, classe, assunto e última publicação, das mais recentes para as mais antigas, com o link oficial de cada uma. Nomes de pessoas físicas das partes saem abreviados. Use quando a pessoa informar a OAB e quiser ver os processos dela.
Annotations the server declares
- readOnlyHint: true
- destructiveHint: false
- openWorldHint: true
- idempotentHint: true

This is not a safety rating, and no finding is not a safety guarantee. The groups and findings come from fixed checks of the tool definitions the server returned on the date shown, not from its code or what it does when called. How the checks work.

Exfil surface

Which tools read private data, which read text someone else can write, and which can send data out. One of each is a path a prompt injection can use.

No private-data, untrusted-input, outbound path in this server alone: no tool is tagged private-data or outbound.

Reads private data0: Reads files, mail, messages, databases, secrets, calendars or repositories.
Reads text others write4: Brings in text someone else can write: web pages, inbound email, messages, issues and comments.; cep_lookup
cnpj_lookup
jurisprudence_search
oab_processes_lookup
Can send data out0: Can carry data to people or systems: it sends, posts or publishes, or takes a recipient, channel or URL.

Other servers in the same agent add their own tools to these paths. Audit your whole setup to see them together.

Findings

Matches of fixed checks, with the text they matched.

1 warn

Warnundue_charges_calculate
The server marks "undue_charges_calculate" read-only (readOnlyHint: true), and its own name, description or input give the class "irreversible".
Matched text
annotations: {"readOnlyHint":true,"destructiveHint":false,"idempotentHint":true,"openWorldHint":false}; The name "undue_charges_calculate" says "charge": a word that usually means money moves, which cannot be taken back.
What this check looks for

History

Changes to its tool definitions and to its remote endpoint, newest first.

No change seen yet. Its tools are rescanned every day, and a remote endpoint is looked at once a week.

All changes to this server

Install

Pinned to version 1.0.0. Values in angle brackets are yours to fill in.

claude mcp add --transport http lauda https://www.uselauda.com/mcp

claude mcp add --transport http lauda https://www.uselauda.com/mcp

Run in a terminal.

Claude Code permissions

Allow the reads, ask before a change or a way out, deny the deletes. Paste into .claude/settings.json.

.claude/settings.json

{
  "permissions": {
    "allow": [
      "mcp__lauda__cep_lookup",
      "mcp__lauda__cnpj_lookup",
      "mcp__lauda__jurisprudence_search",
      "mcp__lauda__oab_processes_lookup"
    ],
    "ask": [
      "mcp__lauda__prazo_calculate",
      "mcp__lauda__labor_calculate",
      "mcp__lauda__debt_calculate",
      "mcp__lauda__loan_review_calculate",
      "mcp__lauda__consigned_card_calculate",
      "mcp__lauda__over_indebtedness_calculate",
      "mcp__lauda__undue_charges_calculate",
      "mcp__lauda__claim_value_calculate",
      "mcp__lauda__attorney_fees_calculate",
      "mcp__lauda__civil_prescription_calculate",
      "mcp__lauda__rent_adjustment_calculate",
      "mcp__lauda__early_termination_calculate",
      "mcp__lauda__retirement_rules_calculate",
      "mcp__lauda__benefit_arrears_calculate",
      "mcp__lauda__initial_benefit_calculate",
      "mcp__lauda__alimony_debt_calculate",
      "mcp__lauda__alimony_value_calculate",
      "mcp__lauda__asset_division_calculate",
      "mcp__lauda__criminal_prescription_calculate",
      "mcp__lauda__sentence_execution_calculate",
      "mcp__lauda__dosimetry_calculate"
    ],
    "deny": []
  }
}

Tools that only read are allowed, tools that change things ask first, tools that delete or cancel are denied. A read that can send data out (it takes a URL, say) asks first too. It assumes the server is installed as lauda. Review it before you use it.

Capability tags behind 4 rules

mcp__lauda__cep_lookup untrusted-input
mcp__lauda__cnpj_lookup untrusted-input
mcp__lauda__jurisprudence_search untrusted-input
mcp__lauda__oab_processes_lookup untrusted-input

Keep the decision: fail CI when the tools change, follow every change, or show a badge.

Pin in CI

Fail a build when the tools you reviewed are not the tools the server serves today.

curl -s "https://anlyon.dev/api/v1/servers/com.uselauda/lauda/verify?hash=71602e5f35399aa3fe9206bc3a0fb72f5ed03ef8f0b85a9f9a7e65ba3b5e19fa" | jq -e '.changed == false'

Pinned hash 71602e5f3539, from Nov 1, 2026, 03:18 UTC.

Watch

Get told when its tools change: a new tool, a new description, a new class.

https://anlyon.dev/servers/com.uselauda/lauda/changes.xml

An Atom feed. Works in any feed reader or Slack's RSS app.

Badge

[![anlyon.dev](https://anlyon.dev/badge/com.uselauda/lauda.svg)](https://anlyon.dev/servers/com.uselauda/lauda)

Source: MCP Registry. Synced Nov 1, 2026, 03:17 UTC.