A
licenseNot graded
qualityB
maintenanceEnables agents to check propositional logic assertions and validate formal symbolic deductions through MCP, supporting rigorous step-level reasoning verification.
7
MIT
genpark-reasoning-formal-symbolic-proof-checker-skill
Officialby alphaparkinc
Related Servers
Alternatives to genpark-reasoning-formal-symbolic-proof-checker-skill
No user-submitted related servers found.
Related Servers
- AlicenseAqualityDmaintenanceMCP server that gives small LLMs verified symbolic-math & logic tools.617 PyPI2Apache 2.0
- AlicenseNot gradedqualityAmaintenanceMCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.142 npm218Apache 2.0
- AlicenseAqualityDmaintenanceAn MCP server that exposes the Prova reasoning verifier, enabling AI agents to verify their own reasoning and kernel-check Lean 4 proofs before outputting answers.5MIT
- FlicenseAqualityDmaintenanceMCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.77-
- FlicenseNot gradedqualityDmaintenanceAn MCP server that provides formal reasoning and argument validation tools for AI agents based on established computational argumentation theories. It enables structured argument analysis, defeasible reasoning, and dialogue management using frameworks like Dung, Toulmin, and Walton's schemes.-