Proof through an API
Call formal reasoning as an infrastructure capability instead of operating a research stack.
Proof inferenceHydra
Ask for a proof.
Get a certificate.
Hydra exposes Schematic’s autonomous proof engine directly – formalising claims, searching proof space and returning independently checkable results.
How Hydra works
Follow the claim
all the way through.
Three moments from the product experience.
Hydra
POST /v1/prove engine onlinerequest.ts API
1
const result = await hydra.prove({2
system: 'lean4',3
claim: '∀ n, sum n = n * (n + 1) / 2',4
context: 'Nat',5
verify: true6
});Formalised goal
THEOREM
For every natural number, the first n values sum to a closed form.
∀ n : ℕ, 2 * ∑ i ∈ Finset.range (n + 1), i = n * (n + 1)Context resolved18 definitions
What changes
An answer becomes evidence.
Checkable output
Separate the intelligence that searches from the kernel that decides what is valid.
Reusable certainty
Store, replay and compose proof artefacts across applications and mathematical work.
Hydra is the proof engine inside Sentry, where the same machinery is applied to the behaviour of production software.