Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者提供的说明(英文原文)
Evidence-qualified architecture context for coding agents.
这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
选择你使用的 AI 应用,然后复制设置。
作者没有在注册中心列出安装信息。请查看下方作者的 README。
它在你的电脑上运行;安装后,工具列表会显示在你的 AI 应用中。
我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月7日
注册名称已通过 GitHub 账户 michaelegner 验证,该账户拥有此仓库
我们还没有从 GitHub 读取这个仓库
我们还没有从 GitHub 读取这个仓库
它在你的电脑上运行,没有互联网端点
在你的电脑上运行,改用本地设置
它在你的电脑上运行;我们只能读取互联网端点的工具列表
与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。
它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。
注册中心没有列出必需的密钥,不过有些服务器会在首次使用时要求你登录。
它在你的电脑上运行。你的 AI 应用会在需要时启动它,数据不会经过作者的服务器(除非它自己调用在线服务)。
GitHub 仓库最后更新于–,最新版本(0.8.0)于9天前进入注册中心。
支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。
同一分类中有:Spec Driven Development, Remote Desktop Commander, Tools 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.
Web production tools for AI agents: contrast, JP text, WebP, JSON-LD, slugs, dates and 40+ more
按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。
Before changing a distributed system, do you know who relies on the part you're changing?
The answer may be spread across repositories, API contracts, broker configuration, runtime observations, catalogs, and other teams. Some relationships are documented; others appear in observations but have no matching documented promise.
AIP shows who relies on what across autonomous boundaries, which promises apply, what the evidence establishes, and what remains unresolved. It provides evidence-qualified architectural context that architects, engineering teams, and coding agents can inspect.
[See the binding picture](#the-binding-picture) · [Try the hosted MCP demo](#try-aip) · [Technical documentation](#documentation)
MCP Registry: io.github.michaelegner/architecture-intelligence-platform
Repository and source-analysis tools explain implementations an engineer or agent can inspect. AIP complements them with attributable architectural promises and independent evidence about relationships across autonomous boundaries. It keeps what is promised, observed, and unresolved distinct instead of presenting assumptions as facts.
AIP binding picture brings cross-boundary relationships together
Sokol111 is an open-source, event-driven e-commerce platform built from independently developed Go microservices. AIP uses it as a realistic showcase: when planning a broker migration, understanding one service's documented event flows is not enough to know which other services may be affected.
Sokol111's architecture documents show Catalog Management publishing events to Storefront. But captured broker attachments reveal more: Catalog and Image also consume tenant events from Store Provisioning, and Storefront consumers are attached to attribute events. A migration planned from the documentation alone could overlook these relationships.
AIP makes the bigger picture visible before the change starts. By combining documented event relationships with observed broker attachments, its binding picture helps architects and coding agents identify which services to investigate—and where the documented view is incomplete.
Explore the hosted binding picture · Follow the v0.8 migration showcase
The public, read-only endpoint serves the frozen v0.8.0 Sokol111 C1 dataset, not live monitoring. It requires no local AIP server or server credentials. With Claude Code installed, connect to seven read-only tools, including the experimental get_binding_picture:
claude mcp add --transport http aip-hosted https://mcp.daip.io/mcp
In Claude Code, check /mcp and ask:
Which bindings cross the Catalog Management boundary in environment
localon
broker
kafka:sokol111-local? Show which are promised and observed, which remain
unresolved, and resolve the relevant evidence at the same snapshot.
Use get_binding_picture with bounded_context_id: catalog-management and broker_ids: [kafka:sokol111-local]. See the hosted walkthrough for the exact request, expected findings, limitations, and troubleshooting.
For an introductory, deterministic declared-versus-observed demo, install Docker with Compose, plus curl and jq. No LLM API key is needed:
git clone https://github.com/michaelegner/architecture-intelligence-platform.git
cd architecture-intelligence-platform cp .env.example .env examples/runtime-demo/mcp-demo.sh
This separate example demonstrates get_architecture_drift and get_evidence. Clean up with examples/runtime-demo/mcp-demo.sh --down. For the full platform, see the development guide.
Real-system showcases: Sokol111 (Redpanda/Kafka), Pitstop (.NET/RabbitMQ) and Quarkus Super Heroes. The MCP client setup guide covers Codex, Claude Code, Cursor, and VS Code; previous end-to-end client qualification was performed against v0.4.2, not re-qualified for v0.8.0.
AIP combines independent sources without treating declarations, observations, and promises as interchangeable. It projects only what is relevant to a selected architectural question.
AIP's deterministic architecture service uses Neo4j and makes qualified results available through read-only REST and MCP interfaces. Six MCP tools are enabled by default; get_binding_picture is an experimental seventh tool behind architecture_intelligence.experimental.binding-picture: true (enabled on the hosted demo). No LLM key is required to produce these answers.
For direct dependency/drift answers, AIP retains these distinctions:
| Qualification | Meaning |
|---|---|
CONFIRMED | Declared and observed in the relevant context. |
OBSERVED_ONLY | Observed but not declared in the ingested sources. |
NOT_OBSERVED_IN_WINDOW | Declared but not observed in the specified window—not proof it is absent or unused. |
These older dependency qualifications are not the same as the experimental v0.8 binding-picture assessment statuses.
Boundaries matter: A frozen broker capture establishes a group's topic attachment at capture time, not the event types a service handles; producer declarations are not observed production; an absent promise is not a proven violation; and the two-broker picture does not establish cross-broker delivery. AIP keeps these limits explicit in its answers.
The public hosted endpoint is a constrained demo behind an HTTP edge; the AIP MCP server itself is not a general authenticated, multi-tenant public service. Keep self-hosted MCP access local or on a trusted network. See the security model.
Try and integrate: Hosted walkthrough · MCP reference · Client setup · Architecture · Development
Evidence and limitations: v0.8 release notes · Showcase evidence · v0.8 comparison · Security
Project: Product doctrine · Roadmap · Contributing · Discussions · Security reports
Current status: v0.8.0 is a shipped demonstration release. The binding-picture contract remains experimental. In a controlled 12-session comparison, AIP reduced information requests in the team-scoped setting, but did not show a robust improvement in migration-planning quality. Real customer value and the effort of maintaining attributable promises remain to be validated.
Apache-2.0 licensed. See LICENSE and third-party licenses.