Identify the change
Connect the proposed diff to the exact source revision and the constructs being examined.
+ Understand what
+
+ OPEN VERIFICATION KERNEL / RESOURCE EXPLORER
+Understand what
the evidence establishes.
+ Find the verification claim, source profile, checker, or research you need. Every resource links to its source. Every result has a scope.
+
+
+
+
+
+
+ ⌘ / Ctrl K
+
+ Try , , or
+ Curated repository documentation · No account or API key needed
+
+
+
+ How to read a resultILLUSTRATIVE
+
+
+
+
+ 01Changed source
+
+ 02Bounded claim
+
+ 03Checker evidence
+ Review the evidence, not a badge.
See assumptions, unsupported inputs, and provenance before relying on a result.
Source → Claim → Evidence
+
+
+ 01
+ Understand
What each supported check means
02
+ Locate
Specifications, evidence and examples
03
+ Apply
Use an advisory workflow responsibly
RESOURCE LIBRARY
Find your starting point.
Search a curated index of source-linked OVK resources.
—indexed resources
+
+
+
+
+
+
+
+
+ No matching resources
Try a broader term, or browse all topics. The index covers curated documents and examples, not every repository file.
This search indexes a curated set of repository files. It does not search private evidence, execute a verifier, or assert that a resource is production-qualified.
+
+
+
THE MODEL
From a change to a scoped claim.
A simple way to understand what OVK records—and where human judgment still matters.
+ 01 / INPUT
+ 02 / CONTRACT
+ 03 / EVIDENCE
+
+ State the bounded claim
Declare the property, supported source profile, assumptions, and selected checker.
Inspect the result
Review supporting observations, unresolved coverage, and applicability before making a decision.
GET STARTED
Start with a local advisory check.
Inspect the open-source development tree and run an example without changing repository branch protections or granting write permissions.
Read the integration guide LOCAL DEVELOPMENT EXAMPLE
git clone https://github.com/fraware/open-verification-kernel.git
+cd open-verification-kernel
+pip install -e '.[dev]'
+ovk check --changed-files examples/multi_surface/pr_combined.diff --advisoryTRUST & RELEASE
Clear limits are part of the product.
OVK reports evidence for bounded properties. A local result, a passing CI job, or a reusable report does not establish whole-system correctness or authorization to merge.
Published sourceVerify the release identity
Unknown or unsupportedKeep human review in control
Evidence across changesCheck applicability before reuse
Read current release and qualification status