NOETRA

NOETRA — 通用认知引擎

为 AI Agent 提供可核查的轨迹：证据、形式逻辑和前置条件计划。

本地优先的开源 MCP 服务 · CLI · TypeScript SDK。核心可在搭载 Node.js 的普通 CPU 上运行；无需 GPU、AI 订阅或模型 API 密钥。 它会保存带有来源归属的证据，通过 Z3 检查给定的整数约束，并根据明确的依赖关系制定计划。它不会取代你的宿主 AI。

观看录制的预览 · 在本地试用引擎 · npm · 连接你的 Agent · 工具 API · 发布状态

开发者 alpha 0.1.0-alpha.4。 查看发布可用情况，了解当前 npm、MCP Registry 和托管演示的状态。无论这些服务如何，均可获取源代码并通过本地 tarball 安装。 图像转 3D 是一项可选且尚未完成的高级工作流；目前没有经过验证的 90% 保真度声明。

一分钟内试用

使用 Node.js 24.11+（24.x 系列）或 Node.js 26+，运行已发布的精确版本：

npx --yes [email protected] demo

打开 **http://127.0.0.1:7860**。检查一项声明、切换一个缺失的前置条件，或查看一条证据记录。这些控件会执行实际引擎，而非预设结果。每次运行都会使用独立的内存数据库，之后即予以丢弃。不会安装模型下载内容或可选的 3D 工具。按 Ctrl+C 停止。

还没有安装？免费在线预览可供查看真实的记录示例和演示流程。它展示已存储的结果，不会在远程运行引擎。上方的命令会在本地运行实际引擎。npm 包已对照经审核的上传内容进行检查，且通过了全新匿名注册表安装后的 MCP/SQLite/Z3 自检。

观看 60 秒结果演示 · 如何复现示例

演示流程会将引擎的实际输出呈现为带标签的卡片；它不是浏览器录屏。捕获来源信息。

可供检查的结果

示例	NOETRA 的操作	范围
整数前提 x ≥ 2，声明 x ≥ 1	Z3 检查蕴含关系	仅对给定的整数前提有效
相同前提，更强的声明 x ≥ 5	返回反例	这是形式反例，并非现实世界测量结果
构建 → 审核 → 发布，缺少测试	报告受阻操作	操作/效果由用户提供；不会发布任何内容
一条观测到的测试结果	保存来源、摘要和局限性	仍是不可信的观测结果，并非证明

由 NOETRA2 维护。核心代码采用 MIT 许可证。可选提供方各自使用不同的许可证，且不会随包捆绑或自动安装。NOETRA 独立于 Nexa 应用，且未获 Tencent、OpenAI、REA、Blender 或其他上游项目认可。

已实现的功能

• 在项目本地 SQLite 记忆中保存证据记录、假设、未知项和修订历史；支持显式本地导出和移除。
• 结构化世界图谱、规则推导和矛盾检测。
• 使用 Z3/WASM 检查提供的整数线性约束、蕴含关系和反例。形式化结果仅适用于其前提，不代表经验事实。
• 依赖项／前置条件规划，以及对由主机编写的候选项进行排序。
• 十一项默认 MCP 操作；经过明确配置后可启用二十三项可选重建操作，另有一条可选 Ghidra 路由。
• 可选的 REA 集成，用于权限范围内的软件调查。
• 保留参考信息、源文件哈希、经过校准的剪影实验、有界部件修正，以及本地网格导出／渲染验证。
• 自动生成观测到的颜色系列、连通图像区域、边界和纹理方向。颜色区域并非经过验证的解剖部件。
• 使用真正的 xatlas 生成 UV，并通过 Blender 烘焙 PBR 贴图；测量色板预览使用已有的带属性布局，并保留原始几何体。

从此仓库安装

前置条件：Node.js 24.11+（24.x 系列），或 Node.js 26+ 和 npm。 核心推理／MCP 工具无需 GPU。

git clone https://github.com/NOETRA2/NOETRA.git
cd NOETRA
npm ci --ignore-scripts
npm run build
node dist/apps/cli/src/index.js help
node dist/apps/cli/src/index.js doctor
node dist/apps/cli/src/index.js test

GitHub 的 Code → Download ZIP 也提供源代码；解压后，在该文件夹中运行 npm 命令。经验证的所有者 harshavardhan2 在 npm 上发布确切版本后，即可无需构建源代码直接运行：

npx --yes [email protected] test
npx --yes [email protected] demo

为确保 AI 主机注册持久有效，请使用项目本地安装，而不要依赖 npm 临时缓存路径。可用性和发布验证情况记录在发布状态文档中；这些命令并不表示尚未验证的软件包或托管端点已上线。

