确定性本机运行验证

别相信说明。
证明它能跑。

选择一个来源可信但内容陌生的仓库。Verity 追溯命令证据，在隔离快照中执行，只有真实机器 oracle 通过才签发本机凭证。

免费 · 无需登录 · 本地核心采用 MPL-2.0

verity.checknode-web / windows-x64

只做一件事

证据优先，
不编项目故事。

已提交的运行声明、锁文件、清单和唯一框架入口共同决定计划。README 命令不会自动执行。

Verity 对当前文件做指纹，拒绝逃逸符号链接，经确认获取依赖，再断网执行构建和测试。

测试、声明的健康检查、浏览器行为或仓库内冒烟自动化决定结果。仅有进程或窗口仍是未验证。

支持目标

每份凭证只覆盖它记录的宿主和执行环境；公开支持仍需通过真实项目跨平台矩阵。

技术栈检测执行方式发布证据

Node / Deno / Bun / 静态站点可用容器Node Web 纵向切片

Rust / Tauri可用容器或确认后原生执行固定夹具契约

Python / Go可用容器固定夹具契约

Godot可用确认后原生执行固定夹具契约

Compose可用Docker Desktop真实本机项目

Java / Kotlin可用Maven 或 Gradle Wrapper固定夹具契约

C / C++可用确认后原生执行固定夹具契约

.NET / PHP / Ruby可用容器固定夹具契约

安全与限制

只用于可信来源。 Verity 不是恶意代码沙箱。原生阶段有隔离快照和进程收束，但不是恶意软件边界。

零猜测通过。 缺锁文件、命令歧义、快照变化、运行时能力不足和弱 oracle 都会阻断。

仅本机签名。 凭证能证明本安装签发后未被修改，不是 Verity 的远程官方认证。

没有上传接口。 原始凭证、仓库路径、日志、源码与命令输出始终留在当前机器。

本地核心开源

桌面应用、CLI、适配器、runner 和凭证逻辑均采用 MPL-2.0。未来团队控制面是独立服务，也绝不是本机验证的前置条件；原始凭证和运行输出始终留在本机。

不设登录候补名单，也不放误导性的下载按钮。你可以关注源代码或查看当前验收状态。