Open Issues Need Help
View All on GitHub Add native Z3 parity for authorization reachability about 2 months ago
help wanted implementation adapter z3
fraware/open-verification-kernel fraware/open-verification-kernel Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.
Open project →
1
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 2 months ago
help wanted implementation adapter
fraware/open-verification-kernel fraware/open-verification-kernel Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.
Open project →
1
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 2 months ago
help wanted
fraware/open-verification-kernel fraware/open-verification-kernel Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.
Open project →
1
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 2 months ago
help wanted good first issue
fraware/open-verification-kernel fraware/open-verification-kernel Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.
Open project →
1
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 2 months ago
help wanted
fraware/open-verification-kernel fraware/open-verification-kernel Open Verification Kernel (OVK) is an open-source, solver-agnostic verification layer for AI-agent engineering workflows.
Open project →
1
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