pk-eli-mcp

pk-eli-mcp

パキスタン法を扱う MCP サーバーです。連邦法令967件とパキスタン最高裁判所の判決1,414件の全文を収録し、すべての応答に厳格な引用ルールを適用します。

パキスタンには機械可読な法律APIがないため、このコネクターはコーパスベースです。政府のエンドポイントにリアルタイムで問い合わせる代わりに、公式情報源を基にした2つの公開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 - 人が同じ文書を読める 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 として配置してください。

Smart App Control を有効にした Windows 11

Smart App Control は署名のない実行ファイルをブロックします。これには 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 もブロックされるため、pip install ではなく python -m pip でインストールしてください。python が PATH にない場合は、Windows ランチャーを使用してください：py -3 -m pk_eli_mcp。

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

回避策として Smart App Control を無効にしないでください。無効にすると、Windows を再インストールしない限り再度有効にできません。

設定

環境変数	デフォルト	用途
PK_ELI_CACHE_DIR	~/.matematic/cache/pk-eli	コーパスファイルと HTTP キャッシュ
PK_ELI_AUDIT_DIR	~/.matematic/audit	JSONL 監査ログ（ツール呼び出しごとに 1 行）
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)

ガバナンス

設計上、読み取り専用です。このサーバーは検索と取得はできますが、書き込みはできません。各ツール呼び出しでは、SHA-256 入力ハッシュ、所要時間、ステータスを含む監査行（~/.matematic/audit/pk-eli-mcp.jsonl）が追加されます。このコネクターの基盤となるルールについては CONSTITUTION.md を、ソースの選定方法については DISCOVERY.md を参照してください。

ライセンス

このコードは Apache-2.0 です。データセットにはそれぞれ独自のライセンス（ODC-BY 1.0 および MIT）が適用されます。基礎となるテキストは、パキスタン政府の公開法的文書です。