@willamhou

contributor on implexa, with 1 skill ranked by SkillRank across 1 source.

willamhou on githubpublishes to clawhub

skills

avg SkillRank

7.2

1 scored / 1 total

total stars

—

across 1 repo

total installs

—

across 1 repo

skills, ranked by SkillRank

score	source	skill
7.2	clawhub	Formal Methods formal-provers invokes lean 4, coq, and z3 via subprocess for local formal verification. type-checks proofs, verifies theories, and solves smt formulas with 60-second timeouts and graceful handling of missing binaries.