About Scidonia
Software correctness as a routine engineering property — contracts as the single source of truth, lowered to mechanised proof.
Our Vision
Scidonia was founded on the principle that software correctness should be a routine engineering property, not a specialised investment. We build the tooling that makes machine-checked verification cheap: contracts as the single source of truth, lowered to mechanised proof.
Our approach is vericoding: LLMs write the implementation and the contracts, a theorem prover checks them, and humans write the specification. The human and the machine each do the work they are suited for.
Technical Philosophy
These commitments shape everything we build:
-
The surface is often enough
contracts at every interface; you read the surface, the machine reads the volume.
-
Vericoding
the prover checks the code, the human negotiates the specification.
-
Proof is a commodity
the cost of a proof is no longer the reason not to get one.
-
A gradient, not a jump
BDD to contracts to proof, one rung at a time.
Contact
Interested in learning how Scidonia can help your organization deploy high-assurance AI systems?
Email: [email protected]