原型 · 预览版:收录官方注册中心里的全部服务器,每 30 分钟同步一次。评价和账户功能将在后续阶段推出。
PopNx MCP为使用 AI 的人准备的 MCP 服务器 · 用大白话讲清楚

NOETRA

作者:NOETRA2版本 0.1.0-alpha.4i★ –i在你的电脑上运行
注册名称io.github.NOETRA2/noetra

安装

概览

作者提供的说明(英文原文)

Local-first evidence tracking, formal logic checks and prerequisite planning for AI agents.

PopNx MCP 的三大支柱

这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。

它能帮你做什么

我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。

  • 连接方式: 在你的电脑上运行
  • 传输方式: stdio
  • 分类: 其他

安装

选择你使用的 AI 应用,然后复制设置。

安装之前

  • 基础检查:1 项中通过 1 项
  • 在你的电脑上运行,拥有你的用户账户的权限(文件、网络、应用)。
  • 注册中心没有列出需要填写的密钥。

你需要

  • npm已安装 Node.js(用于 npx 命令)

你用的是哪个应用?

在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。

打开 Claude Desktop → Settings → Developer → Edit Config,把下面的内容粘贴到 claude_desktop_config.json

{
  "mcpServers": {
    "noetra": {
      "command": "npx",
      "args": [
        "-y",
        "noetra",
        "mcp",
        "--project",
        "your-value"
      ]
    }
  }
}

在终端中运行这条命令

claude mcp add noetra -- npx -y noetra mcp --project your-value

这个服务器需要在启动命令中填入值,请复制设置后自行填写。

或者自己复制设置

粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json

{
  "mcpServers": {
    "noetra": {
      "command": "npx",
      "args": [
        "-y",
        "noetra",
        "mcp",
        "--project",
        "your-value"
      ]
    }
  }
}

浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。

这个服务器需要在启动命令中填入值,请复制设置后自行填写。

或者自己复制设置

粘贴到项目中的 .vscode/mcp.json

{
  "servers": {
    "noetra": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "noetra",
        "mcp",
        "--project",
        "your-value"
      ]
    }
  }
}

浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。

这个服务器在你的电脑上运行,而 ChatGPT 只能连接互联网上的服务器。请选择其他应用。

你的选择通过 Cookie 保存在这台设备上,无需账户。

这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。

它能做什么

它在你的电脑上运行;安装后,工具列表会显示在你的 AI 应用中。

基础检查i

我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月7日

  • ✓ 通过

    作者与仓库一致

    注册名称已通过 GitHub 账户 NOETRA2 验证,该账户拥有此仓库

  • … 尚未检查

    仍在维护

    我们还没有从 GitHub 读取这个仓库

  • … 尚未检查

    有许可证

    我们还没有从 GitHub 读取这个仓库

  • – 不适用

    端点有响应

    它在你的电脑上运行,没有互联网端点

  • – 不适用

    使用 OAuth 登录

    在你的电脑上运行,改用本地设置

  • … 尚未检查

    工具描述中没有隐藏指令

    它在你的电脑上运行;我们只能读取互联网端点的工具列表

与“其他”中的其他服务器比较i

  • 星标数多于此分类中其他 32725 个服务器的 0%
  • 发布到注册中心的时间比此分类中其他 32725 个服务器的 73% 更新
  • 基础检查结果等于或优于此分类中其他 32725 个服务器的 100%

与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。

常见问题

NOETRA 安全吗?

它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。

它需要哪些密钥或代码?

注册中心没有列出必需的密钥,不过有些服务器会在首次使用时要求你登录。

它在我的电脑上运行还是在云端?

它在你的电脑上运行。你的 AI 应用会在需要时启动它,数据不会经过作者的服务器(除非它自己调用在线服务)。

它还在维护吗?

GitHub 仓库最后更新于–,最新版本(0.1.0-alpha.4)于13天前进入注册中心。

哪些应用可以使用它?

支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。你的电脑上还需要有 Node.js。

有什么可以替代它?

同一分类中有:Spec Driven Development, Remote Desktop Commander, Signoff

替代选择

同一分类中其他作者的服务器,按星标数排序。

如何看卡片:★ GitHub 星标i三大支柱:评价 · 检查 · 使用情况i更新 = 最新版本发布到注册中心的时间i

