Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
Verify code402 XDR-1 receipts: keccak digest + secp256k1 signer recovery. Free, stateless.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
ウェブ、デスクトップ、モバイルのClaudeで使えます:
https://verify.code402.dev/mcpターミナルでこれを実行します
claude mcp add --transport http code402-verify https://verify.code402.dev/mcpプロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"code402-verify": {
"url": "https://verify.code402.dev/mcp"
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"code402-verify": {
"type": "http",
"url": "https://verify.code402.dev/mcp"
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
ChatGPTがつなげるのは、インターネット上のサーバーだけです:
https://verify.code402.dev/mcpメニューの名前は、プランや時期によって少し違うことがあります。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
ツールの名前と説明は、サーバーが2026年11月7日に返したそのままの内容です。書いたのは作者で、私たちではありません。プレーンテキストとして表示しています。
x402_verifyVerify one or more XDR-1 signed receipts offline (free). Returns valid/invalid per receipt with signer recovery, declared signer comparison, and integrity digest. Supply raw_receipt as JSON string or array for batch.
price_lookupLook up pricing for any code402 tool (free). Returns current x402 pricing tiers, accepted networks, and tool availability. Use tool_name for named lookups or url for URL-based lookups.
iban_checkPaid ($0.0029). Validate an IBAN: ISO 13616 structure, country registration, length, MOD 97-10 checksum. Returns pass/fail with all checks and issues. Covers 50 countries.
sanctions_checkPaid ($0.0029). Screen Ethereum addresses and entity names against OFAC/UN/EU sanctions lists. Returns clear/hit with matched entries. Supports both EVM addresses and human-readable names.
onchain_address_checkPaid ($0.0029). Validate an EVM address format and EIP-55 mixed-case checksum. Returns valid/invalid with normalization and checksum status.
lei_checkPaid ($0.0029). Validate a Legal Entity Identifier (LEI, ISO 17442). Checks 20-char alphanumeric format and Mod 97-10 check character. Verified via Rust WASM engine.
luhn_checkPaid ($0.0029). Validate a payment card or account number using the Luhn algorithm (ISO/IEC 7812-1). Checks numeric format and Mod-10 checksum. Verified via Rust WASM engine.
mod97_checkPaid ($0.0029). Calculate ISO 7064 Mod 97-10 remainder for any alphanumeric string. Returns the remainder (0-96, valid=1). Used for IBAN, LEI, and custom identifier validation. Verified via Rust WASM engine.
bundle_verifyPaid ($0.0029–$0.50). Multi-gate compliance bundle: run any combination of IBAN validation, sanctions screening, and EVM address validation in a single call. Returns all gate results + XDR-1 signed receipt. Tier auto-detected from field count.
chain_block_numberPaid ($0.0029). Get the latest Ethereum mainnet block number. Returns block height and timestamp.
chain_balancePaid ($0.0029). Get native ETH balance of any Ethereum address. Returns balance in wei and ETH.
chain_erc20_balancePaid ($0.0029). Get ERC-20 token balance via balanceOf. Returns balance in raw and human-readable form.
chain_noncePaid ($0.0029). Get the next transaction nonce for an Ethereum address.
chain_txPaid ($0.008). Get Ethereum transaction details by hash. Returns from, to, value, gas used, status, block info.
chain_ens_resolvePaid ($0.008). Resolve a .eth ENS name to its Ethereum address via the universal resolver.
chain_gas_pricePaid ($0.0029). Get the current Ethereum mainnet gas price. Returns base fee, priority fee, and max fee in wei and gwei. Useful for estimating transaction costs.
chain_tx_receiptPaid ($0.008). Get the receipt of a confirmed transaction. Returns status (success/fail), gas used, logs, contract address if deployment.
chain_codePaid ($0.0029). Get the deployed bytecode at an address. Returns hex bytecode (empty = EOA, non-empty = contract). Useful for distinguishing contracts from wallets.
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月8日にチェック
公開者(89rat)がリポジトリの所有者(89rat)ではありません。別の人が登録した可能性があります
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
90ミリ秒で応答(HTTP 200)
サインイン不要
18件のツールの説明を読み、AIへの隠れた指示は見つかりませんでした
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック3項目のうち2項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
作者のクラウドで動きます。インストール不要でインターネット経由でつながりますが、送った内容は作者のサーバーを通ります。
GitHubリポジトリの最終更新は–、最新バージョン(0.2.0)がレジストリに届いたのは14 日前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。URLでつながるので、リモートMCPサーバーに対応したアプリ(開発者モードのChatGPTなど)でも使えます。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, Winecellarbuilders
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ 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.
Find the team for your wine room.
リポジトリにREADMEが見つかりません