Pk Eli MCP server

pk-eli-mcp

<!-- mcp-name: io.github.matematicsolutions/pk-eli-mcp -->

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

Citation verification (pkverifycitations)

Run it on a drafted answer, memo or pleading before it reaches a reader. The tool extracts every checkable citation and verifies it against the corpus:

section 10A of the Pakistan Study Centres Act, 1976, sections 6 and 7 of ..., sub-section (1) of section 6 of ...;

• statute sections: section 302 of the Pakistan Penal Code,

a bare Article 5 could be any instrument and is deliberately ignored);

• act coordinates: Act No. XLV of 1860, Ordinance No. LII of 2000 (Roman or Arabic);
• Constitution articles: Article 184(3) of the Constitution (the tail is required -

• Supreme Court registry citations: Crl.A. 93/2013, Criminal Appeal No. 93 of 2013.

The semantics are deliberately hard:

with isError=true, plus a range hint of what does exist (section 999 does not exist in this act; 59 sections are machine-detectable in its text, numbered section 1-66).

• A cited section that does not exist makes the whole result HALLUCINATION_DETECTED

(section 302 of the Pakistan Penal Code (punishment of qatl-i-amd)) is content-checked against the real provision text with a character-trigram match. A mismatch is a review signal, never a hard block.

• NOCITATIONSFOUND is not a success - it means there was nothing to check.
• A parenthetical description right after a citation

judgment corpus is a subset and roughly half the statute PDFs carry no machine-readable coordinate header, so an unresolvable citation is reported as outofcorpus ("existence UNKNOWN, not disproven"), never as a hallucination.

• Everything the tool could NOT check is listed in a structured gaps field. The

Shortened. The full README is on GitHub.