Caracal framework-neutral mandate verification engine.

Ordewell core — planner, orchestrator, runners and verification engine.

Bank receipt verification engine for Ethiopian and East African banks

Core verification engine for ContextLock TCV

Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)

Core JS/TS verification engine that powers the CodeTitan CLI and GitHub Action

Verfix verification engine — Playwright flows, typed assertions, AI healing. Transport-agnostic: used in-process by the verfix CLI and by the server-mode BullMQ worker.

OCD — Obsessive-Compulsive Verification Protocol. Non-negotiable 4-phase verification engine for AI coding agents.

Expectation verification engine for Specra.

Core parser and verification engine for Pragmap golden-path contracts

Moss verification engine: debug_traceCall simulation, effects extraction, expects reconciliation

Continuum Ghost Server — Zero-Knowledge Proof Verification Engine

Veros Core — shared verification engine, FHIR store, audit logging, and LLM adapter. Used by both clinical and actuarial Veros products.

SynapseXcoder V6.0 - Multi-Agent OpenCode Plugin & TUI Framework with 13+ Specialized Agents, Knowledge Vault, Security Audit, and Verification Engine

Pure hledger parsing and verification engine extracted from Giduru.

Quantum Pi Forge — local-first, evidence-bound verification engine

TypeScript SDK for Face Liveness Verification Engine (FLVE)

The Completion Gap Gauntlet: reproducible broken-refund scenarios scored against Postcept's real verification engine and a naive baseline, so the completion gap is measurable, not asserted.

Run broken-refund scenarios (timeout after write, duplicate refunds, pending settlement, provider drift) through Postcept's verification engine from your terminal. No account, no setup.

Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and Tau Prolog