Is Compliance Ising Z3 safe and trustworthy?

tashan scores Compliance Ising Z3 on public evidence — tashan score 45.0/100, it is currently active. Audit scope: OSV advisories, install-time scripts, build provenance and declared permission surface. We do not review source code or execute the capability.

How do I install Compliance Ising Z3?

Configure it from its source repository — it is a remote / registry server.

Who maintains Compliance Ising Z3?

15 GitHub contributors, source: tdealer01-crypto/tdealer01-crypto-dsg-control-plane.

‹ The Index

Compliance Ising Z3

plugin

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

Works with: Claude Code (native)
native: this artifact type is that client's own format

Category: Security — see all ranked ›

Install (Claude Code):

/plugin marketplace add tdealer01-crypto/tdealer01-crypto-dsg-control-plane
/plugin install compliance-ising-z3@dsg-plugins

tashan score: 45.0
Adoption: 1 repos
Upkeep: 100.0
Freshness: 99.0
Evidence coverage: 84% of the inputs this score can use — the rest are unknown, and the score is discounted for it
Health: active
Contributors: 15
License: NOASSERTION

Security audit

Not scanned yet. We audit npm-published capabilities for known advisories, install-time scripts and permission surface; this one has no npm package we can resolve, or has not reached the queue.

You searched for one. Check the rest of your stack:

npx tashan-cli doctor

Reads the config already on your machine and names what is dead, deprecated or running code at install time. No account, nothing uploaded.

tashan Pro$6/mo

Compliance Ising Z3 scores 45 today. Pro keeps the series, so you can see whether that is a project getting better or one on its way down — and tells you the day it moves.

Every score since we started measuring, for any capability
The named replacement when something you run is dying — not just that it is
tashan doctor over the config you already have, on your machine

Start a 7-day trial › Everything measured on this page stays free.

Show your score

Measured this well? Put the live badge in your README — it updates as the score does.

[![tashan](https://tashan.sh/badge/plugin-tdealer01-crypto-tdealer01-crypto-dsg-control-plane-compliance-ising-z3.svg)](https://tashan.sh/capability/plugin-tdealer01-crypto-tdealer01-crypto-dsg-control-plane-compliance-ising-z3.html)

source ↗ · plugin:tdealer01-crypto/tdealer01-crypto-dsg-control-plane/compliance-ising-z3

Everything on this page is public evidence and free. What it cannot know is whether you run this — npx tashan-cli doctor reads your own config and names what is wrong in it, also free. tashan Pro tells you the day any of it changes.

Already running this? npx tashan-cli doctor checks your whole config against the Index — how it works ›

Measured 2026-08-14 · scorer s5 · how · something wrong here?