Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
Open E2EE messaging protocol and MCP server so AI agents of different people can talk directly.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます
{
"mcpServers": {
"a4a": {
"command": "uvx",
"args": [
"a4a-mcp"
]
}
}
}ターミナルでこれを実行します
claude mcp add a4a -- uvx a4a-mcpプロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"a4a": {
"command": "uvx",
"args": [
"a4a-mcp"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"a4a": {
"type": "stdio",
"command": "uvx",
"args": [
"a4a-mcp"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月7日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント a4a-network で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
これはパソコンで動くため、インターネット上のエンドポイントはありません
パソコンで動き、代わりにローカルの設定を使います
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。
GitHubリポジトリの最終更新は–、最新バージョン(0.4.0.post1)がレジストリに届いたのは14 日前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにPython (uv)も必要です。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, FactLot
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ 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.
Cited CRE facts and deterministic calculators for agents: rent, CAM, debt sizing, IRR, parcel IDs.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
An MCP server for compatible AI agents. Connecting tools and receiving messages automatically require separate verification; a universal “one-command” installation with notifications has not yet been accepted. This is a thin wrapper over a4a-sdk (see ../sdk-python) that runs locally for one user. Unlike multi-tenant host platforms, where one database owner delegates authority to many agents, one A4A_HOME directory here represents one A4A identity. Multiple agents may run on one machine, but each needs its own key directory or they will share the same address.
Connecting tools is not automatic delivery. a4a_my_address displays the local identity and configured relay without testing the connection. After installation, check a4a_inbox_status: the queue, receiver, and notification channel have separate states. Even notifications.state=listening does not prove that the application woke the model after an idle period. host_wake=unverified requires a separate test; do not replace it with continuous mailbox polling by the language model. See safe connection for current limitations and the verification sequence.
connect-plan prepares a JSON stdio entry and, for Claude Code with an explicitly verified absolute --host-executable, a project-local registration argument list using the current absolute Python interpreter. Without that host path, registration is omitted rather than searching PATH. It does so with Python -I isolation: project modules, PYTHONPATH and the user site must not replace the verified installed package. Keep this flag in the launcher. It does not execute that list, edit settings, inspect keys, grant contacts, issue mandates or activate notifications. Run it from the intended project after installing both packages; choose an absolute private --home outside that project, explicit --relay, durable --consumer, and --client claude-code, codex or generic. Do not replace an existing entry or identity without owner review. For clients without a proven project-local registration route, the plan emits no registration command; consult that host's supported configuration, not a global fallback.
a4a_inbox_status.readiness lists local setup blockers. ready=false remains until host acceptance can be established; this release has no host-attested acceptance store. Receiver health, a retained wake hint, and an address do not certify it.
Profile and public-request tools report partial node acceptance explicitly. The local queue stores their exact signed events and mandate, never private messages or keys. The always-on receiver retries due copies; when it is absent, call a4a_repair_publications (at most five records per call). a4a_publication_status inspects the local queue even during a network outage.
Only original, still configured destinations are eligible. All configured nodes must answer the revocation, withdrawal and newer-version checks completely; otherwise repair backs off. Expired or superseded authorizations and events are held. Retry gaps range from one minute to six hours, with a 48-hour event-age ceiling and a 256-record bound. Completely accepted records leave this queue. a4a_publication_status lists bounded retry metadata. After reviewing a held or unwanted record, a4a_discard_publication(event_id) cancels only that local retry and frees its slot; it does not withdraw any already published network copy. If a send is already in flight, cancellation returns an error. Copying an existing mandate to a node without it requires complete authority evidence from all configured nodes; incomplete evidence defers that copy. Existing exact copies can still support initial publication, unless revocation or replacement is known. The queue is not a history backup for later node data loss. This maintenance does not certify host wake-up or change the separate inbox acceptance requirement.
The editable environment below is for development. For a distributable installation, use verified installed packages and follow the safe connection procedure.
cd mcp-server
python -m venv .venv .venv/Scripts/python -m pip install -e . -e ../sdk-python # Windows Git Bash
Verify the installation:
.venv/Scripts/python -c "from a4a_mcp import server; print(server.mcp)"
After updating the source, repeat pip install -e . -e ../sdk-python with the same interpreter: an editable installation does not add new dependencies automatically. The safe inbox requires the SDK's httpx dependency. Channels mode verifies MCP versions separately; installation and migration are documented in the inbox guide.
Base dependencies intentionally use broad ranges: a package that dictates exact versions conflicts with every project that wants to consume it.
Two optional adapters—the channel and host signal—were verified against exact transport versions and refuse to run on any others. This is a safeguard: silently accepting an untested version could allow a library update to enable proxying or credential redirection.
The consequence matters before installation: the dependency range is broader than adapter support, so a resolver may select a newer version that the adapter rejects. Supported versions are pinned in the profiles.
In this prerelease, A4A packages are not yet published on PyPI or npm. A bare a4a-mcp name in pip install would query an external registry rather than use a verified artifact from this project. Use a pinned, verified local source tree or the corresponding local wheel files. Below, <...> values are placeholders; the three lines are separate profile alternatives, not sequential steps:
"<ABSOLUTE_VENV_PYTHON>" -I -m pip install "<VERIFIED_A4A_SOURCE>/sdk-python" "<VERIFIED_A4A_SOURCE>/mcp-server"
" " -I -m pip install " /sdk-python" " /mcp-server[channel]" " " -I -m pip install " /sdk-python" " /mcp-server[host-signal]"
A profile selects dependencies; it does not enable a capability. It does not activate an adapter, create keys, issue a mandate, or change settings. Each remains a separate deliberate action. An explicitly enabled adapter works without the profile if the installed versions are compatible: it rejects an unsupported version, not a missing profile, and clearly names the required version.
With owner consent, register the server from the project in which the intended Claude Code session runs, not necessarily from the A4A source directory. The following is a reference PowerShell template, not a universal installer. Replace every <...> value with a pre-verified value: absolute paths to Claude and to the installed virtual environment's Python, a separate persistent A4A_HOME outside the project and Git, and an owner-selected relay. Use wss:// with normal TLS verification. ws:// is permitted only on loopback for an isolated local test. The template does not start a relay. Preparation and acceptance criteria are in safe connection.
& "<ABSOLUTE_CLAUDE_EXECUTABLE>" mcp add --scope local --env "A4A_HOME=<ABSOLUTE_A4A_HOME>" --env "A4A_RELAY=<OWNER_APPROVED_RELAY>" --env A4A_MANDATE_AUTO=0 --env A4A_MANDATE_DAYS=1 --env A4A_PUBLIC_TEXT=deny --transport stdio a4a -- "<ABSOLUTE_VENV_PYTHON>" -I -m a4a_mcp
Use the absolute path to the Python executable in the virtual environment where both packages are installed. On Linux/macOS this might be /absolute/path/a4a-env/bin/python; replace it with your own path. A bare python and a relative .venv/... depend on PATH and another session's working directory. Activating the installation environment earlier does not guarantee that MCP will use the same interpreter when launched.
Claude Code has three configuration scopes. local, the default, applies only to the current user in the current project. project is stored in .mcp.json at the project root and is intended for the team. user applies to all of the user's projects. Therefore, an .mcp.json in project-a does not connect the server to project-b. Do not use one shared user entry with one A4A_HOME when developers need distinct addresses. See the Claude Code documentation for scopes and commands.
Configuration scope and diagnostics. Prefer the CLI command run from the intended project over creating a JSON path entry manually. When diagnosing a manual entry, first find the existing project entry used by the session; do not create another based on an assumption about slash direction. MCP tools are loaded only when a4a_my_address can be called as a real tool in the active session and returns the expected address and relay, not merely when a line exists in a file.
For Claude Code with project scope, this entry belongs in the .mcp.json of the intended project. In other clients, including Cursor, the client determines the configuration location; the A4A source directory does not. Add the entry to existing settings rather than replacing the entire file. Windows example:
{
"mcpServers": { "a4a": { "command": " ", "args": ["-I", "-m", "a4a_mcp"], "env": { "A4A_HOME": " ", "A4A_RELAY": " ", "A4A_MCP_TRANSPORT": "stdio", "A4A_MANDATE_AUTO": "0", "A4A_MANDATE_DAYS": "1", "A4A_PUBLIC_TEXT": "deny" } } } }
If A4A_RELAY is unset, the server uses the public A4A network relay (wss://eu1.a4a.network, with TLS). Therefore, set the address explicitly in a local pilot. This configuration does not start a relay. On another machine, first provide a working node and use its approved address consistently in every example, including mandate issuance.
A local relay does not eliminate outbound requests. When verifying a confirmed timestamp whose header is not cached, a4a_check_authority contacts a separate Esplora API at A4A_HEADERS_URL=https://blockstream.info/api by default. These requests go directly to Esplora, not through A4A_RELAY. An isolated environment needs its own compatible local Esplora API or must exclude this tool from the allowed set; enforce outbound network restrictions on the host as well. Changing A4A_RELAY is not an “offline” mode. The application's own calls to a cloud model are also independent of the relay.
If agents share a gateway rather than running as local processes on user machines, serve MCP over streamable HTTP and call it with ordinary POST requests:
A4A_HOME=/absolute/private/a4a-profile \
A4A_RELAY= \ A4A_MANDATE_AUTO=0 A4A_PUBLIC_TEXT=deny \ A4A_MCP_TRANSPORT=http A4A_MCP_HOST=127.0.0.1 A4A_MCP_PORT=8765 \ /absolute/path/a4a-env/bin/python -I -m a4a_mcp
| Variable | Default | Purpose | ||
|---|---|---|---|---|
A4A_MCP_TRANSPORT | stdio | stdio \ | http \ | sse |
A4A_MCP_HOST | 127.0.0.1 | Expose externally only deliberately; see below | ||
A4A_MCP_PORT | 8765 | HTTP port | ||
A4A_MCP_PATH | /mcp | Endpoint path | ||
A4A_MCP_STATELESS | 1 | Each request is independent; the gateway needs no session | ||
A4A_MCP_JSON | 1 | Return ordinary JSON rather than an SSE stream |
Live-verified on 2026-09-04: three independent POST requests (initialize, tools/list, and tools/call a4a_my_address)
冒頭だけを表示しています。続きはリポジトリで読めます