OpenOBA

Popular repositories Loading

1. erdl-landing erdl-landing Public

   Governance is rules — a multi-party shared semantic specification for governing AI agents with declarative rules

   TypeScript 2

2. erdl-mcp-server erdl-mcp-server Public

   Stop reminding your Agent to behave. Teach it. One when/then sentence is all it takes.

   TypeScript 2

3. rulsynor-core rulsynor-core Public

   ERDL deterministic Guard engine — cryptographic audit chain for AI Agent decisions. Train, deploy, correct, prove.

   TypeScript 2

4. erdl-vectors erdl-vectors Public

   **Based on the ERDL design**: [ERDL (Entity-Rule Definition Language)](https://github.com/OpenOBA/erdl-landing) — a declarative rule-execution protocol; the Decision Object is the audit record of i…

   JavaScript 1

5. erdl-formal erdl-formal Public

   Determinism isn't tested — it's proven. SMT-based formal verification for ERDL, the rule language of enterprise AI agents.

   Python