DETERMINISTIC LOCAL RUN VERIFICATION

Know whether it
actually runs.

Select a trusted but unfamiliar repository. Verity traces the command evidence, runs an isolated snapshot, and signs a local receipt only after the real machine oracle passes.

View beta availability ↗Inspect the source

Free · no login · local core under MPL-2.0

verity.checknode-web / windows-x64

01Detectpackage.json · package-lock.json
02Acquirelocked dependencies · scripts deferred
03Build + testnetwork removed · declared suite passed
04Launch + oracleHTTP 200 · non-empty HTML body
05Locally verifiedsnapshot 38f2…91a7 · Ed25519 receipt

ONE BOUNDED JOB

Evidence first.
No project mythology.

Detect without guessing

Committed runtime declarations, locks, manifests, and unique framework entry points define the plan. README commands never auto-run.

Run the exact snapshot

Verity fingerprints the current files, rejects escaping symlinks, acquires dependencies with consent, then removes network access for build and test.

Require a real oracle

Tests, declared health checks, browser behavior, or checked-in smoke automation decide the result. A process or window alone stays unverified.

SUPPORTED TARGETS

Deterministic adapters. One result contract.

Every receipt covers only the host and execution environment it records. Public support remains gated on the real-project platform matrix.

StackDetectionExecutionRelease evidence

Node / Deno / Bun / static webAvailableContainerNode web vertical slice

Rust / TauriAvailableContainer or confirmed nativeFixture contract

Python / GoAvailableContainerFixture contract

GodotAvailableConfirmed nativeFixture contract

ComposeAvailableDocker DesktopReal local project

Java / KotlinAvailableMaven or Gradle WrapperFixture contract

C / C++AvailableConfirmed nativeFixture contract

.NET / PHP / RubyAvailableContainerFixture contract

SECURITY & LIMITS

Strict about what
the result means.

Trusted source only. Verity is not a hostile-code sandbox. Native stages are isolated snapshots with process controls, not a malware boundary.

Zero guess-passes. Missing locks, ambiguous commands, snapshot changes, incomplete runtimes, and weak oracles stop the run.

Local signature only. A receipt is tamper-evident for this installation. It is not remote certification by Verity.

No upload interface. Raw receipts, repository paths, logs, source, and command output remain on the current machine.

OPEN LOCAL CORE

The tool that decides “verified” should be inspectable.

Desktop app, CLI, adapters, runner, and receipt logic are MPL-2.0. A future team control plane is separate and never required for local verification; raw receipts and run output stay local.

Read the implementation ↗

Public beta opens after the signed platform matrix passes.

No waitlist account and no misleading download button. Follow the source or review current acceptance status.