Session Types Python Packages

cervellaswarm-lingua-universale

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.

549 12 2

agenticraft-foundation

Formally verified mathematical foundations for multi-agent AI coordination — CSP process algebra, multiparty session types, spectral topology, temporal logic model checking, and probabilistic verification.

533 1 2

lu-mcp-server

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.

390 12 2

cervellaswarm-session-memory

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.

99 12 2

cervellaswarm-agent-templates

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.

90 12 2

cervellaswarm-code-intelligence

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.

84 12 2

cervellaswarm-agent-hooks

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.

83 12 2

cervellaswarm-spawn-workers

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.

80 12 2

cervellaswarm-quality-gates

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.

78 12 2

cervellaswarm-task-orchestration

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.

78 12 2

cervellaswarm-event-store

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. Zero deps.

77 12 2