Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Descripción del creador (original en inglés)
Busca e cita o texto oficial de mais de 1,2 milhão de normas brasileiras (ctresb/leis).
Estos tres nunca se combinan en una sola puntuación: las opiniones, las mediciones y la popularidad son cosas distintas.
Todavía no escribimos un resumen sencillo para este. Abajo están los datos que leímos del registro.
Elige la app de IA que usas y copia la configuración.
Necesitas
¿Qué app usas?
Elige tu app arriba. La recordamos, así que la próxima vez el botón dirá “Instalar en …”.
Descargar el archivo .mcpb del creador
El enlace lleva al archivo del propio creador; no lo alojamos ni lo reempaquetamos. Abre el archivo y Claude Desktop lo instalará.
Ejecuta esto en tu terminal
claude mcp add leis -- uvx leis-mcp servePégalo en .cursor/mcp.json de tu proyecto, o en ~/.cursor/mcp.json
{
"mcpServers": {
"leis": {
"command": "uvx",
"args": [
"leis-mcp",
"serve"
]
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Pégalo en .vscode/mcp.json de tu proyecto
{
"servers": {
"leis": {
"type": "stdio",
"command": "uvx",
"args": [
"leis-mcp",
"serve"
]
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Este se ejecuta en tu computadora, y ChatGPT solo puede conectarse a servidores en internet. Elige otra app.
Tu elección se guarda en una cookie en este dispositivo; no necesitas cuenta.
Esta configuración se genera a partir de la ficha del creador en el registro. Si el README dice otra cosa, sigue el README.
Se ejecuta en tu computadora; la lista de herramientas aparece en tu app de IA después de instalarlo.
Revisamos información que cualquiera puede ver; no hemos leído el código. Las revisiones que no aplican no se cuentan. · Revisado el 7 nov 2026
El nombre en el registro se verificó con la cuenta de GitHub mazulo, dueña del repo
Todavía no hemos leído este repo en GitHub
Todavía no hemos leído este repo en GitHub
Este se ejecuta en tu computadora; no hay endpoint en internet
Se ejecuta en tu computadora y usa ajustes locales en su lugar
Se ejecuta en tu computadora; solo podemos leer listas de herramientas de endpoints en internet
Comparado con todos los servidores activos de esta categoría en el registro. Las estrellas solo cuentan cuando quien lo publica es dueño del repo.
Superó 1 de 1 revisiones básicas aplicables. No hemos leído el código. Antes de agregar una clave o un token, revisa qué acceso pide el servidor y usa una clave que tenga solo los permisos que necesitas.
El registro no indica ninguna clave obligatoria, aunque algunos servidores te piden iniciar sesión la primera vez que los usas.
Se ejecuta en tu computadora. Tu app de IA lo inicia cuando hace falta, y los datos no pasan por los servidores del creador (a menos que el propio servidor llame a un servicio en línea).
El repo de GitHub cambió por última vez –, y la última versión (0.2.0) llegó al registro hace 3 días.
Las apps compatibles con MCP, como Claude Desktop, Claude Code, Cursor y VS Code. También necesitas Python (uv), MCPB en tu computadora.
En la misma categoría: Spec Driven Development, Remote Desktop Commander, FlyDocs
Servidores de la misma categoría hechos por otros creadores, ordenados por estrellas.
Cómo leer una tarjeta:★ Estrellas de GitHubiTres pilares: reseñas · revisiones · usoiActualizado = fecha en que se publicó la última versión en el registroi
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.
Spec-driven development workflow: your agent works issues, sessions and the status lifecycle.
Copiado tal cual del repo del creador. PopNx MCP no lo ha revisado ni lo respalda. Se quitaron HTML, imágenes y scripts. Los enlaces llevan fuera de este sitio.
Início rápido · Ferramentas · Clientes · Como funciona · Limitações
Clique na imagem para ver a demonstração (25 s, com música).
leis-mcp é um servidor MCP que dá ao Claude Code, ao Claude Desktop, ao Cursor, ao VS Code, ao Codex e a qualquer cliente MCP acesso à legislação brasileira do repositório público ctresb/leis. Em vez de parafrasear de memória, o assistente busca a norma, lê o dispositivo e cita o texto exato, com a fonte oficial e os avisos de revogação.
ler_artigo("8245/1991", "23", inciso="III")
→ "III - restituir o imóvel, finda a locação, no estado em que o recebeu, salvo as deteriorações decorrentes do seu uso normal;"
[!IMPORTANT]
O texto é convertido automaticamente das fontes oficiais e pode conter erros de conversão ou OCR. Ele não substitui a publicação no Diário Oficial. Toda resposta do servidor traz o link
fontee esse aviso.
art. 23, III).normas.leg.br, LexML) e o caminho no acervo.CLT, CDC, LGPD, lei do inquilinato…).[!TIP]
Usa o Claude Desktop e não quer mexer no terminal? Baixe o leis-mcp.mcpb e abra o arquivo. O Claude Desktop mostra a tela de instalação e cuida do resto, inclusive do Python.
Requisito: uv. O ripgrep (rg) é recomendado.
uvx leis-mcp index # baixa o índice pronto (~100 MB, só na primeira vez)
claude mcp add leis -- uvx leis-mcp serve
Pronto. Pergunte ao Claude: *"O inquilino é obrigado a devolver o imóvel como recebeu? Cite a lei."*
[!TIP]
uvx leis-mcp warmpré-carrega as ~40 normas dos apelidos, para quebuscar_textosemnormajá tenha onde procurar.
A partir do código-fonte
git clone https://github.com/mazulo/leis-mcp && cd leis-mcp
uv sync uv run leis-mcp index claude mcp add leis -- uv --directory "$PWD" run leis-mcp serve
| Ferramenta | Para quê |
|---|---|
buscar_norma(referencia?, numero?, ano?, tipo?, esfera?, uf?, limite) | Acha a norma e devolve os metadados do cabeçalho (título, ementa, data, revogada, versao_texto), o caminho, o link do GitHub e a fonte. Aceita "8.245", "8245/1991", "Lei 8.245/91", "Lei nº 8.245, de 18 de outubro de 1991", "LC 123/2006", "DL 5.452" e apelidos. |
ler_artigo(norma, artigo, paragrafo?, inciso?, alinea?, bloco?) | Devolve o texto exato do dispositivo, o caput como contexto, a citação e os avisos. |
buscar_texto(consulta, norma?, esfera?, tipo?, ano?, uf?, limite) | Procura uma palavra ou trecho numa norma (baixada na hora) ou em todas as normas já em cache. Ignora acentos e maiúsculas e indica o artigo de cada ocorrência. |
listar_normas(esfera?, tipo?, ano?, uf?, municipio?, orgao?, limite, offset) | Navegação em níveis: esfera, depois tipo, UF ou órgão, depois ano, depois a lista de normas. |
Recurso leis://apelidos | Lista os apelidos aceitos. |
Exemplo de resposta de ler_artigo("8245/1991", "23", inciso="III")
{
"norma": {"titulo": "Lei nº 8.245 de 18/10/1991", "ementa": "Dispõe sobre as locações dos imóveis urbanos…", "revogada": false, "versao_texto": "compilada (texto vigente)", "caminho": "federal/leis-ordinarias/1991/lei-8245-1991-10-18.md"}, "dispositivo": {"citacao": "art. 23, III", "texto": "III - restituir o imóvel, finda a locação, no estado em que o recebeu, salvo as deteriorações decorrentes do seu uso normal;", "caput": "Art. 23. O locatário é obrigado a:"}, "avisos": [], "fonte": "https://normas.leg.br/?urn=urn:lex:br:federal:lei:1991-10-18;8245", "aviso_legal": "Texto convertido automaticamente das fontes oficiais (…). Não substitui a publicação no Diário Oficial." }
Apelidos aceitos
constituição/CF, ADCTcódigo civil/CC, CPC, código penal/CP, CPP, CLT, CDC, CTN, CTB, código eleitoral, código florestalECA, estatuto do idoso, estatuto da OAB, estatuto da cidade, estatuto do desarmamento, LBIlei do inquilinato, lei dos juizados, LGPD, marco civil da internet, maria da penha, nova lei de licitações, lei de improbidade administrativa, lei de drogas, LEP, lei de falências, LINDB, lei do mandado de segurança, lei da ação civil pública, LAI, LRF, simples nacional, lei anticorrupção, lei de arbitragem, lei de abuso de autoridade| Pergunta ao Claude | O que o servidor faz |
|---|---|
| "O inquilino é obrigado a devolver o imóvel como recebeu? Cite a lei." | ler_artigo("lei do inquilinato", "23", inciso="III") |
| "A caução do aluguel pode ficar em poupança?" | ler_artigo("8245/1991", "38", paragrafo="2") |
| "Serviço mal feito: o que o CDC garante?" | ler_artigo("CDC", "20") |
| "Preciso de advogado no juizado especial?" | ler_artigo("9099/1995", "9") |
| "O que diz o ADCT, art. 10?" | ler_artigo("ADCT", "10") |
| "Onde a CLT fala em grupo econômico?" | buscar_texto("grupo econômico", norma="CLT") |
Funciona em qualquer cliente MCP. Todos rodam o mesmo comando, uvx leis-mcp serve, depois de um uvx leis-mcp index. A maioria aceita esta configuração padrão:
{
"mcpServers": { "leis": { "command": "uvx", "args": ["leis-mcp", "serve"] } } }
[!NOTE]
Apps de interface gráfica no macOS (Claude Desktop, Cursor, Windsurf) nem sempre herdam o
PATHdo terminal. Se o cliente não achar ouvx, troque"uvx"pelo caminho absoluto quewhich uvxmostra.
Claude Code
claude mcp add leis -- uvx leis-mcp serve
Use -s user para disponibilizar em todos os projetos e -s project para gravar em .mcp.json.
Claude Desktop
O jeito mais simples é a extensão: baixe o leis-mcp.mcpb, abra o arquivo e clique em Instalar. Não precisa de terminal, uv nem Python: o Claude Desktop instala tudo. Na primeira pergunta ele baixa o índice (~100 MB), o que leva um ou dois minutos.
Para configurar à mão, use a configuração padrão em claude_desktop_config.json (macOS: ~/Library/Application Support/Claude/, Windows: %APPDATA%\Claude\). O atalho é *Settings → Developer → Edit Config*. Reinicie o app depois de salvar.
Cursor
Clique no botão Instalar no Cursor acima, ou use a configuração padrão em ~/.cursor/mcp.json (global) ou .cursor/mcp.json (no projeto).
VS Code (GitHub Copilot)
Clique no botão Instalar no VS Code acima, ou rode:
code --add-mcp '{"name":"leis","command":"uvx","args":["leis-mcp","serve"]}'
Para registrar só no projeto, crie .vscode/mcp.json. Repare que a chave aqui é servers:
{
"servers": { "leis": { "type": "stdio", "command": "uvx", "args": ["leis-mcp", "serve"] } } }
Windsurf
Use a configuração padrão em ~/.codeium/windsurf/mcp_config.json, ou pelo painel do Cascade em *MCP Servers → Configure*.
Codex (OpenAI)
codex mcp add leis -- uvx leis-mcp serve
Ou em ~/.codex/config.toml:
[mcp_servers.leis]
command = "uvx" args = ["leis-mcp", "serve"]
Gemini CLI
Use a configuração padrão em ~/.gemini/settings.json (global) ou .gemini/settings.json (no projeto).
GitHub Copilot CLI
Rode /mcp add dentro do Copilot CLI, ou edite ~/.copilot/mcp-config.json:
{
"mcpServers": { "leis": { "type": "local", "command": "uvx", "args": ["leis-mcp", "serve"], "tools": ["*"] } } }
opencode
Em ~/.config/opencode/opencode.json:
{
"$schema": "https://opencode.ai/config.json", "mcp": { "leis": { "type": "local", "command": ["uvx"
Solo se muestra el principio; lee el resto en el repo