Workspace platform
Free · No AI requiredProof-Carrying Change
Start from an immutable Goal, pin the current Model and Graph, authorize only the required effect classes, record what actually changed, and verify the post-change system independently. Workspai composes that evidence into one tamper-evident capsule instead of treating an agent response or a clean diff as proof.
#Goal → Effects → Verify → Capsule
optional global install:
What you get
- 01workspai.proof-carrying-change-capsule.v1 portable capsule
- 02Predicted impact stays separate from observed architecture change
- 03Typed, idempotent effect receipts and deletion tombstones
- 04Digest-linked Decisions ledger with 12 explicit lifecycle states
- 05Capsule status remains one of open, blocked, verified, sealed, aborted
- 06Strict verification fails closed when causal closure is incomplete
Workspai CLI · same workspace truth
Ready to try it
Use Proof-Carrying Change in your workspace
Start with the open-source CLI, then use the free VS Code extension when you want the same evidence in the sidebar, dashboard, or Studio.