Open Issues Need Help
View All on GitHub Add native Z3 parity for authorization reachability about 1 hour ago
help wanted implementation adapter z3
Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.
Python
#ai-agents#dafny#formal-methods#kani#lean4#open-policy-agent#program-verification#runtime-assurance#software-verification#tla-plus#z3-solver
Run self-protection checks through native OPA about 1 hour ago
help wanted implementation adapter
Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.
Python
#ai-agents#dafny#formal-methods#kani#lean4#open-policy-agent#program-verification#runtime-assurance#software-verification#tla-plus#z3-solver
Audit the next OVK release candidate about 1 hour ago
help wanted
Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.
Python
#ai-agents#dafny#formal-methods#kani#lean4#open-policy-agent#program-verification#runtime-assurance#software-verification#tla-plus#z3-solver
Add one external agent-authored PR fixture about 1 hour ago
help wanted good first issue
Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.
Python
#ai-agents#dafny#formal-methods#kani#lean4#open-policy-agent#program-verification#runtime-assurance#software-verification#tla-plus#z3-solver
Run an external advisory-mode pilot about 1 hour ago
help wanted
Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.
Python
#ai-agents#dafny#formal-methods#kani#lean4#open-policy-agent#program-verification#runtime-assurance#software-verification#tla-plus#z3-solver