Skip to content
Vraelis
Sign inOpen Vraelis
Docs

Getting started

Getting started with VraelisVerify, approve, run, re-check

Ways to use it

Connect an AI assistant

The check

Approving a planRun activityCompletionFindingsRepairRe-checks

The record

SystemsGuaranteesMemory
DevelopersChangelogContact
Ways to use it

Connect an AI assistant

Let an assistant check its change on the live app over MCP, and hand you the approval.

OutcomeYour assistant can call Vraelis, and you know what it can and cannot do with it.

An AI assistant that supports MCP can call Vraelis after it changes your web app. It gets three tools: vraelis_verify to ask for a check, vraelis_status to read where it is, and vraelis_recheck to run the same approved plan after a fix. No tool can approve a plan; the assistant hands you the link.

Set up with vraelis init

Install, sign in, and set up the assistants on this machine

curl -fsS https://vraelis.com/install | sh      # macOS and Linux
irm https://vraelis.com/install.ps1 | iex        # Windows PowerShell

vraelis login
vraelis init                 # every assistant found on this machine
vraelis init claude codex    # or name them: claude, codex, gemini, copilot, cursor, trae, all

init writes the MCP setup for Claude Code, Codex, Gemini CLI, GitHub Copilot in VS Code and the Copilot CLI, and Cursor. For Trae it prints the JSON to paste under Settings > MCP > Add > Configure manually. It also adds a short rule to the project's AGENTS.md, verify before you say it's done, and to CLAUDE.md or GEMINI.md when those assistants are chosen and the file does not already import AGENTS.md. On Windows, use init rather than the manual lines: it registers node and the script path, because many assistants cannot launch the installer's vraelis.cmd.

Set up by hand

Local assistants run the server the CLI provides

claude mcp add --scope user vraelis -- vraelis mcp     # Claude Code, terminal and VS Code
codex mcp add vraelis -- vraelis mcp                   # Codex, CLI and IDE extension
gemini mcp add vraelis vraelis mcp                     # Gemini CLI

GitHub Copilot in VS Code, the Copilot CLI, Cursor and Trae take a JSON entry instead, and the setup page lists each one. ChatGPT and Claude on the web connect to the hosted server at https://vraelis.com/mcp and sign in with OAuth: they send you to Vraelis to sign in and click Allow, which creates an API key named after the connector that you can revoke under Developers. Any other MCP client can run vraelis mcp over stdio, or reach the hosted server with an x-api-key header.

What no tool can doApprove a plan, re-check more than 24 hours after the approval or more than 10 times, or re-check on a different site. Every run, a re-check included, is one verification.

Related

  • Verify, approve, run, re-check
  • Re-checks
PreviousVerify, approve, run, re-checkNextApproving a plan

On this page

Set up with vraelis initSet up by hand

Product

PlatformWhat it can reachWhat is builtWays to use itAI assistantsPricingEnterprise

Developers

DocumentationAPICLIWebhooks

Company

Who it is forHow this is differentReddit partnershipByteDance partnershipResearchMethodIn publicREADMEChangelogAbout

Trust

SecurityLimitationsPrivacyTermsData rightsSubprocessorsTrademarkContact

Vraelis checks whether live software does what someone says it does, and shows the evidence.

© 2026 Vraelis
LinkedInSecurityPrivacyTerms