Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
Procure governed AI capabilities: machine-readable price, scope, trust, gateway-delegation terms.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
ウェブ、デスクトップ、モバイルのClaudeで使えます:
https://mcp.gatecoreai.com/mcpターミナルでこれを実行します
claude mcp add --transport http marketplace https://mcp.gatecoreai.com/mcpプロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"marketplace": {
"url": "https://mcp.gatecoreai.com/mcp"
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"marketplace": {
"type": "http",
"url": "https://mcp.gatecoreai.com/mcp"
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
ChatGPTがつなげるのは、インターネット上のサーバーだけです:
https://mcp.gatecoreai.com/mcpメニューの名前は、プランや時期によって少し違うことがあります。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
このサーバーのツール一覧はまだ読み取っていません。エンドポイントは順番にチェックしています。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月7日にチェック
レジストリ名はドメイン gatecoreai.com で確認済みです(レジストリがドメインの所有を確認しています)
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
まだチェックしていません。エンドポイントは順番にチェックしています
まだチェックしていません。エンドポイントは順番にチェックしています
まだチェックしていません。エンドポイントをチェックするときにツール一覧を読み取ります
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
作者のクラウドで動きます。インストール不要でインターネット経由でつながりますが、送った内容は作者のサーバーを通ります。
GitHubリポジトリの最終更新は–、最新バージョン(1.1.0)がレジストリに届いたのは2 か月前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。URLでつながるので、リモートMCPサーバーに対応したアプリ(開発者モードのChatGPTなど)でも使えます。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, Aiterm MCP
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ 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.
Persistent terminals and one launcher for Claude, Codex, Grok, Cursor, and Antigravity harnesses.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
GateCore is the governed transaction layer for AI agents. Every agent request is identity-verified, policy-checked, priced, settled, and receipted on a tamper-evident ledger before it touches tools, data, or money.
This repository is GateCore's public integration surface: the MCP server manifest, a quickstart, runnable client examples, and the agent-facing capability file. It is the canonical reference for the com.gatecoreai/marketplace entry in the official MCP registry.
Point any MCP client at https://mcp.gatecoreai.com/mcp and, with no key and no account:
discover_listings returns published marketplace listings with machine-readable price, required scopes, and minimum trust terms attached.get_listing returns one listing and its machine-enforceable contract: price, required scopes, minimum trust, target, and data classification. Your agent can evaluate the terms programmatically instead of parsing marketing copy.With a GateCore MCP access key (gcmk_ prefix), an agent can also:
procure returns PROCURE, REVIEW, or DENY. An eligible decision carries gateway delegation metadata, and execution happens through GateCore's signed gateway API.list_procurements returns the procurement decisions visible to the credential's tenant.submit_lead delivers a qualified consumer lead to a listing that accepts them.QUICKSTART.md has the exact handshake and copy-pasteable calls. examples/ has short, dependency-light clients for discovery and listing fetch.
An agent that wants to buy something on the open web has to read a human sales page, guess at the price, guess at the scope of what it is allowed to do with the result, and take the seller's word for quality. GateCore replaces all three guesses with structured fields on the listing:
Because those terms are attached to the listing rather than to a sales page, the decision to transact is one an agent can make on its own and a human can audit afterward.
Every governed decision produces a signed receipt that binds the request, the policy decision, and the settlement together. Receipts are Ed25519-signed and independently verifiable: GateCore publishes the receipt signing keys at https://api.gatecoreai.com/v1/receipts/keys, and a client-side verifier at gatecoreai.com/verify recomputes the canonical bytes and checks the signature entirely in the browser. Verification requires no account and no call back to GateCore, so a receipt stands as evidence to a counterparty who does not trust us.
That is the point of the design. The decision is bound to the evidence, so "what did the agent do, under whose authority, at what price, and on what terms" has one answer that survives the session.
| Purpose | URL |
|---|---|
| MCP endpoint (streamable HTTP) | https://mcp.gatecoreai.com/mcp |
| MCP manifest | https://mcp.gatecoreai.com/.well-known/mcp.json |
| Agent capability file | https://gatecoreai.com/llms.txt |
| Public marketplace | https://gatecoreai.com/marketplace/ |
| Receipt verifier | https://gatecoreai.com/verify |
| Receipt signing keys | https://api.gatecoreai.com/v1/receipts/keys |
GateCore is listed on the official Model Context Protocol registry as com.gatecoreai/marketplace. server.json in this repository is that manifest.
Discovery is open. Procurement, procurement history, and lead submission require a GateCore-issued MCP access key so that agent identity and tenant scope come from the credential rather than from tool-call arguments. Get one self-serve, free, at app.gatecoreai.com/developer/portal. For anything else, contact hello@gatecoreai.com.
Apache License 2.0. See LICENSE and NOTICE.