5 projects
levain-cli
Levain recipe toolchain: PlusCal validator, TLC model checking, and GraphState codegen for agent recipes
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-recipe
Reserved name. Levain agent recipes are distributed as levain-recipe-<name> packages; this base name is reserved to avoid confusion.
levain-recipe-tools
Reserved name. The Levain authoring toolchain is published as levain-cli.
