PluginPublic
jeffreykent/sail-verification
Verify Rust with Verus, check proof repairs, and run cached Z3 queries with Sail. Use when cargo verus verify is slow, when developing Verus proofs, or when giving coding agents SMT-LIB solver access through the CLI or MCP.
Quality
89%
Does it follow best practices?
Run evals on this skill
Adds up to 20 points to the overall score
Securityby
Passed
No findings from the security scan
plugin.json.tessl-plugin/
{
"name": "jeffreykent/sail-verification",
"description": "Verify Rust with Verus, check proof repairs, and run cached Z3 queries with Sail. Use when cargo verus verify is slow, when developing Verus proofs, or when giving coding agents SMT-LIB solver access through the CLI or MCP.",
"skills": [
"."
],
"version": "1.0.2",
"repository": "https://github.com/Chelis-Lang/sail",
"homepage": "https://github.com/Chelis-Lang/sail/tree/main/skills/sail-verification",
"license": "MIT",
"author": {
"name": "Jeffrey Kent"
}
}