4 packages found
Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests
A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically ty
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicab