bastani-inc/atomic
The verifiable coding agent runtime. Define your coding agent's process in natural language with stages, checks, and approval gates instead of hoping it follows your instructions.
何を解決するか
Atomic は、従来のコーディングエージェントにしばしば必要とされる「監視」を排除する検証可能なコーディングエージェントランタイムです。速度を犠牲にすることで品質を確保し、コードが生産環境レビュー前に研究・実装・検証されるようにすることで、低品質で検証されていないコードの通過を防ぎます。
動作方法
Atomic では、エンジニアがエンジニアリングプロセスを明示的で検証可能な実行グラフ(ワークフロー)として構築できます。これらのワークフローは TypeScript で記述するか、平易な英語で記述でき、Atomic がそれを実行可能なグラフに変換します。ランタイムは以下の機能をサポートしています:
- 検証ループ:実行可能なチェックとレビュアーが内蔵されており、失敗は制限された修復ループにルーティングされ、作業が成功するまで繰り返されます。
- 制御と調整:オペレーターは実行中のプロセスに接続し、ストリーミング、調整、一時停止、または中止が可能です。
- 耐久性:実行はチェックポイントに保存され、プロセスが終了しても再開できます。
- 人間の介入:グラフ内のどこにでも承認ゲートを設置でき、人間による意思決定のために実行を一時停止できます。
- 協調性:別々のセッションは「インターホン」を通じて通信し、タスクを分割し、答えに合意できます。
対象ユーザー
高信頼性で最小限の手動検証で複雑なエンジニアリングタスクを自動化したいソフトウェアエンジニア向けです。GitHub、GitLab、Jira、Docker など既存のスタックと、好みの LLM プロバイダーと統合可能です。
特徴
- 検証可能な実行:手動のプロンプトではなく、証拠に基づく結果に焦点を当てます。
- 自然言語による記述:入力、段階、出力の説明を文章で記述することでワークフローを作成できます。
- 生成された PR のマージ率 95%、リバート率 0%(ユーザー報告)。
- 広範なモデル対応:OpenAI、Anthropic、DeepSeek、Ollama、vLLM などのローカルサーバーを含む多数のプロバイダーと互換性があります。
- 広範な統合:CLI、MCP サーバー、API、カスタム拡張を通じて接続可能です。
関連
- プロジェクト
- プロジェクト
- プロジェクト
- プロジェクト
- プロジェクト