io.github.mazulo/leis-mcp

Leis do Brasil

Is the Leis do Brasil MCP server down? No. It answered initialize and tools/list in the probe of 2026-11-14.

Busca e cita o texto oficial de mais de 1,2 milhão de normas brasileiras (ctresb/leis).

alive probed 2026-11-14

4tools

2.6ktokens in Claude Opus 5.5

1.3 %of Claude's 200k window

1.0×the median server

1.8 sto initialize

10 msto list tools

Run it: uvx leis-mcp@0.3.0 (stdio, probed in a container with the network off)
Host: pypi.org
Reports itself as: leis-brasil
Capabilities: prompts, resources, tools
Instructions: 960 characters
Of a 1M window: 0.3 % of a 1M context window
Count: 2.6k tokens in Claude Opus 5.5, exact, measured 2026-11-14. With the Claude Code prefix mcp__…__ on each tool name: 2.6k. The o200k_base estimate is 1.5k. Counted again when the tool definitions change. Method.
Repository: https://github.com/mazulo/leis-mcp
Website: https://github.com/mazulo/leis-mcp#readme
Registry: active, updated 2026-11-13 · registry entry
Changes: 2 recorded, reachable in 2 of them. A row is added when the result, the tool count or the cost changes.

Most expensive tools

The Claude column scales the o200k estimate of each tool by this server's ratio of exact to estimate, 1.74×.

Tool	≈ Claude tokens	o200k estimate	Share of this server
buscar_norma	740	425	29 %
ler_artigo	679	390	26 %
listar_normas	648	372	25 %
buscar_texto	496	285	19 %

Other registry entries on pypi.org, the ones next to this name; all of them.

proxy-scraper io.github.maximilianfeix/proxy-scraper · needs args
LN Church Agent MCP io.github.mayim-mayim/ln-church-agent-mcp · needs args
mAG Agent SDK MCP io.github.mayim-mayim/mayim-agent-mcp · needs args
Cities2 MCP and Modding Toolkit io.github.mayor-modder/cities2-mcp · alive
io.github.mbk-dev/okama-mcp · needs args
io.github.mbrionesalvarez/caddie-mcp · alive
Power BI Analyst MCP io.github.mbrummerstedt/powerbi-analyst-mcp · crashed on start
io.github.mcande21/thealgorithms-mcp · needs mcp<2

Servers that mention leis.

Stalsoft – Dr. Alex Stolz, IT- und KI-Beratung com.stalsoft/stalsoft · alive
Ardaro Agent Runtime Utilities io.github.ashevilleislove/ardaro-agent-utilities · alive
Ardaro Purchase Document Review io.github.ashevilleislove/ardaro-receipt-intelligence · alive
Korea Ocean Leisure io.github.sean-park-funda/korea-ocean-mcp · not found
Global FinReg com.globalfinreg/lei · alive
UK company & compliance data si.fourzerotwo/uk-business · alive
C64 Bridge io.github.chrisgleissner/c64bridge · crashed on start
Mercadopleis io.github.castiquark/mercadopleis · server error

We add a row when the result changes. A server with no change keeps its last row.

Probed	Result	Init	Tools	Claude	o200k
2026-11-14 08:08	alive	1.7 s	4	2.6k	1.5k
2026-11-04 08:06	alive	1.8 s	4	2.5k	1.4k

The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.

Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.