跳到正文
Hacker News· New_Hash·· 9 天前AI 评分38

HashCortX 3.0.0 发布：自带 harness 的本地优先 AI 编程工具

Experimenting with HashCortX Lately

AI 导读

HashCortX 发布 3.0.0 版本，主打"harness"机制：由 HashCortx 而非模型决定模型能看到什么、可自主做什么、以及运行结束前必须证明什么，每次运行由应用本身校验而非听信模型自述。

正文 · AI 翻译

HashCortx 3.0 on opening: the app mark, and a start-up list for the runtime, model routing, the interface, the agents and the content security policy
Nothing 不打电话回家 没有分析，没有崩溃报告，没有更新检查。每一次连接都是为了你要求的任务，SECURITY.md 列出了每个地址。
每个模型，并排对比 十一个云服务商、Ollama，以及任何使用通用聊天格式的本地模型应用，都使用你自己的密钥。随时可以完全本地运行。
先询问的智能体 命令、删除、网页以及项目之外的任何操作，都会等待你的同意。每一次文件更改都是一个差异，你可以保留或撤销。
可读到最后一行 MIT。原生 JavaScript 和 Rust，没有打包器，没有压缩的应用代码。

版本 3.0.0，测试框架发布版。 HashCoder 现在会证明并检查自己的工作，并适配它所运行的模型。新功能。

看它运行

八个工作区
聊天 所有服务商在一个对话中，支持项目、附件、记忆和本地知识库
HashCoder 在你真实项目上运行的编码智能体：文件树、差异、终端、撤销
智能体集群 智能体团队可混合使用任意模型，在画布上构建或根据你的任务设计
3D Forge 描述一个零件，得到一个带尺寸的实体。STL、OBJ、3MF 和 STEP，以毫米为单位
ERP 描述你的业务；它的智能体构建一个可用的应用，包含记录、阶段和账簿，并导出为一个 HTML 文件
财务 将报表、CSV、PDF 和 XLSX 读取为数字，每个总计和图表都由应用计算得出
沙盒 智能体检查不受信任的代码中的恶意软件、提示注入和可疑逻辑
虚拟操作系统 一个模拟桌面，智能体在其中构建项目

外加 智能体，九个内置专家和一个用于构建你自己的智能体的构建器，Split，一个提示由两个模型并排回答，以及 连接：一个通过 MCP 连接的业务系统（Odoo、GitHub、Stripe 和 Supabase 已就绪），其密钥永远不会到达页面或模型，其每一次更改都会先询问你。如何实现。

HashCoder 及其测试框架

它在你真实的文件上工作。每一次编辑都是一个带有 保留 和 撤销 的差异，测试在内置终端中运行，截图、PDF 和文件可通过粘贴或拖放附加。模型周围有一个测试框架：模型看到什么、它可以不经询问做什么，以及一次运行结束前必须证明什么，都由 HashCortx 决定，而不是由模型决定。

The HashCoder harness: it reads the project, plans ask by ask, edits under your permission mode, proves the change with your tests, takes a second look at larger changes, and sends itself back until the work is proven. Small models get light mode, mid-sized models focused tools, larger and cloud models the full harness.

每一次运行都由应用检查，而不是凭模型的一面之词。 它 读取 项目、面向智能体的笔记和最新提交；规划 你的请求，逐项询问；编辑 为你可以保留或撤销的差异，在你的权限模式下；证明 更改，通过运行你的测试并像浏览器一样读取网站；以 审查者 身份对较大的更改再看一眼；并 将自己送回 以处理遗漏的请求、遗留物和无来源的细节，直到工作得到证明。它适配模型：5B 以下，轻量模式，模型编写整个文件，HashCortx 完成工具工作并运行测试；5B 到 15B，聚焦工具，步骤写出来，并为较长的请求制定计划；15B 及以上，以及云模型，完整测试框架，包含你的代码地图、每个项目的经验教训，以及针对较大更改的审查者。

  • 证明其工作。 它在变更后运行你的测试，像浏览器一样读取网站，然后才宣布完成，并把未完成的部分退回给自己处理：某个已改名的名称仍写在某处、文件之间无法互相加载、你的请求所给出的示例。
  • 适配模型。 云端模型会获得你代码的映射图；小型本地模型则获得轻量模式，由它写出完整文件，而 HashCoder 负责工具性工作。
  • 保留你未要求更改的内容。 删除某个函数、某个部分或某个标题的编辑会被退回，而你要求保持原样的内容会保持原样。
  • 按你的选择决定询问程度。 手动模式在每次更改前询问，也是它的初始状态；接受编辑模式可自由写入项目文件；自动模式会添加一组固定的读取、搜索和检查命令。

HashCoder: a run on a local model that added validation to a route, shown as a diff with Keep and Undo, with the passing test run said under the answer

Agent Swarm

在画布上组建团队，从模板开始，或描述任务并让系统设计一个团队，按任务规模配置。在实时追踪中查看每个 agent，然后打开结果：每个 agent 的部分、它生成的文件及其每个版本。未完成的 agent 可以单独重新运行。团队构建的网站可以展示真实的、开放许可的照片，并在页面上注明出处。

Agent Swarm: a four-agent team mid-run on a canvas, with the live trace below

