verify

Created by team Verify on November 06, 2026
C1-Blast Radius Zero

Coding agents say "done" before anyone has opened the app. Told to test on web and Android, they test one platform or neither, and parallel agents fight over the same simulators. verify fixes that with one command. When an agent finishes a change, it runs verify "<what changed>", or /verify through the Claude Code skill. The working tree goes to a control VM on Vultr Cloud Compute. An independent verifier on Vultr Serverless Inference (glm-5.3) reads the diff, writes its own checks, and drives the app in a fresh sandbox on a Vultr VX1 worker: Playwright in Chromium for web, an Android 14 emulator with KVM and Maestro for mobile. It returns a verdict with screenshots, a recording, network and memory facts, and steps to reproduce. The agent fixes the bug and runs verify again before it reports back. Every run gets its own container and private network, no secrets, CPU and memory caps, and a proxy that allows the package registry during install and nothing after, and is destroyed afterwards. The demo shows an install script blocked from sending data out and a memory leak killed at the cap. When the queue backs up, the control VM adds workers through the Vultr API and removes them when idle. So far: 47 platform runs, a median of 49 s on web and 4 min 46 s on Android, about $3 of Vultr charges in total. Today: web apps, and Expo or React Native apps on Android. Later: iOS, more devices and browsers, API checks, migrations, CLI tools and proof on pull requests.

Category tags:
Explore more applications

Cage - Containment-First Agent Control Plane

Cage is a self-hosted, containment-first control plane for coding agents: every tool call is mediated, every action runs in an ephemeral Docker sandbox on Vultr, and every run leaves signed evidence.

Cage

VULTRAgentOpsGenerative AgentsLLM Gateway
Vercel
application badge

Pack Lead Scraper

PackLead Agent automates business research and lead generation using AI agents. It discovers companies, extracts public contact details, validates emails, removes duplicates, and generates organized Excel reports for efficient B2B prospecting.

Team PackLead

AI/ML APIClaude CodeGithub CopilotVercel

ZipCheck

ZipCheck helps teams catch Windows filename conflicts in ZIP archives before sharing them. Upload a ZIP and see exactly which files could cause extraction problems and how to fix them.

Gurren Lagann

CodexVULTRGemini AIAntigravity

CiteBot — Exact Web Answer Agent

CiteBot is built for AMD AI League Match 4 (Intelligent Web Information Retrieval). You ask a natural-language question, optionally with a start URL. CiteBot fetches pages, follows a few useful links, and extracts candidate answers. It only returns a value when that exact string appears on a fetched page, together with the source URL. If nothing is proven, it abstains with a clear reason (empty question, no search results, or no proof on pages). Default path is rule-based (no LLM required). An optional LLM can re-rank candidates that are already proven on the page; it cannot invent new answers. Interfaces: HTTP POST /api/ask and a small web UI. Offline fixtures and tests cover cite-or-abstain without network. Stack: Python, FastAPI, httpx, BeautifulSoup4.

florentdev

rest api