要构建本地分发包：

npm pack

连接 AI 主机

node dist/apps/cli/src/index.js setup --client codex --scope project
node dist/apps/cli/src/index.js setup --client cursor --scope project
node dist/apps/cli/src/index.js setup --client claude --scope project

设置预览会先显示配置。Cursor/Claude JSON 设置需要经过审查的 --apply --yes；Codex 注册会打印 TOML 片段供手动审查。之后重新连接主机。不会静默替换现有 AI 客户端或 REA 设置。请参阅安装说明。

使用的模型和工具

组件	作用	无法证明的内容
Codex host agent	解读需求、编写脚本和候选方案，并审查输出	原始实验未记录确切的主机模型标识符
内置图像生成工具	创建参考图和概念图	这些图像不是网格的渲染图；未记录确切的图像模型／版本
Tencent Hunyuan3D-2mini Turbo	实际生成学习得到的狮子几何形状	隐藏表面、准确解剖结构、物理尺寸和材质仍未验证
TripoSR + U2Net/rembg	可选的本地形状后端／前景估计	不会自动融合详细的多视图重建
Blender 5.2.2 LTS	网格组装、PBR 烘焙、导出和实际渲染	成功渲染不代表准确度评分
xatlas 0.0.11；OpenCV；NumPy/SciPy	UV 图表、外观测量、图像／几何计算	颜色聚类无法识别解剖结构或还原深度
Z3	检查明确的形式化约束	无法评判艺术质量或物理真实性
REA 6.7.0 / 可选的 Ghidra	经授权的软件调查	它们是分析工具，不是图像转 3D 生成器

狮子模型修订版为 f90a0f7df7d5e6f71109cf333f6a95a0ae3194a6； 上游源代码提交为 f8db63096c8282cb27354314d896feba5ba6ff8a。 固定版本清单包含完整的检查点／源代码哈希。不包含模型权重、 第三方应用、私人账户和本地模型缓存。

Hunyuan 是单独授权的可选提供方，模型权重不采用 MIT 许可证。 启用前，请查看其许可证、 声明和 模型／来源溯源信息。 其许可证包含地域和用途限制。启用该提供方时由 Tencent Hunyuan 提供支持；Tencent 不赞助、认可或运营此独立项目。

真实网格演示

以下图片是实际网格的 Blender 渲染图，并非冒充 3D 输出的概念生成图。 详情、设置和限制请参见比较。

狮子：独立 Blender 网格与 NOETRA 工作流对比

左侧：不使用 NOETRA，这是一个新的、由主机编写的程序化狮子，直接在 Blender 中使用基本体、重新网格化和实体几何创建。没有使用 NOETRA 代码或学习得到的 形状模型生成该网格。右侧：使用 NOETRA，这是通过其 Hunyuan3D-2mini Turbo 工作流创建的现有狮子。两张图片均以相同的黏土材质、灯光、视角和归一化高度 渲染真实网格。程序化狮子采用风格化设计；这些不同的方法并非对 NOETRA 质量或准确度的受控测试。可下载的网格、脚本和第二个 角度见比较。

我们还单独运行了 Hunyuan 直接推理，绕过 NOETRA，其他输入／设置则保持 一致。所得结果与工作流的原始网格完全相同；报告保留了这项证据。不声称数值准确度有所提升。

验证与局限

本地核心 TypeScript/构建检查、71 项 Node 测试和 CLI 协议自检均已通过。重建 Python 测试套件和针对缓存/区域的测试均已通过（记录的测试运行共计 156 项）。示例网格已实际导出、重新导入并渲染。 GitHub Actions 结果在可用后，与这些本地检查分开处理。

狮子网格和绘画仍不完整。准确的面部解剖结构、语义部件与网格的对应关系、经过校准的详细多视图融合、固有反照率/PBR 恢复以及可靠的未观测几何均尚未完成。自动外观就绪门仍为 false；明确请求的未经验证绘画预览不会覆盖该状态，也不会替代已验收模型。

准确性不能用三角形数量、水密性、成功导出或视觉上令人满意的截图来衡量。 在提出 90% 之类的数值保真度声明之前，我们需要定义明确的指标、独立的 3D 真值数据、留出输入和可复现的评估。

文档

架构 · 工具 API · 安全 · REA · 重建 · 外观分析 · 表面绘制 · 第三方声明

开发

npm ci --ignore-scripts
npm run check

Python 重建测试需要单独配置本地依赖； 仅安装核心包不会运行模型推理，且模型推理为可选项。 请通过 GitHub Issues 报告可复现的问题，并提供经过净化的输入和 日志。请勿上传凭据、私人图像、AI 客户端设置或模型权重。