matematicsolutions-pk-eliSAFE
MCP server for Pakistani law: search and cite 967 federal statutes and 1,414 Supreme Court judgments, full text, with a strict citation contract.
Overview
From the repository's own README, as read at the audited commit. Badges and raw HTML are left out.
MCP server for Pakistani law: 967 federal statutes and 1,414 Supreme Court of Pakistan judgments, full text, with a strict citation contract on every response.
Pakistan publishes no machine-readable legal API, so this connector is corpus-based: it serves two public HuggingFace mirrors of official sources instead of querying a government endpoint live.
Honest limits, stated up front: both collections are static snapshots. Amendments after 2025-01-30 and judgments after 2024-07-26 are absent, and the judgment corpus is a subset of the Court's output. Every response repeats this in dataset_note. Verify currency against pakistancode.gov.pk and scp.gov.pk before relying on a provision.
Tools
6b16bb00daadOBSERVED · 2026-10-12Connect
Built from this server's own package name, version and transport as found in its source — not copied from anyone's documentation, so it cannot drift against a page we do not control.
claude mcp add pk-eli-mcp -- uvx pk-eli-mcp==0.4.4
Exposed tools (5)
5 read · 0 write · 0 destructive.
| Tool | Risk | Description |
|---|---|---|
pk_case_search | read | Full-text search over 1,414 Supreme Court of Pakistan judgments (server-side). |
pk_coverage | read | Declare what this connector covers, how it is sourced, and what it does NOT cover. |
pk_get_decision | read | Fetch one Supreme Court judgment |
pk_get_law | read | Fetch the full text of one federal statute. Large statutes are truncated. |
pk_search_laws | read | Keyword search over Pakistan |
Trust audit
SAFEgrade B · trust 89/100 Nothing in the source contradicts what it says it does. Grade A is reserved for packages that have also passed the behavioural sandbox.
| Layer | What it checks | Result |
|---|---|---|
| L0 | Provenance & inventory | PASS |
| L1 | Static analysis of the code | PASS |
| L2 | Instruction surface (what it tells the agent) | PASS |
| L3 | Class-specific surface | PASS |
| L4 | Behavioural (sandbox) | SKIPPED |
What the source does
- Filesystem
- none-observed
- Network
- declared (5 observation(s))
- Shell
- none-observed
- Dependencies
- pinned
- Secrets in source
- none-found
Findings (7)
.mcp.json.example
.publication-gate.json
yield root, f"http://127.0.0.1:{httpd.server_address[1]}"monkeypatch.setenv("PK_ELI_CORPUS_URL", "http://127.0.0.1:1/nope.json.gz")monkeypatch.setattr(corpus, "LAWS_DATA_URL", "http://127.0.0.1:1/dead.json")
monkeypatch.setenv("PK_ELI_CORPUS_URL", "http://127.0.0.1:1/nope.json.gz")monkeypatch.setattr(corpus, "LAWS_DATA_URL", "http://127.0.0.1:1/dead.json")
Gates applied: no_behavioural_pass.
6b16bb00daadfull audit observations/trust-audit/mcp-server/matematicsolutions__pk-eli-mcp.json · Report an issue / request a re-scanAudit history
Every audit this server has had. A grade with a past is a grade somebody is still checking.
| Date | Source | Verdict | Grade | Score | Change |
|---|---|---|---|---|---|
| 2026-10-12 | 6b16bb00daad | SAFE | B | 89 | first audit |
Questions
What is the matematicsolutions-pk-eli MCP server?
MCP server for Pakistani law: search and cite 967 federal statutes and 1,414 Supreme Court judgments, full text, with a strict citation contract.
What tools does matematicsolutions-pk-eli expose?
5 in total: 5 read-only, 0 that write, and 0 that can delete or overwrite. Every one is listed on this page with its risk.
Is matematicsolutions-pk-eli safe to connect to an agent?
The audit found nothing in the source that contradicts what it says it does, and graded it B (89/100). Grade A is held back for packages that have also passed a sandboxed behavioural run, which is why a clean server reads B.
What credentials does matematicsolutions-pk-eli need?
No credential environment variables were found in its source, so it appears to need none.
How does matematicsolutions-pk-eli run?
It speaks stdio, so it runs as a local process your client starts. It is published on PyPI as pk-eli-mcp.
How current is this page?
The grade is for one exact copy of the source (6b16bb00daad), read on 2026-10-12. The repository is watched and re-audited when it changes.