Is Compliance Ising Z3 safe and trustworthy?

tashan scores Compliance Ising Z3 on public evidence — tashan score 41.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: 41.0
Adoption: 1 repos
Upkeep: 94.0
Freshness: 88.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 41 today. Pro keeps the series, so you can see whether that is a project getting better or one on its way down.

The whole series behind any row, back to the first day we measured it
The replacement, named — not just the news that something died
tashan doctor over your own config, on your own 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 — check your whole config, free, in the browser. tashan Pro adds the series behind each row and names a replacement for anything dying.

Already running this? Check your whole config — free, in your browser, nothing installed. Or npx tashan-cli doctor locally, which sends nothing at all.

Measured 2026-09-13 · scorer s5 · how · something wrong here?