newjerseystyle

FOL Prover MCP Server

调用多种一阶逻辑定理证明器，完成证明、会话管理与 TPTP 导出。