Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
Brazilian law tools: CPC deadlines, labor and debt calculators, CEP, CNPJ and OAB case lookup.
These three are never merged into one score: opinions, measurements and popularity are different things.
We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.
Pick the AI app you use, then copy the settings.
You need
Which app do you use?
Pick your app above. We remember it, so next time the button says “Install in …”.
Works in Claude on the web, desktop and mobile:
https://www.uselauda.com/mcpRun this in your terminal
claude mcp add --transport http lauda https://www.uselauda.com/mcpPaste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"lauda": {
"url": "https://www.uselauda.com/mcp"
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
Paste into .vscode/mcp.json in your project
{
"servers": {
"lauda": {
"type": "http",
"url": "https://www.uselauda.com/mcp"
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
ChatGPT connects only to servers on the internet:
https://www.uselauda.com/mcpMenu names can differ slightly by plan and over time.
Your choice stays on this device in a cookie; no account needed.
These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.
Tool names and descriptions exactly as the server reported them on Nov 6, 2026. The maker wrote them, not us; we show them as plain text.
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. Ferramenta de consulta R2; nunca preencha bases ausentes por suposição.
cep_lookupConsulta 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 o
labor_calculateCalcula 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.
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. 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
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. Leva só o número do CNPJ.
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 precedentes normativos do TST e enunciados das Jornadas do CJF (scope qualified), acórdãos do STJ (stj) e
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 devolução simples ou em dobro. A conta é feita por código, com fundamento e premissas.
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. A conta é feita por código, com fundamento e premissas.
over_indebtedness_calculateSuperendividamento 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.
undue_charges_calculateRepetiçã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.
claim_value_calculateValor 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.
attorney_fees_calculateHonorários advocatícios de sucumbência pelos percentuais do CPC. A conta é feita por código, com fundamento e premissas.
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. A conta é feita por código, com fundamento e premissas.
rent_adjustment_calculateReajuste de aluguel pelo índice do contrato no período. A conta é feita por código, com fundamento e premissas.
early_termination_calculateMulta 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.
retirement_rules_calculateRegras 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.
benefit_arrears_calculateAtrasados 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.
initial_benefit_calculateRenda 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.
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. A conta é feita por código, com fundamento e premissas.
alimony_value_calculateValor 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.
asset_division_calculatePartilha de bens conforme o regime de bens, com a parte de cada um. A conta é feita por código, com fundamento e premissas.
criminal_prescription_calculatePrescriçã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.
sentence_execution_calculateDatas 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.
dosimetry_calculateAritmé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.
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ção, das mais recentes para as mais antigas, com o link oficial de cada uma. Nomes de pessoas físicas
We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 7, 2026
The registry lists no source repo, so we cannot match the publisher (uselauda.com) to the code
We have not read this repo from GitHub yet
We have not read this repo from GitHub yet
Responded in 297 ms (HTTP 200)
No sign-in needed
Read 25 tool descriptions and found no hidden instructions to the AI
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
It passed 2 of 3 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.
The registry does not list a required key, though some servers ask you to sign in on first use.
It runs in the maker’s cloud. Connect over the internet with nothing to install, but what you send passes through the maker’s servers.
The GitHub repo last changed –, and the latest version (1.0.0) reached the registry 6 days ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. It connects by URL, so apps that accept remote MCP servers work too, such as ChatGPT in developer mode.
In the same category: Spec Driven Development, Remote Desktop Commander, LexPact UK Contracts
Servers in the same category from other makers, sorted by stars.
Reading a card:★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Generate UK-law contracts: NDA, service, freelance, recruiter terms of business, IR35.
No README found in the repo