pacifio/atlas
- Source
- GitHub
- First trending
- Category
- Coding tools
- GitHub stars
- 8,064
- Main language
- Rust
This page introduces an external open-source repository. It is not an HDATF product.
What it does
Source control for coding agents. Each checkpoint links a commit to the session, prompts, tool calls and reasoning behind it, and agents such as Claude Code and Codex run side by side on one codebase with shared memory.
How it helps ATF
Relevant to Harness, which hands work to executors such as Claude Code and Codex and checks results with evidence. Atlas's checkpoints that tie commits to prompts and tool calls could be a reference for evidence records and handoffs between executors.
License
Apache-2.0 Permissive, with a patent grant. Commercial use is allowed; keep the notices and state your changes.
More in this category
- miuuyy/codex-chatgpt-web
A launcher that adds ChatGPT Web models, including Pro, to Codex's model picker, using ChatGPT Web's own usage limits instead of Codex quota. A full harness mode connects ChatGPT to the task's files, terminal, tools and approvals through MCP. - microsoft/tgrep
tgrep builds a trigram index of a codebase and runs a server that watches for file changes, so regex searches only read files that could match instead of scanning every file. - smithy-lang/smithy-rs
Smithy code generators for Rust clients, servers and the AWS SDK. The project describes its internal and external interfaces as unstable. - vastsa/PI-Desktop
PI-Desktop is a local-first desktop app for AI coding agents, built on Electron, a Rust host core and the pi agent harness. Projects, sessions, reviews, previews, model settings, permissions and plugins sit in one workspace, with any configured model. - bendlang/bend
A programming language that uses declared laws and mathematical proofs to check code correctness. Its compiler also supports parallel execution.
Only repositories in the ranked Trendshift lists are included, and the lists are used only to find candidates. We do not copy their ranks. Descriptions, licenses and star counts come from each GitHub repository. The notes are our own reading. We have not tested these projects, and a place on a trending list does not prove quality.