{"name":"antstanley-skills","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"},{"name":"antstanley-spec-creator-plugins-spec-creator","source":{"source":"github","repo":"antstanley/skills"},"description":"Create or expand formal design specifications for an app, package, or codebase — numbered, layered, cross-linked markdown that defines what exists in the current branch.","version":"1.0.0","strict":true,"keywords":["spec","design","documentation","architecture"],"category":"deployment"},{"name":"antstanley-jj-workspaces-plugins-jj-workspaces-2","source":{"source":"github","repo":"antstanley/skills"},"description":"jj (jujutsu) workspaces skill for Claude Code — creates isolated workspaces for parallel work and sub-agent driven development, and intercepts git-worktree requests in jj-managed repos.","version":"0.1.0","strict":true,"keywords":["jj","jujutsu","worktree","workspace","vcs","sub-agents"],"category":"development"}]}