#deterministic-ai — Claude Updates

MCP Server 15

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

Python Apache-2.0 Updated 1mo ago

chimera-protocol 0 0

Claude Skill 18

OWL 2 skill compiler for deterministic AI agents — transforms SKILL.md into validated RDF/ Turtle ontologies with SHACL gatekeeper

Python MIT Updated 2mos ago

mareasw 0 0

MCP Server 263

Save thousands of lines of code by building universal, domain-agnostic Multi-Agent Systems (MAS) through high-level semantic orchestration....

Jupyter Notebook MIT Updated 4w ago

denis2054 0 0