Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.
Free
1 MCP server
By fvossel
Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold.
Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.