Veris

Описание из исходного каталога

Behavioral verification intelligence for autonomous coding agents. Builds a behavioral graph of any TS/JS repo, clusters into 25 semantic workflows (Auth, Payments, Webhooks, Caching, Queue, etc.), detects drift, generates concrete adversarial probes (idempotency, retry storm, cache stampede, replay), emits per-workflow risk + confidence. 17 MCP tools. Local SQLite state. Zero cloud. MIT