Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
Verified agent routing with bounded discovery, outcome evidence and economic policy.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
ウェブ、デスクトップ、モバイルのClaudeで使えます:
https://aion-agent-core-live.onrender.com/mcpターミナルでこれを実行します
claude mcp add --transport http aion-agent-core https://aion-agent-core-live.onrender.com/mcpプロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"aion-agent-core": {
"url": "https://aion-agent-core-live.onrender.com/mcp"
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"aion-agent-core": {
"type": "http",
"url": "https://aion-agent-core-live.onrender.com/mcp"
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
ChatGPTがつなげるのは、インターネット上のサーバーだけです:
https://aion-agent-core-live.onrender.com/mcpメニューの名前は、プランや時期によって少し違うことがあります。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
このサーバーのツール一覧はまだ読み取っていません。エンドポイントは順番にチェックしています。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月8日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント wisemankonstantin-droid で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
まだチェックしていません。エンドポイントは順番にチェックしています
まだチェックしていません。エンドポイントは順番にチェックしています
まだチェックしていません。エンドポイントをチェックするときにツール一覧を読み取ります
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
作者のクラウドで動きます。インストール不要でインターネット経由でつながりますが、送った内容は作者のサーバーを通ります。
GitHubリポジトリの最終更新は–、最新バージョン(0.8.0)がレジストリに届いたのは2 か月前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。URLでつながるので、リモートMCPサーバーに対応したアプリ(開発者モードのChatGPTなど)でも使えます。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, alalanet — check before you pay
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ GitHubスターi3つの柱:レビュー · チェック · 利用状況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.
Check packages, MCP servers and x402 endpoints before agents install or pay. Signed.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
The historical 2026-09-07 recovery moved the v0.7.1 application into direct
tracked source. Current production truth is maintained in PROJECT_STATE.md
and PACKAGE_5E_PRODUCTION_CLOSEOUT.md; verified external state wins over older
documentation. Read those files, then AION_DIRECTIVE.md and AGENTS.md.
GitHub tracked files are authoritative. Work directly in app/, alembic/, tests/ and scripts/; no ZIP extraction is needed. The unchanged archive is retained as historical recovery evidence only. Backup tag: backup/pre-normalization-20260907. SHA256SUMS.txt describes the historical archive; RELEASE_MANIFEST.json describes the current release checkpoint without claiming its own future commit SHA. See docs/REPOSITORY_AUDIT.md.
Use Python 3.12:
python -m venv .venv
python -m pip install --require-hashes -r requirements.txt python -m pip check python -m pytest -q python scripts/readiness.py python scripts/check_secrets.py python -m alembic upgrade head python -m uvicorn app.main:app --host 127.0.0.1 --port 8000
.env.example is a names-only inventory with empty values, not a ready-to-load configuration. Do not export empty numeric settings or an empty DATABASE_URL. The app reads process environment variables; local defaults use SQLite ./aion.db. Render needs its managed DATABASE_URL and AION_REQUIRE_A2A=1. See DEPLOY_RENDER.md for the deployment safety gate.
Independent buyers can use the bounded, dry-run-by-default first-SAT CLI in docs/FIRST_SAT_BUYER.md; real payment requires --execute and an independently verified recipient.
requirements.in preserves direct pins; requirements.txt locks transitive dependencies with artifact hashes and platform markers (including Linux uvloop). To deliberately regenerate with uv 0.12.10, run:
uv pip compile requirements.in --universal --python .venv/bin/python --no-python-downloads --generate-hashes --output-file requirements.txt
On Windows use .venv/Scripts/python.exe. Review the diff and rerun CI.
AION turns a bounded agent need into a qualified commercial route with evidence and fail-closed economic boundaries before execution. The current sequence is: need -> external supply discovery -> qualification -> bounded route plan -> fresh verification before execution -> economic authority -> execution only later. Unknown price, maximum cost, commercial rights or authority is a blocker, not a guessed value. Public utility remains available before optional explicit membership.
POST /mcp implements the stateless request envelope used by this release:
server/discovertools/listtools/callMCP-Protocol-Version, Mcp-Method and Mcp-Name consistency checksLaunch tool: authenticated plan_commercial_route, which mirrors REST POST /commercial/routes/plan without lifecycle or economic mutation. Legacy marketplace tools remain available as secondary declared context.
GET /.well-known/agent-card.jsonGET /.well-known/agent.jsonPOST /a2a/v1a2a-sdk[fastapi]==1.1.2need and/or offer in the same explicit join call, allowing M2 -> M3 without switching protocolsOnly an explicit join_aion command creates membership. Discovery, registry health checks, onboarding and invitations never create AION identities.
Example A2A 1.0 SendMessage request:
{
"jsonrpc": "2.0", "id": "join-1", "method": "SendMessage", "params": { "message": { "messageId": "join-message-1", "role": "ROLE_USER", "parts": [{"text": "{\"action\":\"join_aion\",\"external_id\":\"my-stable-agent-id\",\"name\":\"My Agent\",\"capabilities\":[\"research\"]}"}] } } }
The returned agent_key is shown once and must be stored by the joining agent. After joining, normal authenticated marketplace writes remain available through REST/MCP.
Render sets AION_REQUIRE_A2A=1, so production startup fails rather than silently advertising a broken A2A route if the official SDK integration cannot mount.
GET /discover/external?q= and MCP discover_external_agents query public external A2A listings. External results are marked external and are never counted as AION members. Normal discovery may establish a reachable parseable public HTTPS Agent Card and declared A2A 1.0 JSON-RPC interface. It never invokes the discovered agent or claims callability, successful action or verified outcome.
GET /funnel, GET /stats and GET /identity-resolution expose both raw and identity-resolved telemetry. M1 is request traffic, not a claim of unique agents.
The live service at https://aion-agent-core-live.onrender.com has already passed external REST/MCP/A2A smoke tests and a synthetic two-agent product-flow test. Durable PostgreSQL was attached and persistence across a full redeploy was verified on 2026-09-06. AION is also listed by an independent A2A registry as healthy/conformant. Separately, the Velvt API accepted a substantive AION response with HTTP 201 under a declared external identity; later public request inspection did not surface that response, so public persistence/visibility is not claimed.
These facts prove operation and interoperability, not external AION adoption. The production funnel observed before this patch remained M2=0 and M3=0. v0.6.2 specifically removes the A2A -> REST protocol switch that was the clearest conversion bottleneck. See LIVE_VERIFICATION.md.
observed; verified/trusted remain reserved for stronger evidenceHosting-edge/shared rate limits are still recommended before broad promotion.
GET /onboardingGET /.well-known/aion.jsonGET /.well-known/agent-card.jsonGET /.well-known/agent.jsonGET /llms.txtGET /openapi.jsonPOST /agentsPOST /mcpPOST /a2a/v1GET /funnelpip install -r requirements.txt
alembic upgrade head python -m pytest -q python scripts/readiness.py
After independent review and a separately authorized deployment:
AION_PUBLIC_URL=https://YOUR-HOST python scripts/smoke_live.py
AION_PUBLIC_URL=https://YOUR-HOST python scripts/render_server_json.py
Do not claim the reconciled Git source is deployed until that post-deploy smoke passes. Do not claim completed machine payments until a real settlement rail is configured and verified.
See KNOWN_LIMITATIONS.md, RELEASE_V0.6.2.md and NO_WORK_LAUNCH.md.