genpark-first-order-resolution-refutation-skill

First-Order Logic (FOL) resolution refutation automated theorem prover deriving empty clause contradictions for unsatisfiability proofs.

graph TD
    A[Agent Runtime / Execution Stack] --> B[genpark-first-order-resolution-refutation-skill]
    B --> C[Zero Dependency Engine]
    C --> D[Standard Library Primitives]

Loading

Features

• Strict 0 Pip Dependencies: Built completely using the Python Standard Library.
• Fast Execution & Verification: Includes client wrapper, MCP server, and verified test suites.
• Agentic AI Ready: Exposes standard MCP tools for continuous LLM integration.

Installation & Quickstart

git clone https://github.com/Alpha-Park/genpark-first-order-resolution-refutation-skill.git
cd genpark-first-order-resolution-refutation-skill
python example_usage.py