Formal Logic
Formal Logic MCP is a Model Context Protocol server that provides deterministic reasoning capabilities without any LLM dependencies.
It offers:
MCP connector
- Server URL
https://reasoning.services/tools/formal-logic/mcp- Login
- OAuth
Tools
Reads data2
Changes data7
Skills
None in the store listings. The server needs sign-in, so we could not check it
Inductive Bio#285