Studio products

Products born inside the studio.

We turn recurring, valuable problems into software we own and operate—then use what we learn to make every venture stronger.

Attest

Research that keeps and checks its evidence.

Attest reads web pages, files, scans, spreadsheets, databases, and internal systems; saves what it used; and verifies every claim against the original source before delivery.

Python and LangGraph
Verifiable, claim-level evidence
Web, document, database, and internal-system adapters
Self-hosted and fully offline deployment
Extensible for specialised research workflows

Explore Attest →

Apex

Formal verification for Python, anchored in Lean 4.

Apex turns written intent, tests, and Python source into formal proof obligations. Lean 4 checks every proposed proof, while anything unresolved comes back as a specific, actionable gap report.

Python source, tests, and prose specifications
Lean 4 as the sole trust anchor
Proved, gap, and refuted outcomes
CLI and MCP interfaces
Open-source foundation

Explore Apex →