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를 쓰세요.
선택한 앱은 이 기기의 쿠키에만 저장돼요. 계정은 필요 없어요.
Authorization 비밀 필수 HTTP header이 설정은 제작자의 레지스트리 정보로 만들었어요. README와 다르면 README를 따르세요.
서버가 도구 목록을 보여 주기 전에 로그인을 요구해요.
누구나 볼 수 있는 정보를 점검했고, 코드는 읽지 않았어요. 해당하지 않는 항목은 개수에서 뺐어요. · 2026년 11월 6일 점검
레지스트리 이름이 GitHub 계정 leocelis 기준으로 확인되었고, 이 계정이 저장소를 소유하고 있어요
아직 GitHub에서 이 저장소를 읽어 오지 않았어요
아직 GitHub에서 이 저장소를 읽어 오지 않았어요
592ms 만에 응답(HTTP 401)
키나 토큰을 직접 복사해서 붙여 넣어야 해요
아직 점검하지 않았어요. 엔드포인트를 점검할 때 도구 목록을 읽어요
레지스트리에서 이 카테고리의 활성 서버 전체와 비교했어요. 스타는 게시자가 저장소를 소유한 경우에만 세요.
해당하는 기본 점검 3개 중 2개를 통과했어요. 코드는 읽지 않았어요. 키나 토큰을 넣기 전에 서버가 어떤 권한을 요구하는지 확인하고, 꼭 필요한 권한만 있는 키를 쓰세요.
입력해야 할 값: Authorization
제작자의 클라우드에서 실행돼요. 설치 없이 인터넷으로 연결하지만, 보내는 내용은 제작자의 서버를 거쳐요.
GitHub 저장소는 마지막으로 – 변경됐고, 최신 버전(4.2.0)은 어제 레지스트리에 올라왔어요.
Claude Desktop, Claude Code, Cursor, VS Code처럼 MCP를 지원하는 앱에서 쓸 수 있어요. URL로 연결되기 때문에, 원격 MCP 서버를 지원하는 앱(예: 개발자 모드의 ChatGPT)에서도 쓸 수 있어요.
같은 카테고리에는: Spec Driven Development, Remote Desktop Commander, dotnet-mcp
같은 카테고리에서 다른 제작자가 만든 서버예요. 스타 순으로 정렬했어요.
카드 보는 법:★ 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.
MCP server for .NET symbols, XAML, source generators, and restricted workspace edit
제작자의 저장소에서 쓰인 그대로 가져왔어요. 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 |
앞부분만 보여 드려요. 나머지는 저장소에서 읽어 보세요