Claim listing
Alpha-Park/genpark-hoare-logic-triplet-verifier-skill
GenPark AI Agent Skill - Deductive program verifier validating Hoare logic triplets {P} C {Q} across state transitions, assignment axioms, and conditional branches.
Claim your listing to add a tagline, logo, and category. Verified maintainers get a Verified Publisher badge and priority placement on the AgentRank index.
Leave your email to claim this listing. GitHub verification coming soon.