pacifio/atlas

本页介绍外部开源仓库，并非 HDATF 产品。

它做什么

面向coding agent的源代码管理工具。每个checkpoint都会把提交与产生它的会话、prompt、tool调用和推理过程关联起来，Claude Code、Codex等agent可以共享memory，在同一代码库上并行工作。

Harness会把工作交给Claude Code、Codex等executor，并用证据检查结果。Atlas把提交与prompt和tool调用绑定的checkpoint，可以作为证据记录和executor之间交接的参考。

Apache-2.0 宽松许可，含专利授权。可商用，需保留声明并注明修改。

miuuyy/codex-chatgpt-web
一个launcher，把ChatGPT Web模型（包括Pro）加入Codex的模型选择列表，使用ChatGPT Web自身的用量限制而不消耗Codex配额。其full harness模式通过MCP将任务的文件、终端、tool和审批连接到ChatGPT。
microsoft/tgrep
tgrep为代码库建立三元组(trigram)索引，并运行一个监视文件变化的服务器，使正则搜索只读取可能匹配的文件，而不必扫描全部文件。
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 仓库。解读是我们自己的判断。我们尚未测试这些项目，上榜并不证明质量。