Sequent

Sequent builds Alan, a prover agent for deep formal verification of smart contracts: machine-checked, unbounded, replayable proofs.

Website: sequent.inc.

X: @sequent_inc · 285 followers.

Category: AI agents.

On Recent Funding since: May 12, 2026.

Signals

X account@sequent_inc · created Feb 14, 2026 (9 months old) · 285 followers

Website registeredMar 20, 2026 (8 months old)

About Sequent

Don't trust us. Re-run it.

Sources and API

Every amount links to the page it came from. * Estimated from an accelerator's published standard deal, not a company-specific disclosure. How Recent Funding sources and verifies funding data. The same data as JSON: /api/v1/companies/sequent (get a free API key).