SICurator turns your intent into an executable spec, builds the change in a sandbox, lets a separate agent attack it, and hands you a confidence-scored, verified diff.
Four steps, all of them executed rather than assumed.
Your intent becomes a spec you can read. Low-risk specs can auto-approve; everything else waits for you.
The change runs in a disposable sandbox with fixed CPU, memory and time budgets.
A separate attacker agent, with its own context, hunts for the bug the builder missed.
Every diff ships with a confidence score and a run log you can replay.
Conservation and invariant checks, unit and dimension consistency, convergence against analytic or reference solutions, and property-based tests with Hypothesis.
The desktop Guard tab shows a PASS / WARN / FAIL / NOT_CHECKED grid for G1–G10 and a findings table with file and line. You can mark false positives with a required note; they stay visible, greyed out. Read the safeguards →
# scan a project on its own $ sicurator guard ./my-project # G1 Do no harm to data PASS # G4 Don't touch secrets PASS # G7 Preserve oversight PASS # ... (illustrative output)
Desktop installers for every major platform. Check your download against SHA256SUMS.
Checksums: SHA256SUMS
Install, point SICurator at a project, and start a run.
# 1. install with the installer for your OS # 2. point SICurator at your project $ sicurator --project-root ./my-project # 3. start a verification run via the local API POST http://127.0.0.1:8799/api/runs # 4. run a guard scan on its own $ sicurator guard ./my-project
Free desktop download for Windows, macOS and Linux.