{"name":"daothinh-kani-proof-plugins-kani-proof","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"daothinh-kani-proof-plugins-kani-proof","source":{"source":"git-subdir","url":"https://github.com/daothinh/spec-cdex","path":"plugins/kani-proof"},"description":"Write Kani bounded model checker proofs for Solana and Rust programs","version":"0.1.0","strict":true,"keywords":[],"category":"utilities"}]}