Spec Driven Development

作者:formulahendry

MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.

在你的电脑上运行★ 440MIT14个月前更新
安装

Remote Desktop Commander

作者:desktop-commander

Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.

在云端运行★ 211前天更新
安装

Signoff

作者:ayuanxx-max

Five gates that make an agent's 'done' provable: run them, read the verdict, audit the record.

在你的电脑上运行今天更新
安装

作者的 README

打开 README

按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。

NOETRA — Universal Cognitive Engine

Give AI agents a checkable trail: evidence, formal logic and prerequisite plans.

Local-first, open-source MCP server · CLI · TypeScript SDK. The core runs on an ordinary CPU with Node.js; no GPU, AI subscription or model API key needed. It stores attributed evidence, checks supplied integer constraints through Z3, and plans from explicit dependencies. It does not replace your host AI.

Open the recorded preview · Try the engine locally · npm · Connect your agent · Tool API · Launch status

Developer alpha `0.1.0-alpha.4`. Check release availability for current npm, MCP Registry and hosted-demo status. Source and local tarball installation are available independently of those services. Image-to-3D is an optional, unfinished advanced workflow; no validated 90% fidelity claim exists.

Try it in one minute

With Node.js 24.11+ in 24.x, or Node.js 26+, run the published exact version:

npx --yes noetra@0.1.0-alpha.4 demo

Open http://127.0.0.1:7860. Check a claim, toggle a missing prerequisite or inspect an evidence record. These controls execute the actual engine, not canned results. Every run has a separate in-memory database, discarded afterward. No model downloads or optional 3D tools are installed. Stop with Ctrl+C.

No installation yet? The free online preview lets you inspect real recorded examples and the walkthrough. It displays stored results; it does not run the engine remotely. The command above runs the actual engine locally. The npm artifact was checked against the reviewed upload and a fresh anonymous registry installation passed the MCP/SQLite/Z3 self-test.

Watch the 60-second result walkthrough · How to reproduce the examples

The walkthrough presents actual engine outputs as labelled cards; it is not a browser recording. Capture provenance.

A result you can inspect

ExampleWhat NOETRA doesScope
Integer premise x ≥ 2, claim x ≥ 1Z3 checks entailmentValid only for the supplied integer premises
Same premise, stronger claim x ≥ 5Returns a counterexampleA formal counterexample, not a real-world measurement
Build → review → release, tests missingReports blocked actionsActions/effects are supplied; nothing is published
One observed test resultStores origin, digest and limitationsRemains an untrusted observation, not proof

Maintained by NOETRA2. Core code is MIT licensed. Optional providers have their own licences and are not bundled or installed automatically. NOETRA is independent of Nexa apps and is not endorsed by Tencent, OpenAI, REA, Blender or other upstream projects.

What is implemented

  • Evidence records, assumptions, unknowns and revision history in project-local SQLite memory; explicit local export/removal.
  • Structured world graphs, rule deduction and contradiction detection.
  • Z3/WASM checks for supplied integer-linear constraints, entailment and counterexamples. A formal result is scoped to its premises, not empirical truth.
  • Dependency/precondition planning and ranking host-authored candidates.
  • Eleven default MCP operations; 23 optional reconstruction operations when deliberately configured, plus one optional Ghidra route.
  • Optional REA integration for permission-scoped software investigation.
  • Reference preservation, source hashes, calibrated-silhouette experiments, bounded part correction and local mesh export/render validation.
  • Automatic observed-colour families, connected image regions, boundaries and texture directions. Colour regions are not verified anatomical parts.
  • Real xatlas UV generation and Blender PBR-map baking; a measured-palette preview uses an existing attributed layout and preserves original geometry.

Install from this repository

Prerequisite: Node.js 24.11+ in the 24.x line, or Node.js 26+ and npm. No GPU is needed for the core reasoning/MCP tools.

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's Code → Download ZIP also provides the source; extract it and run the npm commands from that folder. Once the exact release appears under the verified owner harshavardhan2 on npm, it can be run without a source build:

npx --yes noetra@0.1.0-alpha.4 test

npx --yes noetra@0.1.0-alpha.4 demo

