Show HN: Topos – エージェント作成プログラムのための構造的コード品質メトリクス
コードレビューが新たなボトルネックとなっている。「テストが通った」だけでは変更を信用できず、エージェントが生成したコードの品質評価にかかる人的コストが急増している。Toposはプログラムの構造的特性に基づき、AST、CFG、CPG、MDGなどのグラフにマッピングしてシンプルさ、合成可能性、セキュリティを測定するメトリクスを算出するオープンソースツール。CLI、MCPサーバー、VS Code拡張に対応。
背景メモ
AIエージェント（例：Cursor、Devin、Claude Code）が生成したコードを人間がレビューするコストが急増している。従来の「テスト通過」だけでは品質保証に不十分で、構造的な脆弱性や保守性の評価が欠かせなくなった。
- Toposは、コードを抽象構文木（AST）・制御フローグラフ（CFG）・コードプロパティグラフ（CPG）・モジュール依存グラフ（MDG）などのグラフ構造に変換し、プログラムの「単純さ」「 composability（合成可能性）」「セキュリティ」を定量評価するオープンソースツール。
- 開発元Krv Labsは、企業向けコード品質評価基盤を提供するスタートアップ。評価フレームワークの数学的基盤として圏論（topos理論）を採用している点が特徴。
- CLI、MCPサーバー（AIエージェント統合用プロトコル）、VS Code拡張を提供。AIエージェントがコード生成中にリアルタイムで品質最適化できる。
- 従来の静的解析ツール（ESLint、SonarQubeなど）がルールベースのlintingに留まるのに対し、Toposはプログラム構造そのものから品質指標を導出するアプローチを取る。