Spec Driven Development
作者：formulahendry
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
パソコンで動く★ 440MIT14 か月前更新
インストール
Eclipse Warranty
概要
作者による説明（英語の原文）
Warranty witness for agent purchases: sealed, transferable claim packs. LOCAL/fixture only.
PopNx MCPの3つの柱
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
- 利用者の声iレビューはまだありませんレビューは今後のステップで、アカウント機能と一緒に始まります
- 私たちの基本チェックi1項目中1項目に合格公開情報からチェック。コードはまだスキャンしていません
- 利用状況i未計測★ –
できること
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
- 接続方法: –
- トランスポート:
- カテゴリ: その他
インストール
使っているAIアプリを選んで、設定をコピーしてください。
インストールの前に
- 基本チェック：1項目中1項目に合格
- あなたのパソコンで、あなたのユーザーと同じ権限（ファイル、ネットワーク、アプリ）で動きます。
- レジストリには、入力が必要なキーは載っていません。
作者はレジストリにインストール情報を載せていません。下にある作者のREADMEをご覧ください。
できること
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
基本チェックi
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月7日にチェック
- ✓ 合格
作者とリポジトリが一致
レジストリ名は、リポジトリを所有するGitHubアカウント CYAN-ECLIPSE-TECHNOLOGIES-LLC で確認済みです
- … 未チェック
今もメンテナンスされている
このリポジトリはまだGitHubから読み取っていません
- … 未チェック
ライセンスがある
このリポジトリはまだGitHubから読み取っていません
- – 対象外
エンドポイントが応答する
これはパソコンで動くため、インターネット上のエンドポイントはありません
- – 対象外
OAuthでサインイン
パソコンで動き、代わりにローカルの設定を使います
- … 未チェック
ツールの説明に隠れた指示がない
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
その他のほかのサーバーとの比較i
- このカテゴリのほかの32623件のうち0%よりスターが多い
- このカテゴリのほかの32623件のうち76%より最近レジストリに公開
- 基本チェックの結果が、このカテゴリのほかの32623件のうち100%と同じかそれ以上
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
よくある質問
Eclipse Warrantyは安全ですか？
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
どんなキーやコードが必要ですか？
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
パソコンで動きますか、それともクラウドですか？
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません（サーバー自体がオンラインサービスを呼び出す場合を除きます）。
今もメンテナンスされていますか？
GitHubリポジトリの最終更新は–、最新バージョン（0.1.1）がレジストリに届いたのは11 日前です。
どのアプリで使えますか？
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。
代わりに使えるものは？
同じカテゴリには：Spec Driven Development, Remote Desktop Commander, Draugr
代わりの候補
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方：★ 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一昨日更新
インストール
Draugr
作者：draugr-dev
Security scanning for AI agents: SAST, SCA, secrets, IaC, DAST, ranked by real risk.
パソコンで動く今日更新
インストール
作者のREADME
READMEを開く
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
Eclipse Warranty
Warranty registration witness for agent purchases — binds serial, buyer mandate, and retailer receipt into one transferable claim pack.
Status: v0.1.1 — CERTIFIED (local, fixture) (Verity re-bench 1, 2026-10-26: 95 asserted PASS / 0 FAIL; D1 full-content seal + D2 schema enforcement closed; prior v0.1.0 verdict CONDITIONAL). Spec: SPEC.md (see its Bench Fix addendum — v0.1.0-sealed packs verify INVALID under v0.1.1; fixture packs are re-registered, no migration). Scope: LOCAL / fixture.
Novel mechanism
The claim pack is transferable on resale because it is bound to the product serial + sealed purchase proof, not to a retailer account login. Transfer appends a chained record and re-seals; verification recomputes the seal from the serial, bindings, and transfer chain alone — no account credential, no original holder. Incumbents (Extend / Mulberry) attach plans to retailer accounts with no agent mandate proof; here buyer_mandate_ref is a sealed binding.
Honest scope
Registrations operate on fixture purchase records supplied by the caller. Seals are local HMAC-SHA256 hash seals using a demo key generated at runtime in keys/ (gitignored). The pack is a witness record, not a warranty contract — no legal warranty adjudication, coverage, or enforceability is claimed, and no retailer or manufacturer is contacted.
Tools (exactly five)
| Tool | What it does |
|---|---|
register_warranty | Seal serial + product ref + buyer mandate ref + retailer receipt ref + purchase ts into a claim pack (chain genesis). One pack per serial. |
get_pack | Retrieve a pack with all bindings, current holder, and transfer chain. |
verify_pack | Recompute seal + chain linkage by pack_id or supplied pack object. Tamper with any bound field → INVALID. |
transfer_pack | Re-bind to a new holder with a chained transfer record; pack verifies afterwards without the original holder. |
claim_check | Given a serial (+ optional pack_id), answer whether a valid transferable claim pack exists. Unregistered serial → plain negative. |
Pricing
FREE + funnel role — free registration drives Eclipse Procure order volume and Till receipts. No payment anything.
Run
python3 server.py # MCP over stdiopython3 -m unittest discover -s tests -v
State: data/packs.json (gitignored; override ECLIPSE_WARRANTY_DATA_DIR). Demo key: keys/demo.key (gitignored, generated on first use; override ECLIPSE_WARRANTY_KEY_FILE). Fixture seeds: fixtures/.
MIT License · Copyright © 2026 Cyan Eclipse Technologies LLC · cetech.ai