{"name":"krokoko-software-verification-plugins-software-verification","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"krokoko-software-verification-plugins-software-verification","source":{"source":"github","repo":"krokoko/cairn"},"description":"Design verification strategies that unlock higher levels of autonomous software development.","version":"0.1.0","strict":true,"keywords":["verification","testing","formal-methods","oracles","strategy"],"category":"development"}]}