Open Issues Need Help
View All on GitHub 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 10 days 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 10 days 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 10 days 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 10 days 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