プロトタイプ · プレビュー版:公式レジストリのすべてのサーバーを掲載し、30分ごとに同期しています。レビューとアカウント機能は今後のステップで始まります。
PopNx MCPAIを使う人のためのMCPサーバー · やさしい言葉で解説

Epistemic Integrity Framework (EIF)

作者:leocelisバージョン 4.2.0i★ –iクラウドで動く
レジストリ名io.github.leocelis/eif

インストール

概要

作者による説明(英語の原文)

Runtime gate for AI agent claims. Catches sycophantic drift, circular self-validation, causal errors

PopNx MCPの3つの柱

この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。

できること

このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。

  • 接続方法: クラウドで動く
  • トランスポート: SSE, Streamable HTTP
  • カテゴリ: その他
  • 入力が必要なもの:Authorization

インストール

使っているAIアプリを選んで、設定をコピーしてください。

インストールの前に

「秘密」と表示された値は、あなたのアカウントの鍵です。絶対に人に教えたり、チャットに貼り付けたりしないでください。

必要なもの

どのアプリを使っていますか?

上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。

このアドレスはリクエストの header にキーが必要ですが、コネクタを追加するメニューでは設定できません。代わりにClaude Code、Cursor、VS Codeを使ってください。

ターミナルでこれを実行します

claude mcp add --transport sse eif https://eif.leocelis.com/sse --header 'Authorization: Bearer {api_key}'

動かす前に、空欄の値を入力してください。

Cursorで開く

または、設定を自分でコピーする

プロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます

{
  "mcpServers": {
    "eif": {
      "url": "https://eif.leocelis.com/sse",
      "headers": {
        "Authorization": "Bearer {api_key}"
      }
    }
  }
}

ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。

VS Codeで開く

または、設定を自分でコピーする

プロジェクトの .vscode/mcp.json に貼り付けます

{
  "servers": {
    "eif": {
      "type": "sse",
      "url": "https://eif.leocelis.com/sse",
      "headers": {
        "Authorization": "Bearer {api_key}"
      }
    }
  }
}

ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。

このアドレスはリクエストの header にキーが必要ですが、コネクタを追加するメニューでは設定できません。代わりにClaude Code、Cursor、VS Codeを使ってください。

選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。

自分で入力する値

  • Authorization 秘密 必須 HTTP header
    API key for the EIF hosted server. Request one at https://github.com/leocelis/eif/discussions

この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。

できること

このサーバーは、ツール一覧を表示する前にサインインを求めます。

基本チェックi

誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月6日にチェック

  • ✓ 合格

    作者とリポジトリが一致

    レジストリ名は、リポジトリを所有するGitHubアカウント leocelis で確認済みです

  • … 未チェック

    今もメンテナンスされている

    このリポジトリはまだGitHubから読み取っていません

  • … 未チェック

    ライセンスがある

    このリポジトリはまだGitHubから読み取っていません

  • ✓ 合格

    エンドポイントが応答する

    592ミリ秒で応答(HTTP 401)

  • ! 注意

    OAuthでサインイン

    キーやトークンを自分でコピーして貼り付ける必要があります

  • … 未チェック

    ツールの説明に隠れた指示がない

    まだチェックしていません。エンドポイントをチェックするときにツール一覧を読み取ります

その他のほかのサーバーとの比較i

  • このカテゴリのほかの32433件のうち0%よりスターが多い
  • このカテゴリのほかの32433件のうち98%より最近レジストリに公開
  • 基本チェックの結果が、このカテゴリのほかの32433件のうち37%と同じかそれ以上

レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。

よくある質問

Epistemic Integrity Framework (EIF)は安全ですか?

当てはまる基本チェック3項目のうち2項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。

どんなキーやコードが必要ですか?

入力が必要なもの:Authorization

パソコンで動きますか、それともクラウドですか?

作者のクラウドで動きます。インストール不要でインターネット経由でつながりますが、送った内容は作者のサーバーを通ります。

今もメンテナンスされていますか?

GitHubリポジトリの最終更新は–、最新バージョン(4.2.0)がレジストリに届いたのは昨日です。

どのアプリで使えますか?

Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。URLでつながるので、リモートMCPサーバーに対応したアプリ(開発者モードのChatGPTなど)でも使えます。

代わりに使えるものは?

同じカテゴリには:Spec Driven Development, Remote Desktop Commander, Symantec Cloud DLP AIops

代わりの候補

同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。

カードの見方:★ GitHubスターi3つの柱:レビュー · チェック · 利用状況i更新=最新バージョンをレジストリに公開した日i

Remote Desktop Commander

作者:desktop-commander

Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.

クラウドで動く★ 211昨日更新
インストール

作者のREADME

READMEを開く

作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。

EIF - Epistemic Integrity Framework

Apply the scientific method to every assumption your AI agent makes.


