Publishers Docs

skills/willamhou/formal-provers/static analysis

Formal Methods

AdvisoryAudited by Static analysis on May 7, 2026.

Overview

No suspicious patterns detected.

Scan Metadata

Analyzed: May 7, 2026, 6:35 AM
Findings: 0
Version: 1.0.8
Reason codes: None
Engine: v2.4.22

Skills Plugins Audits

Publish Skill Publish Plugin

GitHub OpenClaw

Deployed on Vercel Powered by Convex