安全，直白说明

HashCoder asking permission to run npm test in the project, with Deny, Allow for session and Allow once

  • 你批准重要事项，每个决定都会写入 ~/.hashcortx/audit.log。
  • 编译进 Rust 的阻止列表会拒绝密钥、凭据和系统文件夹，无论是作为文件还是在命令中。
  • 在 macOS 上，agent 命令在系统沙盒中运行，与你的密钥、钥匙串、shell 启动文件和应用自身数据隔离。
  • 本地模型上的任务留在本地，云端请求限制为每分钟 30 次、同时 6 次。
  • 它不是什么： 密钥未加密存储，仅由你的用户账户保护，且构建未进行代码签名。

它做与不做的一切，都在 SECURITY.md 中。

安装

macOS（Apple Silicon）。 从 最新发布 下载 DMG，并将 HashCortx 拖入 Applications。该构建未经过公证：首次启动时，右键点击应用，选择 打开，然后再次点击 打开。如果 macOS 仍然拒绝：

xattr -dr com.apple.quarantine /Applications/HashCortx.app

Windows。 从 最新发布 运行安装程序。它构建时未包含嵌入模型，因此可在任何 64 位 PC 上启动，并通过关键词搜索知识库。

Linux 和 Intel Mac。 从源码构建，见下文。

然后打开 设置 → API 密钥，添加密钥并点击 测试，或通过 设置 → 本地模型 在你自己的机器上运行模型。

从源码构建 

cd ~
git clone https://github.com/Hash-7777/HashCortX.git
cd HashCortX
npm install
npm run tauri dev      # develop
npm run tauri build    # package

需要 Node 18+ 和通过 rustup 安装的 Rust，以及 macOS： Xcode Command Line Tools · Linux： Ubuntu 24.04+ 及 Tauri v2 系统库 · Windows： MSVC 构建工具和 WebView2。

在 Windows 上，先运行 cd ~。 管理员 PowerShell 会在 C:\Windows\System32 中启动，而在那里检出代码会因误导性的“找不到文件”而打包失败。

在 Windows 上，在 Ollama 中允许该应用。 该应用的页面来自 http://tauri.localhost，在获得允许之前 Ollama 会拒绝它。运行 setx OLLAMA_ORIGINS "http://tauri.localhost" 并重新打开 Ollama；在此之前，应用会提示本地模型应用拒绝了它。

较旧的 x86-64 处理器（不支持 AVX2）。 默认构建链接的 ONNX Runtime 需要 AVX2 和 BMI2（Intel Haswell、AMD Excavator 及更新型号）；用它构建的应用在较旧的处理器上会在窗口出现前就关闭。在这样的处理器上构建会在构建早期、应用本身编译之前就停止，并给出相应提示。改为不带嵌入模型构建，搜索会回退到关键词：

npx tauri build -- --no-default-features
npm run tauri dev -- -- --no-default-features     # and to develop
cargo test --manifest-path src-tauri/Cargo.toml --no-default-features     # and to test

在提交 pull request 之前，运行 CI 在 Linux、macOS 和 Windows 上运行的检查：

npm run check                                     # 10,189 source checks
cargo test --manifest-path src-tauri/Cargo.toml   # 223 Rust tests

Tauri v2 · Rust · 无打包器的原生 JavaScript，按原样提供。 架构 · 安全 · 贡献 · 更新日志

常见问题

免费吗？ 是的。MIT 许可，没有付费层级。你直接向 AI 提供商付费，或者使用本地模型则无需付费。

可以离线使用吗？ 可以，配合 Ollama 或其他本地模型应用。网页搜索、云端模型和 Python 沙盒的首次启动需要联网。

支持哪些系统？ Apple Silicon 上的 macOS，已构建并每日使用。Windows 10，已测试。Linux 可以构建并通过 CI，但尚未有人实际运行过。

我的代码会离开我的机器吗？ 只会出现在你所选模型的请求中。没有 HashCortx 服务器。

我的密钥加密了吗？ 没有。它们存放在应用自己的文件夹中，由你的用户账户保护。原因。

是用 AI 构建的吗？ 是的，在人类架构、审查和修正下使用 AI 编码模型。每个产品和安全决策都由作者做出。

更多内容见 Wiki。

快捷键 操作
Cmd/Ctrl + Shift + C 打开或离开 HashCoder
Cmd/Ctrl + Shift + N 新建聊天
Cmd/Ctrl + K 模型选择器

Hash 生态系统

应用 简介 许可证
HashCortx （你在这里） 本地优先的 AI 工作区 MIT
HashCerebrum 带 3D 大脑界面的医学研究工作台 AGPL-3.0
HashMeterAi 诚实记录你 AI 使用量的本地计量器 Apache-2.0
HashNotch 把 MacBook 刘海变成实时活动岛 GPL-3.0

它们通过你磁盘上的文件连接，而不是通过服务：HashCortx 在 ~/.hashcortx/usage.jsonl 中为 HashMeterAi 记录 token 计数，并为 HashNotch 发布一条简短的“已完成”通知和一个标题，从不包含提示词或回答。

来源：Hacker News · github.com

Agent 智能体AI 编码开源生态部署工程产品更新#产品更新#Agent#编码#开源/仓库#部署/工程