Use a project-local installation for durable AI-host registration, rather than relying on an npm temporary cache path. Availability and publish verification are tracked in the release-status document; these commands are not a claim that an unverified package or hosted endpoint is live.

To build a local distributable:

npm pack

Connect an AI host

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

Setup previews configuration first. Cursor/Claude JSON setup requires a reviewed --apply --yes; Codex registration prints a TOML snippet for manual review. Reconnect the host afterward. No existing AI-client or REA settings are silently replaced. See installation.

Models and tools used

ComponentRoleWhat it does not establish
Codex host agentInterpreted the brief, authored scripts/candidates and reviewed outputExact host model identifier was not recorded in the original experiment
Built-in image-generation toolCreated reference/concept artworkThose images are not renders of a mesh; exact image-model/version was not recorded
Tencent Hunyuan3D-2mini TurboActual learned lion geometryHidden surfaces, accurate anatomy, physical scale and materials remain unverified
TripoSR + U2Net/rembgOptional local shape backend / foreground estimationNot automatically fused detailed multi-view reconstruction
Blender 5.2.2 LTSMesh assembly, PBR baking, export and actual rendersA successful render is not an accuracy score
xatlas 0.0.11; OpenCV; NumPy/SciPyUV charts, measured appearance, image/geometry calculationsColour clusters do not identify anatomy or recover depth
Z3Checks explicit formal constraintsDoes not judge artistic quality or physical truth
REA 6.7.0 / optional GhidraAuthorized software investigationThey are analysis tools, not image-to-3D generators

The lion model revision is f90a0f7df7d5e6f71109cf333f6a95a0ae3194a6; the upstream source commit is f8db63096c8282cb27354314d896feba5ba6ff8a. The pinned manifest includes full checkpoint/source hashes. Model weights, third-party applications, private accounts and local model caches are excluded.

Hunyuan is a separately licensed optional provider, not MIT-licensed model weights. Review its licence, notice and model/source provenance before provisioning it. Its licence contains territory and use restrictions. Powered by Tencent Hunyuan when that provider is enabled; Tencent does not sponsor, endorse or operate this independent project.

Real mesh demonstrations

The images below are Blender renders of actual meshes, not generated concept pictures presented as 3D output. Details, settings and limitations are in comparisons.

Lion: standalone Blender mesh beside the NOETRA workflow

Left: without NOETRA, a new host-authored procedural lion built directly in Blender from primitives, remeshing and solid geometry. No NOETRA code or learned shape model generated that mesh. Right: with NOETRA, the existing lion created through its Hunyuan3D-2mini Turbo workflow. Both pictures render real meshes using the same clay material, lighting, view directions and normalized height. The procedural lion is stylized; these different methods are not a controlled test of NOETRA's quality or accuracy. The downloadable mesh, script and second angle are in comparisons.

We also ran a separate direct Hunyuan inference with NOETRA bypassed and otherwise matching inputs/settings. That result is identical to the workflow's raw mesh; the report preserves this evidence. No numerical accuracy gain is claimed.

Validation and limitations

The local core TypeScript/build checks, 71 Node tests and CLI protocol self-test passed. The reconstruction Python suite and focused cache/region tests passed (156 tests across the recorded runs). The example meshes were actually exported, reimported and rendered. GitHub Actions results, once available, are separate from these local checks.

The lion mesh and painting remain partial. Accurate facial anatomy, semantic part-to-mesh correspondence, calibrated detailed multi-view fusion, intrinsic albedo/PBR recovery and reliable unseen geometry are unfinished. The automatic appearance-readiness gate remains false; an explicitly requested unverified paint preview does not override it or replace the accepted model.

Accuracy is not measured by triangle count, watertightness, successful export or a visually pleasing screenshot. We need a defined metric, independent ground-truth 3D data, held-out inputs and reproducible evaluation before making a numerical fidelity claim such as 90%.

Documentation

Architecture · Tool API · Security · REA · Reconstruction · Appearance analysis · Surface painting · Third-party notices

Development

npm ci --ignore-scripts

npm run check

Python reconstruction tests require separately provisioned local dependencies; model inference is optional and is not run merely by installing the core package. Report reproducible problems through GitHub Issues, with sanitized inputs and logs. Do not upload credentials, private images, AI-client settings or model weights.

问 PopNx