Open Source

Code We Build In Public

Infrastructure-grade tools published under open licenses. Audit them, fork them, run them yourself.

The infrastructure layer of AI should be auditable.

Most AI governance tooling is a black box sold on trust. We think that is the wrong foundation. If you cannot read how a system makes decisions, you cannot verify that it does what it claims. You can only hope.

We build the substrate in public: the chain that seals findings, the governance engine that enforces rules, the verification tools that let anyone check the math. Not because open source is a marketing posture, but because auditability requires it.

Sovereignty means you own your stack. That starts with being able to read it.

Strikaris-Tech/

strikaris-chain

GitHub

Tamper-evident hash-chained ledger with a public verification API. Four files: chain server, heartbeat ticker, integrity auditor, and author relay. SQLite by default, storage-agnostic by design.

Python
auditchainverification
verify.strikaris.com ↗

Strikaris-Tech/

mirroros

GitHub

AI agent governance substrate. Formally verified agent rules via Prolog and Z3. Every agent decision passes through law evaluation before it executes. The audit trail is a cryptographic proof chain, not a log.

Python / Prolog
ai-governanceformal-verificationagents