teaql/teaql-agent-kit

何を解決するか

TeaQL Agent Kit は、要件から実装へ直接移行するコーディングエージェントの不安定性に対処します。エージェントがドメイン契約とビジネスロジックを同時に発明することを防ぐために、意図とコードの間に決定論的でモデル媒介されたレイヤーを導入します。

動作方法

プロンプトからコードへのループではなく、TeaQL は「ハーネスパターン」を実装し、特定の実行順序を強制します：

1. ドメインモデリング：エージェントはビジネス意図の検査可能な中間表現（KSMLモデル）を作成します。
2. 決定論的評価：フィードバックオラクルがモデルにエラーがないかチェックし、具体的な修正ガイドを提供します。
3. 契約生成：検証が完了すると、モデルは複数言語向けの型付きAPI境界（ドメインライブラリ）に変換されます。
4. 制約付き実装：エージェントはこの固定された契約に従ってアプリケーションロジックを実装し、モデルに意識を持つ支援ツールが利用可能なAPIをエージェントに教える助けになります。
5. 検証：結果はコンパイル、テスト、ランタイムポリシーチェックを通じて検証され、証拠に基づいた結果が生成されます。

対象ユーザー

非決定論的なAI生成に対して高い信頼性、監査可能性、決定論的構造を必要とする、コーディングエージェントやエージェントワークフローを構築するソフトウェア開発者やAIエンジニア。

特徴

• 多言語対応：Java、Rust、Go、Swift、Python、C#/.NET、TypeScript向けの型付きドメインライブラリを生成。
• ランタイムガバナンス：必須のID、意図の監査（読み取りの目的/コメント、書き込みの監査理由）、能力のサンドボックス化を強制。
• 証拠に基づく完了：初期要件から評価・テストを経て最終アプリケーションに至るまで、追跡可能な証拠の連鎖を構築。
• 並列での人間レビュー：人間のレビュアーがKSMLモデルを検査し、エージェントの進行をブロックせずに非同期フィードバックを提供可能。