pk-eli-mcp

pk-eli-mcp

巴基斯坦法律 MCP 服务：包含 967 部联邦法规和 1,414 份巴基斯坦最高法院判决全文，并严格要求每条回复遵循引文规范。

巴基斯坦没有发布机器可读的法律 API，因此此连接器基于语料库：它提供官方来源的两个公开 HuggingFace 镜像，而不是实时查询政府端点。

集合	来源	快照日期	许可证
联邦法规（967 部）	Pakistan_Laws_Dataset，收集自 pakistancode.gov.pk 上的 PDF（法律与司法部）	2025-01-30	ODC-BY 1.0
最高法院判决（1,414 份）	supreme-court-of-pak-judgments	2024-07-26	MIT

**重要限制，先行说明：**两个集合都是静态快照。2025-01-30 之后的修订和 2024-07-26 之后的判决均不包含在内，判决语料库也只是法院全部判决的一部分。每条回复都会在 dataset_note 中重申这一点。依赖某项法律条文前，请先到 pakistancode.gov.pk 和 scp.gov.pk 核实其时效性。

工具

工具	功能
pk_search_laws	对 967 部联邦法规进行关键词搜索（按标题加权）。首次调用会下载一次 47 MB 的语料库，此后从缓存提供服务。
pk_get_law	按 law_id 获取法规全文（截断至约 300,000 个字符）。
pk_case_search	在服务端对最高法院判决进行全文搜索。
pk_get_decision	按 row_idx 或登记号 case_id 获取一份判决全文。
pk_verify_citations	防止幻觉：从任意文本中提取巴基斯坦法律引文，并逐一对照语料库进行核验。
pk_coverage	说明此连接器涵盖的内容、各类资料的收录时间，以及明确说明未涵盖的内容。每项缺口都附有备用方案。

引文核验（pk_verify_citations）

在草拟的答复、备忘录或诉状交给读者前，使用此工具进行核验。工具会提取所有可核查的引文，并对照语料库逐一核验：

• 法规条款：section 302 of the Pakistan Penal Code、 section 10A of the Pakistan Study Centres Act, 1976、sections 6 and 7 of ...、 sub-section (1) of section 6 of ...；
• 法案编号：Act No. XLV of 1860、Ordinance No. LII of 2000（罗马数字或阿拉伯数字）；
• 宪法条文：Article 184(3) of the Constitution（必须带有末尾限定语——单独的 Article 5 可能指任何法律文件，因此会被有意忽略）；
• 最高法院登记号引文：Crl.A. 93/2013、Criminal Appeal No. 93 of 2013。

核验规则有意设得较为严格：

• 引用的条款不存在时，整个结果会变为 HALLUCINATION_DETECTED，并设置 isError=true，同时提供实际存在范围的提示（section 999 does not exist in this act; 59 sections are machine-detectable in its text, numbered section 1-66）。
• NO_CITATIONS_FOUND 并不表示核验成功，而是表示没有可核查的内容。
• 引文后紧接的括号说明（section 302 of the Pakistan Penal Code (punishment of qatl-i-amd)）会通过字符三元组匹配，与实际条文文本进行内容核查。不匹配只会作为复核提示，不会直接阻止结果。
• 工具无法核查的内容都会列在结构化的 gaps 字段中。判决语料库只是部分判决，而且约有一半法规 PDF 没有机器可读的坐标标题，因此无法解析的引文会报告为 out_of_corpus（“存在性未知，尚未证伪”），而不是幻觉。

解析—核验—报告模式借鉴自 korean-law-mcp（MIT），详见 THIRD_PARTY.md。相同模式最早随 it-eli-mcp v0.6.0 发布；整个服务群的推广计划见 docs/VERIFY-ROLLOUT.md。

引用规范

巴基斯坦尚未部署 ELI。每个响应仍遵循整套规范：

• eli_uri - 稳定且可解析的 URL：法规使用 pakistancode.gov.pk 上的规范 PDF，判决使用数据集行 URI。绝不臆造；参见 eli_note。
• human_readable_citation - 例如 THE PRIVATISATION COMMISSION ORDINANCE, 2000 或 Supreme Court of Pakistan, Crl.A. 93/2013。
• source_url - 人们可以阅读同一份文档的网址。

安装

作为 Claude 插件（Claude Code 或桌面应用，需要 uv）； 关于插件会发送和存储的内容，请参阅 plugin/README.md：

/plugin marketplace add matematicsolutions/pk-eli-mcp
/plugin install pk-eli-mcp@pk-eli-mcp

作为独立服务：

uvx pk-eli-mcp          # or: pip install pk-eli-mcp

Claude Code：

claude mcp add pk-eli-mcp -- uvx pk-eli-mcp

或者将 .mcp.json.example 放入项目，并命名为 .mcp.json。

Windows 11 上的智能应用控制

智能应用控制会阻止未签名的可执行文件，包括 uvx.exe、pip.exe 以及 pip 在安装时写入的 pk-eli-mcp.exe 启动器。来自 python.org 安装程序的 python.exe 和 py.exe 由 Python Software Foundation 签名，因此通过解释器运行模块即可：

python -m pip install pk-eli-mcp
python -m pk_eli_mcp

出于同样的原因，pip.exe 也会被阻止，因此请使用 python -m pip 安装，而不是 pip install。如果 PATH 中没有 python，请使用 Windows 启动器：py -3 -m pk_eli_mcp。

{ "mcpServers": { "pk-eli-mcp": { "command": "python", "args": ["-m", "pk_eli_mcp"] } } }

请勿为了绕过此问题而关闭智能应用控制——重新安装 Windows 后才能重新启用它。

配置

环境变量	默认值	用途
PK_ELI_CACHE_DIR	~/.matematic/cache/pk-eli	法规库文件 + HTTP 缓存
PK_ELI_AUDIT_DIR	~/.matematic/audit	JSONL 审计日志（每次工具调用一行）
PK_ELI_CORPUS_URL	此仓库最新 GitHub 发布版本中的 pk-laws-corpus.json.gz 资源	法规库镜像；设为 '' 可跳过镜像，直接下载固定版本的 Hugging Face 修订版（Claude 插件会这样做）

网络：法规搜索在本地法规库中运行；判决搜索会将查询发送到 Hugging Face 的公共 datasets-server。法规库只会下载一次，来源为上述镜像或 Hugging Face。无 LLM 提供商，无遥测。

开发

python -m venv .venv && .venv/Scripts/pip install -e ".[dev]"   # Linux/macOS: .venv/bin/pip
ruff check src tests
pytest tests/test_instructions_drift.py tests/test_corpus.py   # offline
pytest tests/test_smoke.py                                     # live (downloads the corpus)

治理

按设计仅支持只读：服务可以搜索和获取内容，但绝不写入。每次工具调用都会追加一条审计日志（~/.matematic/audit/pk-eli-mcp.jsonl），记录 SHA-256 输入哈希、耗时和状态。关于本连接器所遵循的规则，请参阅 CONSTITUTION.md；关于来源的选择方式，请参阅 DISCOVERY.md。

许可证

此代码采用 Apache-2.0 许可证。数据集各自保留其许可证（ODC-BY 1.0 和 MIT）；底层文本是巴基斯坦政府的公共法律文件。