Tutorials¶
These are hands-on tutorials that walk you through building real verification workflows with agenticraft-foundation. Each tutorial is self-contained and produces working code you can extend for your own multi-agent systems.
All tutorials use only agenticraft-foundation -- no external dependencies required.
Prerequisites¶
- Python 3.10 or later
agenticraft-foundationinstalled:
Tutorial Index¶
| Tutorial | What You'll Learn | Time |
|---|---|---|
| Modeling Agent Coordination with CSP | Build CSP models, analyze LTS, detect deadlocks | 15 min |
| Verifying Protocols with Session Types | Define global types, project to local types, verify well-formedness | 15 min |
| Multi-Protocol Routing | Build protocol graphs, routing algorithms, workflow validation | 20 min |
| Analyzing Mesh Topologies | Spectral analysis, topology comparison, hypergraph coordination | 15 min |
| Formal Consensus Verification | Consensus properties, weighted consensus, MAS theory mappings | 15 min |
| Checking Temporal Properties with CTL | CTL formulas, safety, liveness, response properties, counterexamples | 15 min |
| Modeling Stochastic Agents with DTMC | Markov chains, reachability probability, expected steps, steady-state | 15 min |
Suggested Order¶
The tutorials are designed to be read in order, but each is self-contained. If you are new to formal methods for multi-agent systems, start with the CSP tutorial to build intuition for process-algebraic modeling, then proceed through session types and protocol routing. If you are primarily interested in topology or consensus, you can skip directly to those tutorials. The verification tutorials (CTL and DTMC) build on CSP concepts, so read the CSP tutorial first if you haven't already.
Getting Help¶
If you run into issues, check the API Reference for detailed method signatures, or the Concepts section for background on the formal foundations.