Build Smarter & Prove It
Backbuild is your complete workspace (mail, calendar, docs, sheets, and more, free) and the platform to build and ship anything with Pro. Add Backbuild Science for research and publishing, and Backbuild Prove to mathematically prove your code is correct. Backbuild and Backbuild Science are available today in Early Adopter Alpha; general availability is expected mid to late 2027.
Backbuild
Available now Your complete workspace, free
The Idea
Mail, calendar, contacts, files, a post-quantum zero-knowledge secrets manager, docs, sheets, slides, and photo, video, audio & music studio editors: everything you need to work, free in one place. Upgrade to Pro and the same workspace becomes a full build-and-ship platform.
What You Get
- Free: the everyday workspace and full back office (accounting, payroll, mail, docs & more), for teams up to 50
- Lite ($19/seat/mo): get paid & grow with invoicing, marketing, and money-in connectors
- Pro ($49/seat/mo): build & ship your own product with the SaaS builder, storefront, and 100 GB file storage per seat
- Enterprise ($149/seat/mo): scale with a 99.99% uptime SLA and dedicated support
- Containers & workers: run containers, remote workers, and autonomous virtual workers
- Remote desktop & meetings: post-quantum encrypted remote desktop (NIST FIPS 203/204); encrypted video meetings with recordings, transcription, and notes, on usage credits
- Ship products: helpdesk, Stripe, multi-environment management, with website & theme builders coming soon
- AI-native: every capability has an MCP surface, including browser & desktop control
- Simple seats: one per-seat price per plan, no add-ons; add seats anytime, billed pro-rated
Backbuild Science
Available now Research, prove & publish
The Idea
The research and publishing edition of Backbuild. Write in LaTeX, verify your mathematics with the HOL kernel and the UI proof system, export your data, and publish, free for current students and faculty.
What You Get
- Free for students & faculty, with a graduate discount ladder after you leave
- HOL kernel & IDE extension: unlocked by Science or Prove; verify your math from first principles
- UI proof system: build and organize proof entries in the workspace
- LaTeX export from Docs: submission-ready, no reformatting
- SQLite & Parquet export from Sheets: research data that travels with your paper
- ORCID, Zenodo & integrations: attribution and deposit built into the workflow
Backbuild Prove
Coming soon Formal verification for 20+ languages
The Idea
AI coding agents go in loops and ship logic errors silently. Backbuild Prove gives every function a mathematical contract, so the IDE tells the agent (and you) the instant something is wrong. “Probably correct” isn’t good enough.
What You Get
- AI writes the proofs, guided by examples, docs, and instructive error messages
- HOL kernel verifies: a server-side higher-order logic kernel checks every obligation; shared with Backbuild Science
- Red squiggles & code analysis: Prove-only diagnostics keep AI agents honest, inline as files change
- 20+ languages: Rust, TypeScript, Python, Go, Java, C#, C++, and more
- Lean 4 cross-check: an independent math engine re-verifies the work
- Signed certificates: cryptographic attestation anyone can verify, free
What Sets Backbuild Apart
Post-Quantum Zero-Knowledge Secrets
The built-in password and secrets manager is zero-knowledge: everything is encrypted on your device before it reaches us, so we cannot read your secrets even if compelled to try. The vault uses hybrid post-quantum cryptography (X25519 with ML-KEM-768, NIST FIPS 203) and Argon2id key derivation, so secrets stored today stay safe in a quantum future.
A Full Creative Studio Built In
Photo, video, audio, and music studio editors live inside the same workspace as your docs, mail, and projects. Edit photos, cut video, record and mix audio, and compose music without leaving Backbuild or paying for a separate creative suite.
AI-Native With a Full MCP Surface
Backbuild is designed for AI from the ground up. Every capability, from mail and docs to billing, containers, and the secrets vault, is exposed to AI agents through the Model Context Protocol (MCP), including full browser and desktop control. Your agents can drive everything you can.
Compliance & Governance on Every Tier
A full compliance and governance controls surface, with audit logging, role-based access control, and organization-scoped permissions, is built into Backbuild and included even on the Free tier. Security is never sold back to you as an enterprise add-on, because done securely is done right, and it is the only acceptable way to operate a business.
A Stable, Trustworthy Foundation
We built Backbuild to be the platform you bet your business on. That means security, compliance, and reliability aren’t afterthoughts; they’re the foundation everything else is built on.
Visit our Trust Center for detailed compliance documentation, security policies, and audit information.