Stats
Actions
Available In
Tags
Plugin
reasoning-semiformally
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.
README
skills
A Claude Code plugin marketplace by Ant Stanley.
Install
Register the marketplace, then install plugins individually:
/plugin marketplace add antstanley/skills
/plugin install reasoning-semiformally@skills
/plugin install spec-creator@skills
/plugin install jj-workspaces@skills
Plugins
| Plugin | Description |
|---|---|
| reasoning-semiformally | Apply semi-formal certificate reasoning to code analysis — patch verification, fault localization, and patch equivalence. |
| spec-creator | Create or expand formal design specifications — numbered, layered, cross-linked markdown that defines what exists in the current branch. |
| jj-workspaces | 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. |
Repo layout
.
├── .claude-plugin/marketplace.json # marketplace manifest
├── plugins/
│ ├── reasoning-semiformally/
│ │ ├── .claude-plugin/plugin.json
│ │ ├── skills/reasoning-semiformally/
│ │ └── README.md
│ ├── spec-creator/
│ │ ├── .claude-plugin/plugin.json
│ │ ├── skills/spec-creator/
│ │ └── README.md
│ └── jj-workspaces/
│ ├── .claude-plugin/plugin.json
│ ├── skills/using-jj-workspaces/
│ └── README.md
└── docs/specs/spec.md # marketplace design spec
Adding a new plugin
- Create
plugins/<name>/skills/<name>/SKILL.md(with YAML frontmatter). - Add
plugins/<name>/.claude-plugin/plugin.jsonandplugins/<name>/README.md. - Append an entry for the plugin to
.claude-plugin/marketplace.json.
Stats
Version1.0.0
LanguagePython
Stars0
MaintenanceGood
Last Commit
Added
Available In
Tags
Categories
