Spec Driven Development
作者：formulahendry
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
在你的电脑上运行★ 440MIT14个月前更新
安装
Eclipse Sunset
概览
作者提供的说明（英文原文）
MCP deprecation radar: witnessed, hash-chained registry snapshots prove deprecated/removed tools.
PopNx MCP 的三大支柱
这三项永远不会合并成一个分数：意见、测量和人气是不同的东西。
- 用户评价i暂无评价评价功能将在后续阶段与账户功能一起开放
- 我们的基础检查i1 项中通过 1 项依据公开信息检查；尚未扫描代码
- 使用情况i尚未统计★ –
它能帮你做什么
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
- 连接方式: –
- 传输方式:
- 分类: 其他
安装
选择你使用的 AI 应用，然后复制设置。
安装之前
- 基础检查：1 项中通过 1 项
- 在你的电脑上运行，拥有你的用户账户的权限（文件、网络、应用）。
- 注册中心没有列出需要填写的密钥。
作者没有在注册中心列出安装信息。请查看下方作者的 README。
它能做什么
它在你的电脑上运行；安装后，工具列表会显示在你的 AI 应用中。
基础检查i
我们检查的是任何人都能看到的信息；我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月6日
- ✓ 通过
作者与仓库一致
注册名称已通过 GitHub 账户 CYAN-ECLIPSE-TECHNOLOGIES-LLC 验证，该账户拥有此仓库
- … 尚未检查
仍在维护
我们还没有从 GitHub 读取这个仓库
- … 尚未检查
有许可证
我们还没有从 GitHub 读取这个仓库
- – 不适用
端点有响应
它在你的电脑上运行，没有互联网端点
- – 不适用
使用 OAuth 登录
在你的电脑上运行，改用本地设置
- … 尚未检查
工具描述中没有隐藏指令
它在你的电脑上运行；我们只能读取互联网端点的工具列表
与“其他”中的其他服务器比较i
- 星标数多于此分类中其他 32466 个服务器的 0%
- 发布到注册中心的时间比此分类中其他 32466 个服务器的 76% 更新
- 基础检查结果等于或优于此分类中其他 32466 个服务器的 100%
与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时，星标数才计入。
常见问题
Eclipse Sunset 安全吗？
它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前，请先看看这个服务器要求哪些权限，并使用只具备所需权限的密钥。
它需要哪些密钥或代码？
注册中心没有列出必需的密钥，不过有些服务器会在首次使用时要求你登录。
它在我的电脑上运行还是在云端？
它在你的电脑上运行。你的 AI 应用会在需要时启动它，数据不会经过作者的服务器（除非它自己调用在线服务）。
它还在维护吗？
GitHub 仓库最后更新于–，最新版本（0.1.1）于10天前进入注册中心。
哪些应用可以使用它？
支持 MCP 的应用，例如 Claude Desktop、Claude Code、Cursor 和 VS Code。
有什么可以替代它？
同一分类中有：Spec Driven Development, Remote Desktop Commander, HotCodePush
替代选择
同一分类中其他作者的服务器，按星标数排序。
如何看卡片：★ GitHub 星标i三大支柱：评价 · 检查 · 使用情况i更新 = 最新版本发布到注册中心的时间i
Remote Desktop Commander
作者：desktop-commander
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
在云端运行★ 211昨天更新
安装
HotCodePush
作者：hotcodepush-team
Manage over-the-air (OTA) updates for React Native, Expo, Capacitor and Cordova apps.
在云端运行今天更新
安装
作者的 README
打开 README
按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。
Eclipse Sunset
MCP deprecation radar — detects deprecated/removed tools and versions from witnessed registry snapshots and generates a migration diff for an agent's config.
Scope label: LOCAL / fixture. v0.1 ingests local registry snapshot JSON files only. It does not crawl live registries. Live crawling is a later phase.
Status: v0.1.1 — CERTIFIED (local, fixture) (Verity re-bench, 2026-10-26: probe 5 chain-attack suite 4/4 + strict extras 9/9, full prior suite 44/44; D1 closed). Spec: SPEC.md.
Novel mechanism
Sunset notices are witnessed against registry history, so a "deprecated" claim is provable — and the migration diff is generated from the witnessed before/after schemas, not scraped docs.
Each ingested snapshot is SHA-256 hashed over its canonical JSON and hash-chained in ingest order (chain_hash = sha256(prev_hash + snapshot_hash)). Findings cite both snapshot hashes of the witnessed pair. A claim with no witnessed pair behind it returns UNPROVEN.
Tools (exactly 5)
| Tool | What it does |
|---|---|
ingest_snapshot | Validate a snapshot (server_id, version, tools[] with name/inputSchema/deprecated), hash it, chain-append it; returns snapshot id + chain position. |
detect_sunsets | Between two witnessed snapshots of the same server: tools removed, tools newly deprecated, version changes, schema-breaking changes — each finding cites both snapshot hashes. |
migration_diff | Given a server + an agent config listing tools used, produce the diff: which used tools are sunset in the newer witnessed snapshot and what changed in their schemas. |
verify_sunset_claim | Claim "tool X deprecated/removed" → PROVEN only if a witnessed snapshot pair supports it, else UNPROVEN. |
chain_status | Verify hash-chain integrity (recomputes every hash + link; tamper → valid: false). |
Fixtures
fixtures/weather-v1.json and fixtures/weather-v2.json: the same fixture server at v1.0.0 / v2.0.0 — one tool removed (legacy_lookup), one deprecated (get_alerts), one schema-breaking change (get_forecast gains required units), one unchanged (convert_units). fixtures/agent-config.json is a sample agent config for migration_diff.
Pricing
FREE + funnel role — free radar feeds paid listing-hygiene and re-bench work. No payment anything in this server.
Run
python3 server.py # MCP over stdio JSON-RPCpython3 -m unittest discover -s tests -v
State (the witnessed chain ledger) lives in data/ or the directory named by SUNSET_DATA_DIR.
Python 3, standard library only.
MIT License · Copyright © 2026 Cyan Eclipse Technologies LLC · cetech.ai