# mpst

Multiparty Session Types for specifying and verifying multi-party communication protocols.

This module provides global type definitions, local type projection, well-formedness checking, runtime session monitoring, and 4 communication patterns.

::: agenticraft_foundation.mpst
    options:
      show_root_heading: false
      members: false

## Submodules

| Module | Description |
|--------|-------------|
| [`types`](types.md) | Session type definitions |
| [`global_types`](global-types.md) | Global type specification for multi-party protocols |
| [`local_types`](local-types.md) | Local type projection per role |
| [`checker`](checker.md) | Well-formedness checking |
| [`patterns`](patterns.md) | 4 communication patterns |
