情報科学 › Claude Code の中身 › 拡張の仕組み
JSON-RPC のメッセージ
MCP のメッセージは、次の 3 種類の JSON オブジェクトである(JSON-RPC 2.0。MCP の仕様の 2025-11-25 版と 2026-07-28 版に共通)。
- 要求:
jsonrpc(値は"2.0")、id(文字列か整数。素の JSON-RPC 2.0 と違い、MCP では null は不可)、method(文字列)、任意のparamsを持つ。 - 応答:
jsonrpc、対応する要求と同じid、およびresultかerrorのどちらか一方を持つ。errorは整数のcodeと文字列のmessageを持つ。 - 通知:
jsonrpc、method、任意のparamsを持ち、idを持たない。受け手は応答を返してはならない。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。