SharpLogic is a static verifier for AI agent workflows. Give it a workflow graph (nodes, edges, guard conditions — LangGraph-style JSON) and it counts, exactly, how many guard assignments make it deadlock, dead-end, or livelock — before runtime. No sampling: a zero-dependency Rust #k-SAT counter plus a structural pass returns the trap count and concrete witnesses — which node gets stuck, under which conditions. Browser trial needs no signup; the CLI runs fully offline.