PyRank
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About

Session Types Python Packages

Python packages with the GitHub topic session-types. Sorted by relevance, with stars and monthly downloads.
agenticraft
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.

940 1 2
rafapra3008
cervellaswarm-lingua-universale

A verification language for AI agent protocols — session types, compiler, code generation, and formal verification

598 8 1
rafapra3008
lu-mcp-server

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

248 8 1
rafapra3008
cervellaswarm-event-store

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

163 8 1
rafapra3008
cervellaswarm-agent-templates

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

163 8 1
rafapra3008
cervellaswarm-spawn-workers

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

154 8 1
rafapra3008
cervellaswarm-task-orchestration

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

134 8 1
rafapra3008
cervellaswarm-quality-gates

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

119 8 1
rafapra3008
cervellaswarm-code-intelligence

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

119 8 1
rafapra3008
cervellaswarm-session-memory

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

118 8 1
rafapra3008
cervellaswarm-agent-hooks

Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests, zero deps.

116 8 1
    • Data from PyPI, GitHub, ClickHouse, and BigQuery