pacifio/atlas
- 出典
- GitHub
- 初登場日
- 分野
- コーディングツール
- GitHubスター数
- 8,064
- 主な言語
- Rust
外部のオープンソース リポジトリを紹介するページです。HDATFの製品ではありません。
何をするか
coding agent向けのソース管理ツールです。checkpointごとに、コミットをそれを生んだセッション、prompt、tool呼び出し、推論の過程と結び付けます。Claude CodeやCodexなどのagentが、memoryを共有しながら一つのコードベースで並行して作業できます。
ATFへの役立ち方
HarnessはClaude CodeやCodexなどのexecutorに作業を渡し、結果を根拠で確認します。コミットをpromptやtool呼び出しに結び付けるAtlasのcheckpointは、根拠の記録やexecutor間の引き継ぎの参考になり得ます。
ライセンス
Apache-2.0 寛容で特許許諾を含みます。商用利用できます。告知を残し、変更点を明記します。
同じ分野のリポジトリ
- miuuyy/codex-chatgpt-web
Codexのモデル選択リストにChatGPT Webのモデル(Pro含む)を追加するlauncherです。CodexのquotaではなくChatGPT Webの利用上限を使い、full harnessモードではMCPを通じてタスクのファイル、ターミナル、tool、承認をChatGPTにつなぎます。 - microsoft/tgrep
tgrepはコードベースのトライグラムインデックスを作り、ファイルの変更を監視するサーバーを動かすことで、正規表現検索のたびに全ファイルを走査せず、一致しうるファイルだけを読みます。 - smithy-lang/smithy-rs
Rustのクライアント、サーバー、AWS SDKを作るSmithyコード生成器です。プロジェクトは内部と外部のインターフェースが不安定だと明記しています。 - vastsa/PI-Desktop
PI-Desktopは、AI coding agentのためのローカルファーストのデスクトップアプリで、Electron、Rustのホストコア、pi agent harnessで作られています。プロジェクト、セッション、レビュー、プレビュー、モデル設定、権限、プラグインを一つのワークスペースにまとめ、設定した任意のモデルで使えます。 - bendlang/bend
宣言した規則と数学的証明でコードの正しさを確認するプログラミング言語です。コンパイラは並列実行にも対応します。
Trendshiftのランキングに入ったリポジトリだけを載せ、リストは候補を探すためだけに使いました。順位の数字は転載していません。説明、ライセンス、スター数は各GitHubリポジトリで確認しました。解説は私たちの判断です。これらを試験したわけではなく、上昇リストに載ったことは品質の証明ではありません。