shell_exec
Execute shell commands (30s timeout)
How to use it
Project documentation lists shell_exec for the Klee MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), then check which tools your installed version makes available. Tool availability can depend on configuration and credentials. A server handshake does not verify this tool’s behavior. See the full listing for setup details.
FULL KLEE LISTING