Checksum is a continuous quality platform that autonomously generates, runs, and maintains tests so engineering teams can ship AI-generated code without trading speed for reliability.
Unlike copilots that wait for prompts, Checksum works as a background agent, detecting what needs testing, generating production-ready Playwright, and healing broken tests automatically. Seventy percent of failures resolve autonomously, keeping suites green without manual effort.
Built on fine-tuned data from 1.5+ million test runs, Checksum covers every layer of the SDLC: end-to-end, API, and CI testing from a single platform. Tests are delivered as standard Playwright code, submitted as a PR to your repo. No vendor lock-in.
Checksum integrates natively with Cursor, Claude Code, and 100+ coding agents via /checksum slash commands, so code is tested before a human ever reviews it. AI handles generation and healing on Checksum's cloud: no LLM tokens.
The result: ship faster, with confidence.
Learn more
Okyline is an Executable Data Design (EDD) platform for declarative data validation contracts and measurable operational data quality.
Instead of maintaining disconnected specifications, validators, tests, and quality dashboards, Okyline uses a single executable contract as the operational source of truth for validation and flow quality monitoring.
The same readable contract drives multi-format validation, deterministic execution, quality measurement, data quality gate, and historical quality analytics across APIs, events, files, LLM structured outputs, and enterprise data flows.
Community Edition provides the open specification, a free Java validation runtime, a public Claude AI assistant for contract generation, and a free online studio for executable JSON validation contracts and JSON Schema transpilation.
Enterprise Edition supports direct validation of JSONL, XML, CSV, FIXED, and EDI flows, data quality gate, and operational quality dashboards, all without databases
Learn more
hevm
The hevm project is an implementation of the Ethereum Virtual Machine (EVM) made specifically for symbolic execution, unit testing, and debugging of smart contracts. It is developed by DappHub and integrates especially well with the DappHub tool suite. The hevm command line program can symbolically execute smart contracts, run unit tests, interactively debug contracts while showing the Solidity source, or run arbitrary EVM code. Computations can be performed using a local state set up in a testing harness or fetched on demand from live networks using RPC calls. Run a symbolic execution against the given parameters, searching for assertion violations. One can also specialize specific arguments to a function signature while leaving others abstract. hevm uses an eager approach for symbolic execution, meaning that it will first attempt to explore all branches of the program.
Learn more