logic-lens は何をしますか？
リンターが見逃すバグを検出——実行トレースによるロジック優先のコードレビュー。動作バグ、型契約違反、意味的ミスマッチを9つのリスクカテゴリにわたって発見します。6つのスキル（レビュー、説明、差分、特定、健全性チェック、自律監査・修正パイプライン）を提供。Claude Code・Codex CLI・Gemini CLIに対応。
概要
logic-lens は、静的解析だけでは捉えられない実行時の動作不具合を、実際のコード実行トレースを解析することで検出します。以下の6つのサブコマンドを持ちます：
- review: コードブロック全体をレビューし、9カテゴリでリスクを報告
- explain: 特定のバグや警告について詳細な説明を提供
- diff: 2つのコードブロック間の動作差分を分析
- locate: 問題が発生するコード行を特定
- health-check: コードベース全体の健全性をスコアリング
- autonomous audit-and-fix: 検出から修正までを自律実行するパイプライン
対象プラットフォーム
- Claude Code
- Codex CLI
- Gemini CLI
使い方
各CLIに応じてスキルをインストール後、以下のように呼び出します：
# コードレビューの実行
your-cli logic-lens review ./path/to/code.py
# 自律監査・修正パイプライン
your-cli logic-lens audit-fix ./path/to/project
リスクカテゴリ
- ロジックエラー
- 境界条件ミス
- 型契約違反
- リソースリーク
- 並行性バグ
- 外部依存の誤用
- エラーハンドリング欠落
- 非効率なアルゴリズム
- 意味的ミスマッチ
注意事項
- 実行トレースを必要とするため、テスト可能なコード環境が必要です。
- 分析にはある程度の実行時間がかかる場合があります。