← All tags

#ai-governance

63 posts

MCP Server 15

Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.

Python Apache-2.0 Updated 3mos ago
MCP Server 11

MCP EU AI Act Compliance Scanner - Open source tool to detect EU AI Act violations in codebases

Python MIT Updated 3mos ago
MCP Server 2

Values ingrained, sovereignty sustained — governance framework for endogenous AI workflows

Python Apache-2.0 Updated 1mo ago
MCP Server 13

AKF

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...

Python MIT Updated 1mo ago
MCP Server 2

🔐 Deterministic AI liability attribution engine. MCP server that generates cryptographically-signed CausalCertificates for AI incident fore...

TypeScript Apache-2.0 Updated 2mos ago
MCP Server 4

The verification layer for autonomous agents — an independent, capital-aware verdict before an irreversible action (/review), a cryptographi...

Python Apache-2.0 Updated 1mo ago
MCP Server 19

AegisSovereignAI: The Cross-Ecosystem Trust Layer for the Distributed Enterprise. Verifiable Identity, Hardware-Rooted Integrity, and Sovere...

Go Apache-2.0 Updated 4mos ago
MCP Server 2

Gif

Governance runtime for AI tool invocation. Enforces persona scope and combination policies at the MCP layer; INSERT-only audit trail.

JavaScript Apache-2.0 Updated 2mos ago
MCP Server 2

Certifying proxy for agent-to-agent transactions — SHA-256 proof chain, Ed25519 signatures, RFC 3161 timestamps, Sigstore Rekor

Python MIT Updated 1mo ago
MCP Server 2

AI Engineering Governance Platform — Session memory, feature registry, code intelligence, and rule enforcement for AI coding assistants.

TypeScript NOASSERTION Updated 1mo ago
MCP Server 11

MCP middleware that blocks dangerous AI agent actions using a simple YAML config

TypeScript Updated 2mos ago
MCP Server 10

Open-source AI governance gateway for EU teams: enforce PII, cost, model, data residency, and tool policies for LLMs and AI agents with sign...

Go Apache-2.0 Updated 1mo ago