miuuyy/codex-chatgpt-web

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

它做什么

一个launcher，把ChatGPT Web模型（包括Pro）加入Codex的模型选择列表，使用ChatGPT Web自身的用量限制而不消耗Codex配额。其full harness模式通过MCP将任务的文件、终端、tool和审批连接到ChatGPT。

主要是绕开某一个coding tool配额的工具。其full harness模式可以作为Harness的宽松参考，看在executor背后的模型更换时如何让任务的文件、tool和审批保持连接。

smithy-lang/smithy-rs
这是为Rust客户端、服务器和AWS SDK生成代码的Smithy代码生成器。项目明确说明其内部和外部接口尚不稳定。
pacifio/atlas
面向coding agent的源代码管理工具。每个checkpoint都会把提交与产生它的会话、prompt、tool调用和推理过程关联起来，Claude Code、Codex等agent可以共享memory，在同一代码库上并行工作。
bendlang/bend
这是一种通过声明规则和数学证明检查代码正确性的编程语言。其编译器也支持并行执行。
microsoft/tgrep
tgrep为代码库建立三元组(trigram)索引，并运行一个监视文件变化的服务器，使正则搜索只读取可能匹配的文件，而不必扫描全部文件。
qiz029/dscode
DSCODE是基于DeepSeek Harness的macOS终端编程代理。持久化Shell、TUI、CLI和脚本共享会话运行环境，会话之间可以移交任务并请求独立审查。

只收录进入 Trendshift 排行榜的仓库，榜单仅用于寻找候选项目，不转载名次。说明、许可证和星标数来自各 GitHub 仓库。解读是我们自己的判断。我们尚未测试这些项目，上榜并不证明质量。