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.
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.