A
licenseA
qualityC
maintenanceMCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.
10
1
3
Apache 2.0
Matching MCP tools:
Matching MCP Connectors:
io.github.benkaiser
io.github.benkaiser