Skip to content

README.md

Latest commit

 

History

History
26 lines (21 loc) · 1.32 KB

README.md

File metadata and controls

26 lines (21 loc) · 1.32 KB
Raw

genpark-first-order-resolution-refutation-skill

GitHub Stars Standard Library Only Python 3.10+

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