Skip to content

Add the Kani agent plugin: verify-rust skill, helper scripts, and kani-mcp - #5059

Draft
feliperodri wants to merge 8 commits into
model-checking:mainfrom
feliperodri:agent-plugin-v1
Draft

Add the Kani agent plugin: verify-rust skill, helper scripts, and kani-mcp#5059
feliperodri wants to merge 8 commits into
model-checking:mainfrom
feliperodri:agent-plugin-v1

Agent plugin: contract-first planning and fixes from 87 crates

ff71c43
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Nov 6, 2026 in 7s