Software built — and refurbished — to be cyber-secure.
We run a small software factory in South Shields. We make new software, and we put right software you already run. Where something can be shown to be correct, we show it — with maths, checked by machine, not by someone's opinion. Where it can't be shown, we test it, and we tell you which is which.
What is vibe code made of?
Bugs and Haste, with Copy and Paste,
That’s what vibe code is made of.
What is tested code made of?
Hope and a test, and a prayer for the best,
That’s what tested code is made of.
What is proof code made of?
Logic and Truth, with mathematical proof,
That’s what proof code is made of.
Why it matters
Most successful attacks do not pick a clever lock. They walk in through an ordinary mistake in ordinary software. That is the weakness we remove: a mistake that cannot happen cannot be used against you.
This standard used to be affordable only in aircraft and defence, because it took specialists years. Machines do that work now, which is why it can be applied to the software that runs a hospital, a bank, a council or a factory floor.
What we do
Two kinds of work. We build new software to your description, and we put right software you already depend on — including the old system nobody wants to touch. The rule is the same for both: prove what can be proved, test what cannot, and say plainly which is which.
We publish our failures next to our successes, which is unusual, and deliberate. If your software has consequences when it is wrong, talk to us.
Proof used to need a mathematician. Now it needs a sentence.