Chimera Protocol

All

3 repositories

csl-core
Public
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
state-machine mcp z3
state-machine mcp z3 formal-verification ai-safety tla-plus policy-as-code neuro-symbolic agent-framework ai-governance
Python
•
Apache License 2.0
•9•10•5•1•Updated Apr 8, 2026Apr 8, 2026
chimera-runtime
Public
The deterministic constraint layer for autonomous AI agents. Enforce mathematically proven rules at runtime, block prompt injections, and generate formal audit …
python z3 compliance
python z3 compliance formal-verification policy-engine ai-agents audit-trail autogen guardrails langchain
Python
•
Apache License 2.0
•0•2•0•0•Updated Mar 26, 2026Mar 26, 2026
Project-Chimera
Public
Neuro-Symbolic-Causal AI - Project Chimera | 🌌 An open research project exploring formal verification of AI agent decisions, combining symbolic reasoning, causa…
formal-verification causal-inference multi-agent-systems
formal-verification causal-inference multi-agent-systems agent-based-simulation policy-as-code ai-governance agentic-ai econml agent-competition
Python
•9•50•8•0•Updated Feb 20, 2026Feb 20, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.