ping
Check if the Joern server is running and responsive by querying its version, returning the version if successful or 'Query Failed' if not responding.
Instructions
Checks if the Joern server is running and responsive by querying its version
@return: The Joern server version if successful, 'Query Failed' if the server is not responding
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Implementation Reference
- server_tools.py:9-19 (handler)The 'ping' tool handler function. It sends a 'version' query to the Joern server via joern_remote, extracts the value if successful, otherwise returns 'Query Failed'. Registered via @joern_mcp.tool() decorator.@joern_mcp.tool() def ping()->str: """Checks if the Joern server is running and responsive by querying its version @return: The Joern server version if successful, 'Query Failed' if the server is not responding """ response = joern_remote('version') if response: return extract_value(response) else: return 'Query Failed'