A community-driven registry for the Claude Code ecosystem. Not affiliated with Anthropic.
3 packages found
A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically ty
Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.