<< Back to goal-lean

bacoco/lean-goal-guard/goal-leanskill versions

1 skill version published
──Skill Version History
v1.0.0currentLLM-judged scan90/10020d ago
sha256:e14247ebbab1