bendlang/bend

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

它做什么

这是一种通过声明规则和数学证明检查代码正确性的编程语言。其编译器也支持并行执行。

Harness可以参考其依据明确规则检查AI生成代码的方法。

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

qiz029/dscode
DSCODE是基于DeepSeek Harness的macOS终端编程代理。持久化Shell、TUI、CLI和脚本共享会话运行环境，会话之间可以移交任务并请求独立审查。
smithy-lang/smithy-rs
这是为Rust客户端、服务器和AWS SDK生成代码的Smithy代码生成器。项目明确说明其内部和外部接口尚不稳定。
zai-org/ZCode
这是提供桌面、浏览器和终端界面的AI编程工作台，仓库包含客户端、后端服务、共享UI、智能体CLI和运行时源码。
miuuyy/codex-chatgpt-web
一个launcher，把ChatGPT Web模型（包括Pro）加入Codex的模型选择列表，使用ChatGPT Web自身的用量限制而不消耗Codex配额。其full harness模式通过MCP将任务的文件、终端、tool和审批连接到ChatGPT。
zeronsh/zeron
这是用于控制Claude Code、Codex、Cursor等编码agent的原生control plane。每台设备运行本地引擎并把会话存在本机，登录后可选择多设备同步。

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