shell_exec
Execute shell commands (30s timeout)
How to use it
shell_exec is exposed by the Klee MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the shell_exec tool becomes available to the model automatically. See the full listing for setup details and every tool this server provides.
FULL KLEE LISTING