MCP HubMCP Hub
SKILL·318D1A

bisimulation-oracle

plurigrid
更新日 3 months ago
13 閲覧
7
3
7
GitHubで表示
メタbisimulationoracleformalbehavioral-equivalencegamegf3lts

について

このスキルは、二つのシステム(スキルやプロセスなど)が動作的に等価かどうかを、模擬等価(ビシミュレーション)アルゴリズムを用いて形式的に判定します。強模擬等価、弱模擬等価、GF(3)彩色模擬等価ゲームを実装することで、明確なYES/NOの回答を提供します。開発者は、二つのシステムが外部の観測者から区別不可能であるかどうかを厳密に検証するバリデータとして、本スキルを利用すべきです。

クイックインストール

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/bisimulation-oracle

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

GitHub リポジトリ

plurigrid/asi
パス: skills/bisimulation-oracle
0
FAQ

よくある質問

bisimulation-oracle Skillとは何ですか?

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

bisimulation-oracle をインストールするには?

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

bisimulation-oracle はどのカテゴリに属しますか?

bisimulation-oracle は メタ カテゴリに属します。

bisimulation-oracle は無料で利用できますか?

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

関連スキル

content-collections
メタ

このスキルは、Content Collections(Markdown/MDXファイルを型安全なデータコレクションに変換するTypeScriptファーストのツール)の本番環境でテストされた設定を提供します。Zodバリデーションによる型安全性を実現し、ブログ、ドキュメントサイト、コンテンツ重視のVite + Reactアプリケーション構築時にご利用ください。Viteプラグインの設定、MDXコンパイルから、デプロイ最適化、スキーマバリデーションまで、すべてを網羅しています。

スキルを見る
polymarket
メタ

このスキルは、開発者がPolymarket予測市場プラットフォームを活用したアプリケーション構築を可能にします。API統合による取引や市場データの取得に加え、WebSocketを介したリアルタイムデータストリーミングにより、ライブ取引や市場活動を監視できます。取引戦略の実装や、ライブ市場更新を処理するツールの作成にご利用ください。

スキルを見る
creating-opencode-plugins
メタ

このスキルは、開発者がコマンド、ファイル、LSP操作など25種類以上のイベントタイプにフックするOpenCodeプラグインを作成することを支援します。JavaScript/TypeScriptモジュール向けに、プラグイン構造、イベントAPI仕様、および実装パターンを提供します。カスタムイベント駆動ロジックでOpenCode AIアシスタントのライフサイクルをインターセプト、監視、または拡張する必要がある場合にご利用ください。

スキルを見る
sglang
メタ

SGLangは、高性能なLLMサービングフレームワークであり、RadixAttentionプレフィックスキャッシュを活用したJSON、正規表現、エージェントワークフロー向けの高速で構造化された生成を特長とします。特にプレフィックスが繰り返されるタスクにおいて、大幅に高速な推論を実現し、複雑な構造化出力やマルチターン対話に最適です。制約付きデコードが必要な場合や、広範なプレフィックス共有を伴うアプリケーションを構築する場合は、vLLMなどの代替案ではなくSGLangを選択してください。

スキルを見る