dsg-plugins

DSG Spacetime production MCP client: governed plan, discover, owner approval, execute, verify evidence. Uses the existing https://aws.dsg.pics/mcp backend; does not deploy another control plane.

3 skills · 1 MCP server

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).

2 skills · 1 agent

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.

3 commands

Enforces the repo truth boundary and claim policy. Helps classify statements as verified fact / inference / pending / blocked / not verified, and warns about forbidden readiness claims. Ships an advisory PostToolUse hook.

1 skill · hooks

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.

1 skill · 1 agent

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.

1 command