PyPI page
Summary:
Levain recipe toolchain: PlusCal validator, TLC model checking, and GraphState codegen for agent recipes
Latest version:
0.1.14
Required dependencies:
httpx
|
pydantic
|
tree-sitter
|
tree-sitter-tlaplus
|
typer
Optional dependencies:
fastmcp
Downloads last day:
112
Downloads last week:
297
Downloads last month:
322
7-day smoothing