Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者提供的说明(英文原文)
Runtime gate for AI agent claims. Catches sycophantic drift, circular self-validation, causal errors
这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
选择你使用的 AI 应用,然后复制设置。
Authorization标为机密的值是你账户的钥匙。千万不要分享给别人,也不要粘贴到聊天里。
你需要
你用的是哪个应用?
在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。
这个地址需要在请求的 header 中放入密钥,而添加连接器的菜单无法设置。请改用 Claude Code、Cursor 或 VS Code。
在终端中运行这条命令
claude mcp add --transport sse eif https://eif.leocelis.com/sse --header 'Authorization: Bearer {api_key}'运行前请先填写空着的值。
粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json
{
"mcpServers": {
"eif": {
"url": "https://eif.leocelis.com/sse",
"headers": {
"Authorization": "Bearer {api_key}"
}
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
粘贴到项目中的 .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这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。
服务器要求先登录,才会列出它的工具。
我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月6日
注册名称已通过 GitHub 账户 leocelis 验证,该账户拥有此仓库
我们还没有从 GitHub 读取这个仓库
我们还没有从 GitHub 读取这个仓库
在 592 毫秒内响应(HTTP 401)
需要你自己复制粘贴密钥或令牌
尚未检查;我们会在检查端点时读取工具列表
与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。
它在 3 项适用的基础检查中通过了 2 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。
你需要填写:Authorization
它在作者的云端运行。通过互联网连接,无需安装,但你发送的内容会经过作者的服务器。
GitHub 仓库最后更新于–,最新版本(4.2.0)于昨天进入注册中心。
支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。它通过 URL 连接,所以接受远程 MCP 服务器的应用也可以使用,例如开启开发者模式的 ChatGPT。
同一分类中有:Spec Driven Development, Remote Desktop Commander, Symantec Cloud DLP AIops
同一分类中其他作者的服务器,按星标数排序。
如何看卡片:★ GitHub 星标i三大支柱:评价 · 检查 · 使用情况i更新 = 最新版本发布到注册中心的时间i
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Governed Symantec Cloud DLP — 14 MCP tools, read-only with audit.
按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。
EIF - Epistemic Integrity Framework
Apply the scientific method to every assumption your AI agent makes.
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.
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:
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.
| Scenario | Domain | Turns | HALT | REVISE | ACT |
|---|---|---|---|---|---|
| S8v31 ML Model Deployment (FDA SaMD) | clinical | 6 | 6 | 0 | 0 |
| S7v31 Code Review / API Security | engineering | 6 | 5 | 1 | 0 |
| S6v31 Investment Decision - Series A | investment | 6 | 5 | 1 | 0 |
| S10 Sycophancy Validation | investment | 6 | 5 | 1 | 0 |
| S11 Sycophancy Market Gap | investment | 9 | 4 | 2 | 0 |
| S20 Sycophancy Full-Signal | compliance | 6 | 4 | 0 | 2 |
| S18 Reasoning Theater | compliance | 6 | 2 | 1 | 3 |
| S19b Model Scaling Ablation (gpt-4o) | investment | 6 | 2 | 3 | 1 |
| S16 REVERSED CEP - Beta-carotene/CARET | clinical | 3 | 1 | 2 | 0 |
| S15 CAUSAL_GATE v4 - Phase 3 Protocol | clinical | 6 | 1 | 1 | 4 |
| S9v31 M&A Due Diligence | manda | 6 | 0 | 4 | 2 |
| S14 EXPLAIN Cold-Start Baseline | engineering | 6 | 0 | 0 | 0 |
| S17 Disjunctive Bias - clinical supplements | clinical | 6 | 0 | 4 | 2 |
| S19a Model Scaling Ablation (gpt-4o-mini) | investment | 6 | 0 | 5 | 1 |
| TOTAL | 84 | 35 | 25 | 15 |
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.
pip install -e ".[mcp]" # local dev (the MCP extra powers the examples below)
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
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." )
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())
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
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", ) ])
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).
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):
| Tool | What it does |
|---|---|
eif_new_session | Create a session; every other tool requires its session_id |
Core pipeline (8 tools):
| Tool | Phase | What it does |
|---|---|---|
eif_get_context | - | Load EIF principles into agent context |
eif_declare | DECLARE | Register and classify every assumption |
eif_falsify | FALSIFY | Collect independent evidence; run SPRT |
eif_causal_gate | CAUSAL_GATE | Check Pearl causal level; flag confounders |
eif_calibrate | CALIBRATE | Bayesian posterior; compute routing |
eif_challenge | CHALLENGE | Adversarial critic with counter-evidence |
eif_update | UPDATE | Sequential posterior update; EIG stopping |
eif_explain | EXPLAIN | Hard-to-vary check on the mechanism |
Gates and monitors (5 tools):
| Tool | What it does |
|---|---|
eif_input_guard | Detect adversarial or manipulative inputs |
eif_sycophancy_gate | Detect position drift, unfaithful CoT, face-preserving framing |
eif_programme_health | Lakatos health monitor for the session |
eif_record | Write provenance record; EU AI Act compliance mapping |
eif_replicate | Pre-registered replication protocol |
Calibration and agenda (4 tools):
| Tool | What it does |
|---|---|
eif_record_outcome | Log a session's labeled outcome (true/false) for cross-session ECE calibration |
eif_calibration_report | Return ECE state, empirical prior, and sessions-to-grounded count |
eif_catch_rate_report | Empirical HALT catch-rate across all sessions for a domain |
eif_hypothesis_agenda | Rank outstanding hypotheses by Expected Information Gain before FALSIFY |
Utilities (7 tools):
| Tool | What it does |
|---|---|
eif_verify | One-call full pipeline: declare → falsify → calibrate → route |
eif_extract_claims_from_decision | Extract structured claims from free-form agent text |
eif_compliance_report | Generate EU AI Act compliance report for a session |
eif_provenance |
只显示了开头部分;其余内容请在仓库中阅读