MCP HubMCP Hub
SKILL·BAE062

mcp-spec-checker

plurigrid
更新日 3 months ago
14 閲覧
7
3
7
GitHubで表示
開発mcp

について

mcp-spec-checkerは、MCPプロトコル仕様間の意味論的比較を、3つの数学的に検証されたアプローチ(Narya型、GF(3)評価器、Unison効果)を用いて実施し、必須の相互検証を行います。これは、プロトコルの検証、破壊的変更の検出、および仕様バージョン間の安全な移行を目的として設計されています。開発者は、単純なテキスト比較ではなく、MCP仕様の厳密な述語レベルの差分分析が必要な場合に、このツールを使用すべきです。

クイックインストール

Claude Code

推奨
メイン
npx skills add plurigrid/asi -a claude-code
プラグインコマンド代替
/plugin add https://github.com/plurigrid/asi
Git クローン代替
git clone https://github.com/plurigrid/asi.git ~/.claude/skills/mcp-spec-checker

このコマンドをClaude Codeにコピー&ペーストしてスキルをインストールします

GitHub リポジトリ

plurigrid/asi
パス: plugins/asi/skills/mcp-spec-checker
0
FAQ

よくある質問

mcp-spec-checker Skillとは何ですか?

mcp-spec-checker はplurigrid が作成した Claude Skillです。Skillは、Claudeが必要に応じて読み込む指示とリソースをまとめ、追加の指示なしで mcp-spec-checker に関連するタスクを実行できるようにします。

mcp-spec-checker をインストールするには?

このページのインストールコマンドを使用してください。mcp-spec-checker をプラグインとして Claude Code に追加するか、リポジトリを skills ディレクトリにクローンし、Claudeを再起動してSkillを読み込みます。

mcp-spec-checker はどのカテゴリに属しますか?

mcp-spec-checker は 開発 カテゴリに属します。

mcp-spec-checker は無料で利用できますか?

はい。mcp-spec-checker は AIMCP に掲載されており、無料でインストールできます。

関連スキル

qmd
開発

qmdは、BM25、ベクトル埋め込み、およびリランキングを組み合わせたハイブリッド検索を用いて、ローカルファイルのインデックス作成と検索を可能にするローカル検索・インデックス作成CLIツールです。コマンドラインでの使用と、Claudeとの統合のためのMCP(Model Context Protocol)モードの両方をサポートしています。このツールは埋め込みにOllamaを使用し、インデックスをローカルに保存するため、ターミナルから直接ドキュメントやコードベースを検索するのに最適です。

スキルを見る
subagent-driven-development
開発

このスキルは、各独立したタスクに対して新規のサブエージェントを起動し、タスク間でコードレビューを実施しながら実装計画を実行します。レビュープロセスを通じて品質基準を維持しつつ、迅速な反復を可能にします。同一セッション内で主に独立したタスクに取り組む際に本スキルをご利用いただくことで、組み込まれた品質チェックを伴う継続的な進捗を確保できます。

スキルを見る
mcporter
開発

mcporterスキルは、開発者がClaudeから直接Model Context Protocol(MCP)サーバーを管理および呼び出せるようにします。このスキルは、利用可能なサーバーの一覧表示、引数を指定したツールの呼び出し、認証およびデーモンのライフサイクル管理を行うコマンドを提供します。開発ワークフローにおいてMCPサーバーの機能を統合およびテストする際に、このスキルをご利用ください。

スキルを見る
adk-deployment-specialist
開発

このスキルは、A2Aプロトコルを使用してVertex AI ADKエージェントをデプロイおよびオーケストレーションし、AgentCardの発見、タスク送信、およびコード実行サンドボックスやメモリバンクなどのサポートツールを管理します。Python、Java、またはGoで、順次、並列、またはループのオーケストレーションパターンを用いたマルチエージェントシステムの構築を可能にします。Google Cloud上でADKエージェントのデプロイやエージェントワークフローのオーケストレーションを求められた際にご利用ください。

スキルを見る