3 projects
levain-runtime
Self-hosted runtime for Levain agents: run an agent's nodes on your own machine or container while the platform drives the recipe
levain-sdk
SDK for building Levain agent recipes
levain-cli
Levain recipe toolchain: PlusCal validator, TLC model checking, and GraphState codegen for agent recipes