# integration

Adapters that apply formal verification primitives to real protocol and workflow systems.

::: agenticraft_foundation.integration
    options:
      show_root_heading: false
      members: false

## Submodules

| Module | Description |
|--------|-------------|
| [`mpst_bridge`](mpst-bridge.md) | Session type verification for MCP and A2A protocol interactions |
| [`csp_orchestration`](csp-orchestration.md) | CSP-based workflow specification, verification, and composition |
