semi-formal-reasoning は何をしますか？
構造化コード検証、障害箇所特定、およびセマンティック分析 — Agentic Code Reasoning 論文に基づくエージェントスキル
このスキルは、コードの形式的検証とセマンティック分析を構造的に行うためのものです。「Agentic Code Reasoning」(ACR) 論文で提案された手法を実装しており、AIエージェントが以下のことを可能にします：
- コード検証: コードの仕様と実装の間の整合性をチェックします
- 障害箇所特定: 複雑な条件分岐やデータフローの問題を特定します
- セマンティック分析: 変数の使用法や関数の事前条件/事後条件を解析します
主な機能
- 半形式的検証ルールの生成
- 検証ルールの実行による欠陥検出
- 注釈ベースの仕様記述と検証
対応プラットフォーム
- Claude Code
- Cursor
- Codex
使用方法
詳細な使用方法については、Agentic Code Reasoning 論文 を参照してください。
# 例：検証ルールの適用
agent-verify --target ./path/to/code
注意事項
- このスキルは実験的なものであり、すべてのコードに対して完全な検証を保証するものではありません
- 検証結果は開発者の判断を補助するものであり、それ自体が絶対的な正しさを保証するものではありません