# Plumbing: first public release

---
**The current release is at [https://leithdocs.com/plumbing](https://leithdocs.com/plumbing)**

---

*Version 0p1 — March 2026*

The plumbing calculus is a typed language for describing how AI
agents connect and communicate. It has formal mathematical
foundations and supports session types for specifying protocols
between agents. The compiler checks that agent graphs are
well-formed before they run.

This is the first public release of the compiler, interpreter,
and MCP server, available for research and personal use.

## Downloads

- [Linux (x86_64)](https://ldc-downloads.hel1.your-objectstorage.com/plumbing/plumbing-0p1-linux-x86_64.tar.gz)
- [macOS (Apple Silicon)](https://ldc-downloads.hel1.your-objectstorage.com/plumbing/plumbing-0p1-darwin-aarch64.tar.gz)

## Licence

This release is free for educational and personal use. If you
would like a source licence or wish to use plumbing commercially,
please contact us: [contact@leithdocs.com](mailto:contact@leithdocs.com).

## More information

- [A typed language for agent coordination](typed-language-for-agent-coordination.md) — introductory blog post
- [The agent that doesn't know itself](the-agent-that-doesnt-know-itself.md) — session types, compaction, and self-knowledge
- [arXiv paper](https://arxiv.org/abs/2602.13275) — the research programme