session_reset
AI agents call session_reset to permanently remove resources in Z3/SMT MCP Server — typically in cleanup and lifecycle workflows. It does its job in a single call, and there is no undo.
A 'reset' operation typically irreversibly clears or destroys the current session's state (variables, constraints, push/pop stack), which cannot be undone. Given the sibling tools like session_add_constraint, session_add_variable, session_push, session_pop, a reset would wipe all accumulated session data. However, since the description is empty, confidence is lowered.
From the tool's definition Tool name 'session_reset' implies clearing/resetting session state; description is empty and uninformative.
Attacks that exploit this kind of access
session_reset. It is categorised as a Destructive tool in the Z3/SMT MCP Server MCP Server, which means it can permanently delete or destroy data. Block by default and require explicit approval.
Register the Z3/SMT MCP Server MCP server in PolicyLayer and add a rule for session_reset: allow, deny, rate-limit, or require approval. Point your MCP client at the PolicyLayer proxy URL and the rule is enforced on every call, before it reaches Z3/SMT MCP Server. Nothing to install.
session_reset is a Destructive tool with critical risk. Critical-risk tools should be blocked by default and only enabled with explicit human approval.
Yes. Add a rate_limit block to the session_reset rule in your PolicyLayer policy. For example, setting max: 10 and window: 60 limits the tool to 10 calls per minute. Rate limits are tracked per agent session and reset automatically.
Set action: deny in the PolicyLayer policy for session_reset. The AI agent will receive a policy violation error and cannot call the tool. You can also include a reason field to explain why the tool is blocked.
session_reset is provided by the Z3/SMT MCP Server MCP server (newjerseystyle/z3smt-mcp). PolicyLayer sits as a proxy in front of this server to enforce policies before tool calls reach the server.
Every MCP server has a record like this.
Type a name, get the same breakdown: verified identity, auth posture, risk grade, capabilities, recommended policy.
Teams ship this data inside their own products. See what a licence covers →