Software that behaves predictably under audit. Designed to be verified, not trusted on faith.
Spey Systems Ltd. Registered in Scotland.
Spey Systems develops software infrastructure where correctness is not assumed. Formal specifications, deterministic execution, and auditable provenance are design constraints, not afterthoughts.
The portfolio spans verifiable AI execution frameworks, financial software kernels, and deterministic ML pipelines. Each is governed by the same engineering philosophy, and each is relevant to regulated and audit-critical environments.
Three distinct brand surfaces. One engineering foundation.
axilog.io
Axioma is a verifiable AI execution framework. It defines seven formal layers, from epistemic containment through governance, for AI systems that must operate under audit. Published specifications are hosted at axilog.io. All layer contracts are formal, versioned, and publicly accessible.
axilog.iospeytech.com
SpeyTech is the deterministic computing portfolio: the surface for technical IP, published research, and open engineering work. It hosts the MDCP and MDLCE patent implementations, the certifiable-* open-source ML pipeline ecosystem, and the C-Sentinel semantic security tool.
speytech.comspeybooks.com
SpeyBooks is an API-first financial software kernel for UK businesses, currently in late development. Financial correctness is enforced at the database layer through declared invariants, not application logic. Designed for developers who need accounting that behaves deterministically.
speybooks.comThe company supports commercial engagements in the following areas:
Capability statements are available on request. View capability statement
The work is built on published specifications, open-source implementations, and formal contracts that can be inspected independently.
Provenance is a first-class concern. Build artefacts, specification lineage, and cryptographic anchors are documented at axilog.io/provenance/.
Verifiability that cannot be inspected is not verifiability.
A private limited company registered in Scotland (SC889983). The legal operating entity behind axilog.io, speytech.com, and speybooks.com, and the registered proprietor of both UK patents.
The engineering foundation is 30 years of UNIX and infrastructure practice, from Solaris 2.6 through to current RHEL and cloud-native environments. That lineage informs the architecture philosophy: operational experience at scale, preference for deterministic behaviour, no tolerance for systems that fail silently.
Based in the Scottish Highlands.
The company accepts enquiries relating to technical partnerships and licensing, systems architecture engagements, regulated-industry infrastructure projects, research collaboration, and procurement capability assessment.
Capability statements are available on request.