logicprobe plugin
Verifies claims about designs and code: facts against the source, behaviour as an executable model, plus structure review and baseline diffs.
How to install the logicprobe plugin
Run both commands inside Claude Code. The first adds the marketplace once; the second installs the plugin.
/plugin marketplace add AmethystLuna/logicprobe
/plugin install logicprobe@logicprobe-devWhat's inside logicprobe
6 parts read from the plugin's own files.
Skills 5
Claude loads it when the task matches- logicprobe
Use when you want to verify something about code: a design doc, spec, plan, review comment, README or refactor asserting API names, paths, enums, feasibility, state-machine or protocol behaviour, timing guarantees, or 'always/never' properties. Enumerates the claims, verifies each against the code (file:line), and escalates to executable model checks (S1-S8 + A1-A14) when behaviour is at stake. Diagrams: logicprobe-uml; concurrency: logicprobe-concurrency; data: logicprobe-datamodel.
- logicprobe-concurrency
Use when a design or plan claims concurrency safety (thread-safe, lock-free, no data race, ISR-safe) or names shared state, mutexes, atomics or interrupts. Mines the claims and routes each to dedicated verification (TSan, Helgrind, CBMC, TLA+); it does not prove concurrency safety. Doctrine: the logicprobe skill.
- logicprobe-datamodel
Use when reviewing design docs, specs, plans or migrations claiming entities, fields, constraints, relationships, data invariants, or before/after data-model equivalence: schema changes, migration logic, or data guarantees ('all records must have X', 'no orphan rows', 'ids unique') want executable data-model verification (migration coverage, copy consistency, rollback symmetry, DD1-DD4 regression). State machines and protocols: logicprobe; diagrams: logicprobe-uml.
- logicprobe-structure
Use when reviewing architecture, module structure or a dependency diagram: parse a component, package, class or deployment diagram into a dependency graph and check isolated nodes, dangling endpoints, cycles, allowed-dependency violations, layer violations and missing required edges. Audits the diagram, not the code — reconcile it with a source-side scan. Doctrine: the logicprobe skill.
- logicprobe-uml
Use when drawing a code flow as UML or auditing a diagram someone drew: parse a hand-drawn state or activity diagram, render a model, and check round-trip fidelity (dead ends, unreachable states, label drift). Component, class and ER diagrams are refused, not modelled. Doctrine and behavioural verification: the logicprobe skill.
Hooks 1
Runs on these events- SessionStartcommand
startup|clear|compact
Using logicprobe in Claude Code
Skills need no command. Claude reads them when your request matches what they describe.
Update, turn off or remove
- Update the plugin (shell)
- claude plugin update logicprobe@logicprobe-dev
- Refresh the marketplace
- /plugin marketplace update logicprobe-dev
- Turn it off for now
- /plugin disable logicprobe@logicprobe-dev
- Remove it
- /plugin uninstall logicprobe@logicprobe-dev
Skills in logicprobe
- logicprobeAmethystLuna/logicprobe
Use when you want to verify something about code: a design doc, spec, plan, review comment, README or refactor asserting API names, paths, enums, feasibility, state-machine or protocol behaviour, timing guarantees, or 'always/never' properties. Enumerates the claims, verifies each against the code (file:line), and escalates to executable model checks (S1-S8 + A1-A14) when behaviour is at stake. Diagrams: logicprobe-uml; concurrency: logicprobe-concurrency; data: logicprobe-datamodel.
5 files5stars - logicprobe-concurrencyAmethystLuna/logicprobe
Use when a design or plan claims concurrency safety (thread-safe, lock-free, no data race, ISR-safe) or names shared state, mutexes, atomics or interrupts. Mines the claims and routes each to dedicated verification (TSan, Helgrind, CBMC, TLA+); it does not prove concurrency safety. Doctrine: the logicprobe skill.
2 files5stars - logicprobe-datamodelAmethystLuna/logicprobe
Use when reviewing design docs, specs, plans or migrations claiming entities, fields, constraints, relationships, data invariants, or before/after data-model equivalence: schema changes, migration logic, or data guarantees ('all records must have X', 'no orphan rows', 'ids unique') want executable data-model verification (migration coverage, copy consistency, rollback symmetry, DD1-DD4 regression). State machines and protocols: logicprobe; diagrams: logicprobe-uml.
3 files5stars - logicprobe-structureAmethystLuna/logicprobe
Use when reviewing architecture, module structure or a dependency diagram: parse a component, package, class or deployment diagram into a dependency graph and check isolated nodes, dangling endpoints, cycles, allowed-dependency violations, layer violations and missing required edges. Audits the diagram, not the code — reconcile it with a source-side scan. Doctrine: the logicprobe skill.
2 files5stars - logicprobe-umlAmethystLuna/logicprobe
Use when drawing a code flow as UML or auditing a diagram someone drew: parse a hand-drawn state or activity diagram, render a model, and check round-trip fidelity (dead ends, unreachable states, label drift). Component, class and ER diagrams are refused, not modelled. Doctrine and behavioural verification: the logicprobe skill.
2 files5stars
logicprobe plugin questions
How do I install the logicprobe plugin?
In Claude Code run /plugin marketplace add AmethystLuna/logicprobe, then /plugin install logicprobe@logicprobe-dev.
What does the logicprobe plugin include?
logicprobe bundles 5 skills, hooks.
How do I update or remove the logicprobe plugin?
Update it with claude plugin update logicprobe@logicprobe-dev in your shell, or from the Installed tab of /plugin. Remove it with /plugin uninstall logicprobe@logicprobe-dev.
What license is the logicprobe plugin under?
MIT, as stated in the plugin's manifest.