The problem

AI agents compound errors. Each assumption that goes unchallenged becomes the foundation for the next one. A 90%-accurate agent running 10-step tasks produces correct output only 35% of the time - that's the compound error curve. That 0.9^10 curve is an upper bound: it assumes independent, non-recoverable per-step errors, whereas real pipelines have correlated and recoverable steps, so EIF's value is framed as reducing the error rate per load-bearing step rather than as the literal compound figure. In high-stakes domains (compliance, engineering decisions, financial advice), this translates to real cost.

The dominant source of that cost is not hallucinated facts, but unchallenged assumptions that are never tested against evidence.


What EIF does

EIF goes past a naive hallucination check: it tests each claim against independent evidence before the agent acts, then routes it to ACT, REVISE or HALT.

EIF is a Python library and MCP server that runs an 8-phase scientific-method pipeline on every load-bearing assumption in an agent's response:

DECLARE          → name every assumption: KNOWN / ASSUMED / GUESSED

FALSIFY → collect independent evidence via P1 code, P2 tools, P3 web search CAUSAL_GATE → check Pearl causal level; flag confounders and disjunctive bias CALIBRATE → Bayesian posterior update (prior × likelihood → route) CHALLENGE → adversarial critic produces counter-evidence and competing hypothesis UPDATE → sequential Bayes update; EIG stopping rule EXPLAIN → hard-to-vary check (Deutsch): every detail must be functionally irreplaceable RECORD → provenance record with EU AI Act compliance mapping

Plus auxiliary gates that run before/after the core loop:

INPUT_GUARD      → detect adversarial or manipulative inputs before the pipeline runs

SYCOPHANCY_GATE → detect position drift, unfaithful CoT, and face-preserving framing HYPOTHESIS_AGENDA → rank claims by Expected Information Gain before FALSIFY REPLICATE → pre-registered replication protocol for cross-session reproducibility PROGRAMME → Lakatos health monitor: PROGRESSIVE / STABLE / DEGENERATIVE

At the end of each turn, EIF routes the agent's output:

  • ACT - posterior ≥ threshold, evidence supports, safe to proceed
  • REVISE - some assumptions unresolved, moderate confidence
  • HALT - evidence contradicts a HIGH-consequence claim; do not proceed

Corpus evidence

EIF was validated against 14 multi-agent conversation scenarios across 5 domains (clinical, engineering, compliance, investment, M&A).

Scope note: the 14-scenario corpus is constructed and illustrative - it demonstrates the mechanisms, not field results. A separate field-validation track on real agent traffic is the basis for production false-positive measurement. EIF can also estimate a modeled dollar cost per HALT-routed claim (a distinct feature); those figures and their methodology live in validation/CORPUS_REPORT.md, not here.

ScenarioDomainTurnsHALTREVISEACT
S8v31 ML Model Deployment (FDA SaMD)clinical6600
S7v31 Code Review / API Securityengineering6510
S6v31 Investment Decision - Series Ainvestment6510
S10 Sycophancy Validationinvestment6510
S11 Sycophancy Market Gapinvestment9420
S20 Sycophancy Full-Signalcompliance6402
S18 Reasoning Theatercompliance6213
S19b Model Scaling Ablation (gpt-4o)investment6231
S16 REVERSED CEP - Beta-carotene/CARETclinical3120
S15 CAUSAL_GATE v4 - Phase 3 Protocolclinical6114
S9v31 M&A Due Diligencemanda6042
S14 EXPLAIN Cold-Start Baselineengineering6000
S17 Disjunctive Bias - clinical supplementsclinical6042
S19a Model Scaling Ablation (gpt-4o-mini)investment6051
TOTAL84352515

P4 (circular LLM self-validation) rate: 0.0% across all 14 scenarios. Every piece of evidence came from an independent source - executable code, coordinator tool outputs, or live web search.

Full evidence: validation/CORPUS_REPORT.md. Per-scenario reports available on request via GitHub Discussions.


Quick start

pip install -e ".[mcp]"   # local dev (the MCP extra powers the examples below)

or: uvx --from 'eif-engine[mcp]' eif-mcp-server # zero-install stdio MCP server

Two-tool path (recommended for first session)
import asyncio

from eif import session as session_store from eif.mcp_server.server import eif_extract_claims_from_decision, eif_verify

async def run(): sess = await session_store.new_session() sid = sess.session_id

Step 1: Describe the agent's decision in plain English.

EIF extracts 2-4 load-bearing claims automatically (no JSON required).

extracted = eif_extract_claims_from_decision( "Commission a 10-article series on Hollow Ascent. " "The game has 5,000+ IGDB hype followers and strong community demand." )

Step 2: Run the full pipeline - declare, falsify, calibrate, route.

If a claim is HALT-routed, halt_cards shows the blocked claim + evidence.

