🔌

compliance-ising-z3

🔌Plugin

tdealer01-crypto/tdealer01-crypto-dsg-control-plane

Installation

Add marketplace in Claude Code:

$/plugin marketplace add tdealer01-crypto/tdealer01-crypto-dsg-control-plane

Step 2. Install plugin:

$/plugin install compliance-ising-z3@dsg-plugins

What it does

Deterministic QUBO/Ising policy-optimization and Z3/SMT-style formal constraint verification, bundled locally from the tdealer01-crypto/Compliance-ising-z3-Deterministic- engine. Includes a z3-compliance-review skill, a compliance-agent subagent, and reference build/test scripts. Constraint checks are Z3/SMT-style in native Kotlin (no external Z3 process).

🏪

Part of

tdealer01-crypto/tdealer01-crypto-dsg-control-plane

compliancequboisingz3smt

AddedJul 31, 2026

View on GitHub Back to Plugins

More from this repository10

🎯

web-design-guidelines🎯Skill

Skill

🎯

vercel-cli-with-tokens🎯Skill

Skill

🔌

pr-body-helper🔌Plugin

Generates a PR body that matches the repo's mandatory format (Goal / Files changed / Verification / Known limits / User-visible benefit / Next step), with honest 'Not run' handling for unrun checks.

🎯

vercel-optimize🎯Skill

Skill

🎯

vercel-react-best-practices🎯Skill

Skill

🎯

writing-guidelines🎯Skill

Skill

🔌

dsg-verify🔌Plugin

Slash commands that wrap the repo verification ladder: typecheck, targeted route verification, and a pre-PR check. Commands reference only npm scripts that exist in package.json.

🎯

runpod-agent🎯Skill

Skill

🔌

proofgate-review🔌Plugin

Governance-aware code review for the DSG Control Plane. Reviews changes against the repo's API route conventions, security conventions, truth boundary, runtime spine flow, deterministic gate boundary (UNSUPPORTED is never PASS), and Supabase/RLS rules. Includes a security-reviewer subagent.

🎯

deploy-to-vercel🎯Skill

Skill