Guardrail Your Agents with Lean

(github.com)

5 points | by barthelomew 4 hours ago ago