MCP HubMCP Hub
SKILL·45E560

holes

plurigrid
更新日 1 month ago
15 閲覧
7
3
7
GitHubで表示
開発general

について

Holesスキルは、既知の構成と必要な構成の間のギャップを表現する型付きホールを使用して、Naryaにおける対話的な証明開発を可能にします。このスキルは、並列合成と随伴を通じて証明コンポーネントを調整するためのエルゴード的な橋渡しとして機能します。部分的な構造や欠落した要素を扱いながら証明を段階的に構築する際に、このスキルをご利用ください。

クイックインストール

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/holes

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

GitHub リポジトリ

plurigrid/asi
パス: skills/holes
0
FAQ

Frequently asked questions

What is the holes skill?

holes is a Claude Skill by plurigrid. Skills package instructions and resources that Claude loads on demand, so Claude can perform holes-related tasks without extra prompting.

How do I install holes?

Use the install commands on this page: add holes to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.

What category does holes belong to?

holes is in the Development category, tagged general.

Is holes free to use?

Yes. holes is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.

関連スキル

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エージェントのデプロイやエージェントワークフローのオーケストレーションを求められた際にご利用ください。

スキルを見る