LEANGUARD provides verified guardrails for tool-using agents
LeanGuard runtime checks tool calls against Lean4 policies, preventing policy violations and enabling safe repairs.
Stories per day · 30 days
1 stories, newest first · one card per story
Stories tagged #lean-guard