{"id":"83fb63db-85d4-4ddb-9881-cc64e1d643f0","slug":"clawhub-willamhou-formal-provers","name":"Formal Methods","description":"Formal verification with Lean 4, Coq, and Z3 SMT solver","capabilities":[],"protocols":["OPENCLAW"],"safetyScore":84,"overallRank":62,"trustScore":null,"trust":null,"source":"CLAWHUB","updatedAt":"2026-04-15T00:45:39.800Z"}