Claim listing
Alpha-Park/genpark-first-order-logic-resolution-prover-skill
GenPark AI Agent Skill - First-Order Logic (FOL) resolution theorem prover applying Most General Unification (MGU) and refutation proof trees.
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.