Critical-risk tools in FOL Prover MCP Server

Critical severity FOL Prover MCP Server MCP Server 2 of 13 tools

2 of the 13 tools in FOL Prover MCP Server are classified as critical risk. This page profiles those tools specifically, with recommended policy actions and the attack patterns that target them.

Every operation listed below is an action PolicyLayer recommends controlling at the transport layer. Open any tool to see the full profile, risk score, and YAML policy snippet.

Tools at critical risk

clear_session Destructive

Clear all premises and conclusion from a session.
remove_premise Destructive

Remove a premise by index from the current session.

Attacks that target this class

Critical-risk tools in any server share these documented attack patterns. Each links to the full case and the defensive policy.

Destructive Action Autonomy
Privilege escalation via admin-only tools
Data exfiltration via tool chaining
Runaway Tool Loops

Critical-risk tools in FOL Prover MCP Server

Tools at critical risk

Attacks that target this class

More on FOL Prover MCP Server

Enforce policy on every FOL Prover MCP Server tool call.