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.
这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
选择你使用的 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个月前进入注册中心。
支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。它通过 URL 连接,所以接受远程 MCP 服务器的应用也可以使用,例如开启开发者模式的 ChatGPT。
同一分类中有:Spec Driven Development, Remote Desktop Commander, SolveHub
同一分类中其他作者的服务器,按星标数排序。
如何看卡片:↓ 每周下载量i★ 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.
CAPTCHA and anti-bot solving for Turnstile, DataDome, Akamai, PerimeterX and Imperva.
按原文从作者的仓库复制。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.