SharpLogic

概要

• AIエージェントのワークフローを実行前に静的解析し、デッドロックや行き止まり、ライブロックにつながる条件を特定します。
• ワークフローのノード、エッジ、ガード条件を含むLangGraph形式のJSONを入力として、問題が起きる割り当てを正確に数え上げます。

特徴

• サンプリングに頼らず、Rust製の#k-SATカウンターと構造解析によって、トラップの総数を厳密に算出します。
• 問題が発生する件数だけでなく、どのノードがどの条件下で停止するのかという具体的な証拠も確認できます。

こんな人におすすめ

• 複雑な分岐やガード条件を持つAIエージェントのワークフローを、実行前に検証して障害を減らしたい開発者に適しています。
• ブラウザで手軽に試したい場合にも、依存関係やネットワーク接続を避けてCLIをオフラインで使いたい場合にも対応します。