web_search
Search the web (requires Jina API key)
How to use it
Project documentation lists web_search 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