runtime-enforcement

Governance-as-Code for AI agents. Declarative constraints with deterministic enforcement. Provisioning Identity, Tool-based rules, Brokering Credentials & Ensuring safe deployment

DCEE is a lightweight Python framework for validating data against contracts and enforcing SLA rules. Built on pandas and boto3, it provides simple, fast data validation without heavy dependencies.

Structural security, governance and execution for AI agents: validate actions before they touch files, credentials, network, APIs, or money.

Secure runtime for multi-agent AI. Kernel sandboxing (seccomp-bpf), real-time PII redaction, Merkle audit trails.

AgentInterdict — runtime enforcement for autonomous AI agents. Trust context. Verify authority. Interdict unsafe action.

Lightweight runtime enforcement for agentic AI. PII masking, policy checks, and Merkle audit trails as a decorator.

👟 SUP: Sycophancy Under Pressure

Execution boundary for autonomous systems. Deterministic runtime enforcement of executable constraints before state-changing actions occur.

Deterministic pre-execution gate for AI agents (fail-closed, YAML policy)

Runtime security and policy enforcement for tool-using autonomous AI agents

The open source runtime enforcement for AI agents.

VELLA = Verifiable Evidence Ledger & Logic Authority; deterministic pre-execution authorization and signed proof for AI agents and automated workflows.

Runtime guardrails for AI agent MCP tools. Blocks dangerous tool calls at runtime with a default-deny policy proxy.

Open protocol for deciding when AI-generated scientific outputs are admissible to shape what science does next

Evidence-coded map of constrained decoding, structured generation, guarantees, systems costs, and evaluation for language models.

In this project, we design and develop a framework leveraging formal runtime enforcement approaches to enforce the lifecycle constraints of a document at runtime, preserving its integrity and privacy using cryptographic approaches alongside.

Compiler-Kernel Co-Designed execution integrity enforcement using Policy-Carrying Code (PCC) and eBPF-LSM.

Execution boundary for autonomous systems. Deterministic runtime enforcement of executable constraints before state-changing actions occur.

Scoped authorization for AI-shaped scientific work