feat: Implement the Hypersequent Contingency Calculus (HCC) prover, formula AST, and VFE engine with corresponding tests and documentation updates.

refactor: update configuration handling and improve Mace4 wrapper robustness and logging.

Add GitHub sponsor username to FUNDING.yml

docs: Add AI agent instructions for mcp-logic tools, including usage for theorem proving, model finding, and categorical reasoning.

All lint errors are now resolved - the codebase is clean! The project is ready to use with:

feat: add Mace4 integration, categorical reasoning, syntax validation, and streamline run scripts.

Update README.md

Update README.md

hope it still runs for everyone, working on linux

Update README.md

Update README.md

Update README.md

Create LICENSE

fixed readme

Merge branch 'main' of https://github.com/angrysky56/mcp-logic