{"name":"workersio-kani-proof-plugins-kani-proof","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"workersio-kani-proof-plugins-kani-proof","source":{"source":"github","repo":"workersio/skills"},"description":"Write Kani bounded model checker proofs for Solana and Rust programs","version":"0.1.0","strict":true,"keywords":[],"category":"utilities"}]}