Skip to content

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

Draft
feliperodri wants to merge 5 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 5 commits into
model-checking:mainfrom
feliperodri:agent-plugin-v1

Agent plugin: fixes from the second round of testing

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

Annotations

1 warning and 1 notice
Auto Label
succeeded Oct 26, 2026 in 12s