Skip to content
Vraelis
DocsPricing
Sign inCreate account
A microcontroller and tools on a work surface.

Command line

A check where you already work.

Start a browser verification from your terminal or pipeline. Review the proposed plan, wait for the result, and inspect the evidence.

Create an API key→→CLI setup docs

The command

Make the intended behavior explicit.

Authenticate with vraelis login or a VRAELIS_API_KEY environment variable. The reviewed-plan approval boundary still applies.

bash
vraelis verify \
  --url "$PREVIEW_URL" \
  --claim "Only the intended test asset changes when the operator confirms a task." \
  --wait

With --wait

Let the next step read the verdict.

Without --wait, exit code 0 only means a verification started. Wait for the verdict before using it as a release gate.

Exit 0

Verified

The requirement held in the live app, with evidence for the checked behavior.

Exit 1

Failed

The requirement did not hold. Inspect the result and its repair prompt before changing the software.

Exit 2

Blocked

No verdict was reached, or the command could not run. Treat the check as unresolved.

Put the check where you ship from.

CI setup docs→→
CopyCopied
Vraelis

External software review.

Defense. Infrastructure. Robotics.

Product

PlatformRecorded evidenceRecording betaIntegrationsAI assistantsPricing

Solutions

DefenseInfrastructureRoboticsGovernment & institutionsSystem integratorsEnterpriseExplore solutions

Resources

DocumentationDeveloper toolsThe problemsResearchChangelog

Company

Our goalsAboutContact

Trust

SecurityPrivacyCookiesTermsAcceptable use
More policies
LimitationsRefundsData rightsSubprocessorsTrademark
Know your systems work.

Vraelis verifies software behind physical systems, with evidence you can inspect.

© 2026 Vraelis
Image sourcesLinkedIn