Automated Reasoning guardrails for OpenClaw agents. Check every action against your policy before it executes — SAT or UNSAT in under a second. Free logic checker included.
by ICME-Labcommunity1 starsMITSource: github
Quality: highSafety: communityCategory: AI & MLUpdated: 2026-04-02