Spec Driven Development
作者：formulahendry
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
パソコンで動く★ 440MIT14 か月前更新
インストール
Server Os
概要
作者による説明（英語の原文）
Fail-closed agentic OS MCP: agents as processes with cost, governance, observability, skills.
PopNx MCPの3つの柱
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
- 利用者の声iレビューはまだありませんレビューは今後のステップで、アカウント機能と一緒に始まります
- 私たちの基本チェックi1項目中1項目に合格公開情報からチェック。コードはまだスキャンしていません
- 利用状況i未計測★ –
できること
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
- 接続方法: –
- トランスポート:
- カテゴリ: その他
インストール
使っているAIアプリを選んで、設定をコピーしてください。
インストールの前に
- 基本チェック：1項目中1項目に合格
- あなたのパソコンで、あなたのユーザーと同じ権限（ファイル、ネットワーク、アプリ）で動きます。
- レジストリには、入力が必要なキーは載っていません。
作者はレジストリにインストール情報を載せていません。下にある作者のREADMEをご覧ください。
できること
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
基本チェックi
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月6日にチェック
- ✓ 合格
作者とリポジトリが一致
レジストリ名は、リポジトリを所有するGitHubアカウント ANAMIZED で確認済みです
- … 未チェック
今もメンテナンスされている
このリポジトリはまだGitHubから読み取っていません
- … 未チェック
ライセンスがある
このリポジトリはまだGitHubから読み取っていません
- – 対象外
エンドポイントが応答する
これはパソコンで動くため、インターネット上のエンドポイントはありません
- – 対象外
OAuthでサインイン
パソコンで動き、代わりにローカルの設定を使います
- … 未チェック
ツールの説明に隠れた指示がない
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
その他のほかのサーバーとの比較i
- このカテゴリのほかの32433件のうち0%よりスターが多い
- このカテゴリのほかの32433件のうち29%より最近レジストリに公開
- 基本チェックの結果が、このカテゴリのほかの32433件のうち100%と同じかそれ以上
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
よくある質問
Server Osは安全ですか？
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
どんなキーやコードが必要ですか？
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
パソコンで動きますか、それともクラウドですか？
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません（サーバー自体がオンラインサービスを呼び出す場合を除きます）。
今もメンテナンスされていますか？
GitHubリポジトリの最終更新は–、最新バージョン（0.1.0）がレジストリに届いたのは2 か月前です。
どのアプリで使えますか？
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。
代わりに使えるものは？
同じカテゴリには：Spec Driven Development, Remote Desktop Commander, Symantec Cloud DLP AIops
代わりの候補
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方：★ 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昨日更新
インストール
Symantec Cloud DLP AIops
作者：AIops-tools
Governed Symantec Cloud DLP — 14 MCP tools, read-only with audit.
パソコンで動く今日更新
インストール
作者のREADME
READMEを開く
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
Server OS
Autonomous Agentic Operating System — agents as first-class processes with cost control, governance, observability, MCP, SDK, CLI, and skills. Fail-closed. Verified end-to-end.
A senior engineer who has never seen this repository can, using only the source code and this README.md:
- Deploy the entire system (single command)
- Exercise every major feature
- Verify end-to-end correctness via automated checks
No prior context or tribal knowledge required.
[Support Agentic OS Kernels ($99)](https://buy.stripe.com/bJecN63wObPv6Bf7Zm43S02) · [Agentic OS Cycle ($0.75)](https://buy.stripe.com/3cI14o8R8dXD3p3frO43S04) · [Public Goods Support](https://donate.stripe.com/00w5kE3wOg5L8Jn2F243S00)
Non-custodial USDC (preferred for agents)
| Network | Address | Explorer |
|---|---|---|
| Base | 0xD3d0E9eDAe3Ac7bb199a8EAA761BdA423b878438 | basescan |
| Ethereum | 0xD3d0E9eDAe3Ac7bb199a8EAA761BdA423b878438 | etherscan |
| Solana | ETQwWf19axArsY493UfC6bxe2BmEzmzvCb58PPnC38A | solscan |
*Related:* rui · LRSI · openmesha · OpenGOS · agenticarb · x402-cloudflare-starter
🚀 Web Control Plane (Hero Demo — Zero Install)
Canonical file: web/server-os.html (~82 KB)
Open locally:
python -m http.server 8088 --directory webhttp://127.0.0.1:8088/server-os.html
Or Chrome → File → Open File… → web/server-os.html.
Acceptance: open the file → OS tab → Golden evals → run → 12/12 passed.
Offline mock provider, policy, budgets, graph, terminal, and 12 golden evals. The HTML engine is DOM-free below the UI so the eval suite exercises the same path as interactive use.
Quick Start (Production Runtime)
docker compose up --buildanother terminal
bash scripts/verify.sh
- API: http://localhost:8080
- Dashboard: http://localhost:8080/dashboard
- OpenAPI: http://localhost:8080/docs
Default mode is offline mock LLM (deterministic, free). Set SERVER_OS_LLM_MODE=openai + OPENAI_API_KEY for real models.
Surfaces
| Surface | Entry |
|---|---|
| Web control plane | web/server-os.html (offline, self-verifying) |
| REST API | python -c "from server_os.main import run; run()" |
| CLI | server-os status / server-os agents ... |
| MCP Server | server-os-mcp |
| SDK | from server_os.sdk import ServerOSClient |
| Multi-agent workflows | skills/multi-agent-workflow/ |
| Skills | skills/*/SKILL.md |
| AGENTS.md | Coding-agent contract at repo root |
| CI | .github/workflows/ci.yml |
Verify contract
bash scripts/verify.shCovers API, cost, governance, multi-agent workflows, SDK, CLI, MCP, skills, and AGENTS.md. 16 checks. All must pass.
Web parity check (manual, ~30s): open full web/server-os.html → run Golden evals → 12/12.
Design principles
- Least privilege by construction (capabilities from intent)
- Cost is a first-class resource
- Observable by default
- Fail closed
- Deployable with zero tribal knowledge
License
Apache-2.0