fraware/open-verification-kernel: Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.

Source-linked topic cluster with 1 signals across related articles, projects, models, papers, and source updates.