LeashIndex Get the report

Index / devtools

io.github.matematicsolutions/br-eli-mcp

io-github-matematicsolutions-br-eli-mcp declares 15 capabilities across 15 tools, with 1 critical issue. One of them, no-revocation, is recorded for every server in the index because MCP has no field in which to declare a way to switch a tool off; a missing declaration is not evidence that the control is missing.

25/100 exposureModerate

Manifest recorded 2026-10-27 from tools/list answered by the PyPI package br-eli-mcp==0.8.3 (published to PyPI as br-eli-mcp, listed in the official MCP registry as io.github.matematicsolutions/br-eli-mcp 0.8.3), run in an isolated container with no network access and no credentials. The date changes only when the manifest does. Not verified by a maintainer.

Issues

These describe what this server's manifest declares. A product can provide controls that MCP has no way to express — token revocation, an admin console, audit logs — and this page cannot see them. The absence of a declaration is not evidence that a control is absent.

critical · no-revocation · All 15 tools

15 of 15 tools declare no way for the customer to switch them off once granted. This applies to every tool because MCP has no field in which to declare a revocation mechanism; the product may provide one outside MCP that a manifest cannot show.

high · no-expiry · All 15 tools

15 of 15 tools declare no expiry. This applies to every tool because MCP has no field in which to declare an expiry; the product may provide one outside MCP that a manifest cannot show.

high · no-audit-trail · All 15 tools

15 of 15 tools declare no record of their actions that the customer can read. This applies to every tool because MCP has no field in which to declare an audit requirement; the product may provide one outside MCP that a manifest cannot show.

low · uncapped-read · All 15 tools

15 tools can read data and declare no limit.

Declared capabilities

How each tool was read. declared means the server's own annotation said so — self-reported and unverified. inferred is from the tool's name. assumed means nothing indicated either way.

ToolRead asBasis
br_search_proposicoesread declared
br_get_proposicaoread declared
br_get_normaread declared
br_get_norma_indexread declared
br_get_norma_textoread declared
br_search_processosread declared
br_get_processoread declared
br_search_case_stjread declared
br_get_case_stjread declared
br_get_case_carfread declared
br_search_case_tstread declared
br_get_case_tstread declared
br_search_case_tcuread declared
br_coverageread declared
br_get_case_tcuread declared
Answering this question about your own agent? The self-serve stack report applies the same reading to your own stack or server and gives you a dated document you can hand to a customer's security review. It is generated in your browser, with nobody to wait for. Buying one does not change this page, its score or its place in the index — see Independence.
Maintain this server? If this page misreads your manifest, or your server has changed, submit its current tools/list response and it will be re-scored and dated. Corrections are published alongside the original, not in place of it.