{"name":"antstanley-reasoning-semiformally-plugins-reasoning-semiformally","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"antstanley-reasoning-semiformally-plugins-reasoning-semiformally","source":{"source":"github","repo":"antstanley/skills"},"description":"Apply semi-formal certificate reasoning to code analysis — patch verification, fault localization, patch equivalence. Use when reviewing patches, hunting bugs across scopes, comparing fixes, or when code reasoning requires tracing execution across files/modules.","version":"1.0.0","strict":true,"keywords":["reasoning","code-review","debugging","patch-verification"],"category":"deployment"}]}