result = await eif_verify( session_id=sid, decision="Commission content series based on IGDB metrics", claims=extracted["claims"], )

print(f"Verdict: {result['verdict']}") # "HALT" or "PASS" for card in result["halt_cards"]: print(card)

asyncio.run(run())

Register a P0 host tool (highest-accuracy evidence tier)

When your agent has access to an authoritative data source (IGDB, your database, an internal API), register it as a P0 host tool. EIF calls it directly - no web search, no guessing.

from eif.falsify.evidence_collector import HostTool, HostToolRegistry

One function: takes a query string, returns the raw data as a string.

def igdb_lookup(query: str) -> str: import requests resp = requests.get("https://api.igdb.com/v4/games", ...) # your IGDB call return str(resp.json())

registry = HostToolRegistry([ HostTool( name="igdb_api", description="IGDB game database - hype count, ratings, community size", capability_keywords=["igdb", "hype", "game", "demand", "followers"], fn=igdb_lookup, data_scope="PUBLIC", ) ])

Pass the registry to eif_verify via host_tool_outputs (MCP path)

or directly to collect_evidence() in the Python integration layer.

P0 is the highest-priority evidence tier. Without a registered tool, EIF falls back to web search (P3), which can return false-positive SUPPORTS for specific numeric metrics. For production use, register the tool.

See examples/quickstart.py for a complete end-to-end example (a different scenario, an infrastructure-migration decision, walking DECLARE through EXPLAIN in one script).


MCP server (Cursor / Claude Code / Claude Desktop integration)

Per-client setup guides (register the server, install the rules block, verify, troubleshoot) live in docs/integrations/: Claude Code · Cursor · Claude Desktop. The short version:

Option A - hosted endpoint (private alpha, zero install):

Request a key by opening a Discussion, then add the config for your client.

Cursor (~/.cursor/mcp.json) and Claude Desktop (~/Library/Application Support/Claude/claude_desktop_config.json):

{

"mcpServers": { "eif": { "url": "https://eif.leocelis.com/sse", "headers": { "Authorization": "Bearer YOUR_KEY_HERE" } } } }

VS Code / GitHub Copilot (.vscode/mcp.json): use "servers" (not "mcpServers") and add "type": "http" to the entry.

The hosted endpoint is in private alpha. Everything below runs fully on your own machine with no key.

Option B - local venv (works today, fully self-hosted):

{

"mcpServers": { "eif": { "command": "/path/to/venv/bin/python", "args": ["-m", "eif.mcp_server.server"] } } }

Option C - uvx (zero-install, works today):

{

"mcpServers": { "eif": { "command": "uvx", "args": ["--from", "eif-engine[mcp]", "eif-mcp-server"] } } }

uv runs the executable matching the package name by default; since the console scripts are eif-mcp-server / eif-mcp-http-server (not eif-engine), --from is required. Bare uvx eif-engine fails with "An executable named eif-engine is not provided by package eif-engine".

EIF exposes 25 tools your agent can call:

Session (1 tool):

ToolWhat it does
eif_new_sessionCreate a session; every other tool requires its session_id

Core pipeline (8 tools):

ToolPhaseWhat it does
eif_get_context-Load EIF principles into agent context
eif_declareDECLARERegister and classify every assumption
eif_falsifyFALSIFYCollect independent evidence; run SPRT
eif_causal_gateCAUSAL_GATECheck Pearl causal level; flag confounders
eif_calibrateCALIBRATEBayesian posterior; compute routing
eif_challengeCHALLENGEAdversarial critic with counter-evidence
eif_updateUPDATESequential posterior update; EIG stopping
eif_explainEXPLAINHard-to-vary check on the mechanism

Gates and monitors (5 tools):

ToolWhat it does
eif_input_guardDetect adversarial or manipulative inputs
eif_sycophancy_gateDetect position drift, unfaithful CoT, face-preserving framing
eif_programme_healthLakatos health monitor for the session
eif_recordWrite provenance record; EU AI Act compliance mapping
eif_replicatePre-registered replication protocol

Calibration and agenda (4 tools):

ToolWhat it does
eif_record_outcomeLog a session's labeled outcome (true/false) for cross-session ECE calibration
eif_calibration_reportReturn ECE state, empirical prior, and sessions-to-grounded count
eif_catch_rate_reportEmpirical HALT catch-rate across all sessions for a domain
eif_hypothesis_agendaRank outstanding hypotheses by Expected Information Gain before FALSIFY

Utilities (7 tools):

ToolWhat it does
eif_verifyOne-call full pipeline: declare → falsify → calibrate → route
eif_extract_claims_from_decisionExtract structured claims from free-form agent text
eif_compliance_reportGenerate EU AI Act compliance report for a session
eif_provenance

冒頭だけを表示しています。続きはリポジトリで読めます

PopNxに聞く