Skip to content

THE TOOLKIT / CHOOSE YOUR STARTING POINT

# What needs
to work better?

Evaluate a change. Check a contract. Authorize an action. Resolve a disagreement. Each tool has a specific job and a visible boundary.

6 tools

01
Evaluate

### Whetstone

Compare your current and candidate AI system on the same checks. Keep every gain and regression visible.

Public workbench↗
02
Prove

### SalienceLean

Turn supported, typed obligations into Lean-checked proof receipts with explicit assumptions.

Working prototype↗
03
Adopt

### Foundry

Bind formal, empirical, and runtime receipts to the same candidate. Fail closed when an authority is missing or vetoes the change.

Working prototype↗
04
Authorize

### ScopeWrit

Sign the permitted scope of an agent run. Check each consequential action and consume its authorization once.

Public alpha↗
05
Execute

### Backplane

Package and execute signed, scoped runtime capabilities, retaining the decision and execution record.

Working runtime↗
06
Reconcile

### Coherence

Compare records across independent systems, preserve source evidence, resolve exceptions, and resume a handoff exactly where it stopped.

Browser-local alpha↗

HOW TO CHOOSE

## Start with Whetstone
if you’re shipping an AI change.

You do not need to install the full chain to compare a baseline and candidate. Add formal proof, admission, authorization, or runtime controls when the release requires those guarantees.

Start with evaluation →