Back to directory
Testing & Reviewalphaparkinc/genpark-reasoning-formal-symbolic-proof-checker-skill
Genpark Reasoning Formal Symbolic Proof Checker Skill
GenPark Reasoning Formal Symbolic Proof Checker - Zero-dependency propositional logic assertion and formal symbolic deduction validator.
Suggested install command
npx skills add alphaparkinc/genpark-reasoning-formal-symbolic-proof-checker-skill/Genpark Reasoning Formal Symbolic Proof Checker SkillAlways inspect the linked repository and skill instructions before running commands. Skills are instructions; permissions and execution still matter.
Compatibility
Agent support matrix
3 supported
| Agent | Status |
|---|---|
| Claude Code | Supported |
| OpenCode | Not listed |
| Cursor | Supported |
| MCP | Not listed |
| GitHub Copilot | Not listed |
| Windsurf |