Community研究&データ分析github.com

modiqo/skillspec

SkillSpec は、Doctor リスクレポート、ガイド付きインポート、構造化コントラクト、アライメント証明により、エージェントスキルを追跡可能、テスト可能、証明可能にします。

skillspec とは?

SkillSpec は、AI エージェント(Claude Code、Coder、Codex など)向けのスキル定義フレームワークです。このスキルは、エージェントが実行するタスクを「追跡可能(followable)」「テスト可能(testable)」「証明可能(provable)」にするための機能を提供します。具体的には、Doctor リスクレポートによるリスク評価、ガイド付きインポートによる安全な外部コードの取り込み、構造化コントラクトによる入出力の厳密な定義、そしてアライメント証明によるエージェントの意図と実際の動作の一致確認をサポートします。これにより、開発者はエージェントの動作をより確実に管理・検証できるようになります。

対応~Claude Code~Codex CLI~Cursor
npx skills add modiqo/skillspec

Installed? Explore more 研究&データ分析 skills: affaan-m/uspto-database, affaan-m/scholar-evaluation, affaan-m/literature-review · View all 6 →

お気に入りのAIに質問する

このエージェントスキルを事前に読み込んだ状態で新しいチャットを開きます。

ドキュメント

skillspec は何をしますか?

SkillSpec は、Doctor リスクレポート、ガイド付きインポート、構造化コントラクト、アライメント証明により、エージェントスキルを追跡可能、テスト可能、証明可能にします。

関連スキル