{"name":"fastxyz-ultimatepowers","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"fastxyz-ultimatepowers","source":{"source":"github","repo":"fastxyz/ultimatepowers"},"description":"Superpowers core skills library fused with automatic K-notation formal verification in code review. Derived from obra/superpowers and grosu/formal-verification-kit.","version":"1.0.0","strict":true,"keywords":["skills","tdd","debugging","collaboration","best-practices","workflows","formal-verification","k-framework","matching-logic"],"category":"productivity"}]}