levain-cli
Levain recipe toolchain: PlusCal validator, TLC model checking, and GraphState codegen for agent recipes
Activity
- Latest release
- 1d ago
- Total releases
- 13
- Cadence
- ~daily
- Last 12 months
- 13
Details
- License
- Apache-2.0
- First release
- Aug 27, 2026
| Version | Released | |
|---|---|---|
0.1.22
patch
|
0.1.22
patch
Dependencies (6)
|
|
0.1.21
patch
|
0.1.21
patch
Dependencies (6)
|
|
0.1.20
patch
|
0.1.20
patch
Dependencies (6)
|
|
0.1.19
patch
|
0.1.19
patch
Dependencies (6)
|
|
0.1.18
patch
|
0.1.18
patch
Dependencies (6)
|
|
0.1.17
patch
|
0.1.17
patch
Dependencies (6)
|
|
0.1.16
patch
|
0.1.16
patch
Dependencies (6)
|
|
0.1.15
patch
|
0.1.15
patch
Dependencies (6)
|
|
0.1.14
patch
|
0.1.14
patch
Dependencies (6)
|
|
0.1.12
patch
|
0.1.12
patch
Dependencies (6)
|
|
0.1.11
patch
|
0.1.11
patch
Dependencies (6)
|
|
0.1.10
patch
|
0.1.10
patch
Dependencies (6)
|
|
0.1.0
initial
|
0.1.0
initial
Dependencies (6)
|