MCP.so
Tag

#logical-solver

1 results found

MCP Server Logical Solver
@RyanNg1403

A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent

Python
a year ago