Verity

Verdict is a local semantic verifier for AI-agent tool calls and command-line runs. It reads the command, exit code, stdout, and stderr, then classifies the observed outcome as success, failure, blocked, or unknown. Its zero-dependency inference model uses hashed character 3–5-grams and word 1–3-grams with multiclass logistic regression; the released weights are quantized int8 and run on the CPU without network calls or telemetry. The repository provides a Python API and CLI, with bounded head-and-tail clipping for long output streams and an optional browser demo using the same quantized weights. Verdict is an advisory classifier rather than authoritative proof of task completion, code correctness, safety, or truthfulness. The project describes its benchmark as based on synthetic, English-biased examples and recommends deterministic checks and authoritative state verification for consequential actions. The code and model weights are Apache-2.0 licensed, while the synthetic dataset is CC0-1.0.

Viserys is a self-contained pack of Markdown engineering workflows, reviewer personas, validation scripts, commands, and lifecycle hooks for AI coding agents. Its workflow routes development through DEFINE, PLAN, BUILD, VERIFY, REVIEW, and SHIP stages, with 28 skills covering requirements clarification, specification and task breakdown, implementation, test-driven development, debugging, browser testing, review, security, performance, migrations, CI/CD, documentation, observability, and release preparation. The pack also includes four reviewer personas, shared checklists, evaluation cases and fixtures, and validators for skills, commands, artifact paths, reference links, and versions. The repository includes an OpenCode agent definition that registers the skills and routes requests through the lifecycle workflow. The Markdown skills can also be supplied to skill-aware agents such as Claude Code, Cursor, and other agents, or read directly as standalone process documents.

Reverify is an AI-agent verification toolkit for reverse engineering and related code analysis. It places deterministic tools between an agent and its claims: the model proposes hypotheses about a binary or candidate implementation, while parsers, disassemblers, pattern scanners, emulators, equivalence checks, and optional analysis engines compare them with ground truth and return evidence-backed VERIFIED, REFUTED, INCONCLUSIVE, OBSERVED, or INVALIDATED results. Its pure-Python core handles PE, ELF, and Mach-O parsing, x86/x64 and ARM/ARM64 disassembly, byte and pattern inspection, CPU micro-emulation, Protobuf/TLV dissection, and Frida hook generation; optional installations add Capstone, Unicorn, LIEF, Z3, or angr for deeper analysis. The project exposes the verification loop through a command-line interface and an MCP server that agents such as Claude Code and Cursor can call. It also records verified, observed, proved, and refuted results in a content-keyed local ledger, allowing grounded facts and negative findings to survive context resets, compaction, and new sessions. A rollover and orchestration system hands sessions off through files rather than model-written summaries, keeping verified facts separate from unverified notes. Reverify includes claim types for bytes, typed reads, instructions, patterns, emulation, behavioral or formal equivalence, imports, exports, sections, and—when angr is installed—functions, calls, references, and reachability. It is distributed from PyPI and licensed under the MIT License. The repository states that it is intended for authorized reverse engineering, malware analysis, CTF work, interoperability research, and software the user owns or is permitted to analyze.

Claude.ai is Anthropic's AI offering. The supplied material describes Claude as being used for first-pass review of code changes, with review results backed by verification evidence, and notes recent refreshes intended to improve performance.

Can I Vibecode It? is an open-source catalog that evaluates whether AI coding agents such as Claude Code, Codex, or Cursor can build a usable personal replacement for a paid SaaS application. Each app entry provides a YES, KINDA, or NOT REALLY verdict, the exact prompt for attempting the replacement, and the tradeoffs of leaving the original service, including lost network effects, data, or infrastructure. App entries are contributed as one JSON file per app, with the schema and verdict criteria documented in the repository. The site uses Astro server output with a Node adapter to render fully server-rendered HTML, SQLite via better-sqlite3 for vote counters and waitlist data, and vanilla JavaScript and CSS for interactions. Satori and resvg generate Open Graph images at build time. It runs locally with npm install, npm run dev, npm run build, and npm start, requires no environment variables for local development, and supports optional analytics, sign-in, payments, email, and media-storage configuration. It can be deployed on a VPS behind a reverse proxy, with DATA_DIR used to keep user data outside the repository. The project is released under the MIT License, and its prompts are intended to remain free.