Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
#ai-governance
63 posts
MCP EU AI Act Compliance Scanner - Open source tool to detect EU AI Act violations in codebases
Values ingrained, sovereignty sustained — governance framework for endogenous AI workflows
Trust metadata for AI agents — a stamp costs ~15 tokens, re-verifying costs 15,000. Agents stamp what they verify; the next agent runs 'akf...
🔐 Deterministic AI liability attribution engine. MCP server that generates cryptographically-signed CausalCertificates for AI incident fore...
The verification layer for autonomous agents — an independent, capital-aware verdict before an irreversible action (/review), a cryptographi...
AegisSovereignAI: The Cross-Ecosystem Trust Layer for the Distributed Enterprise. Verifiable Identity, Hardware-Rooted Integrity, and Sovere...
Governance runtime for AI tool invocation. Enforces persona scope and combination policies at the MCP layer; INSERT-only audit trail.
Certifying proxy for agent-to-agent transactions — SHA-256 proof chain, Ed25519 signatures, RFC 3161 timestamps, Sigstore Rekor
AI Engineering Governance Platform — Session memory, feature registry, code intelligence, and rule enforcement for AI coding assistants.
MCP middleware that blocks dangerous AI agent actions using a simple YAML config
Open-source AI governance gateway for EU teams: enforce PII, cost, model, data residency, and tool policies for LLMs and AI agents with sign...