mirror of
https://github.com/NousResearch/hermes-agent.git
synced 2026-05-21 03:39:54 +00:00
23344a9a3c
Ship LSP semantic diagnostics as a bundled plugin (plugins/lsp/) using existing hook system. Zero lines of core code modified. Plugin wiring: - pre_tool_call: capture LSP baseline before write_file/patch - transform_tool_result: inject diagnostics into tool result JSON - on_session_start/on_session_end + atexit: lifecycle management Key design: - Baselines keyed by (session_id, abs_path) for concurrent safety - Diagnostics added as 'lsp_diagnostics' JSON field (preserves shape) - Per-file workspace detection (no static session-start gate) - V4A multi-file patch skipped for MVP - Short timeout (3s) — cold start degrades gracefully - os.path.exists heuristic for Docker/SSH backend skip - First relevant write with no server → INFO log with install hint Tests: 77/77 pass including: - Protocol framing, reporter formatting, workspace resolution - Client E2E against mock LSP server (live_system_guard_bypass) - Eventlog steady-state silence contract - Backend-gate heuristic (local vs non-local paths) - Full hook flow integration (pre→write→transform with diagnostics) Source: PR #24168 by @teknium1, PR #24155 by @OutThisLife Co-authored-by: Teknium <127238744+teknium1@users.noreply.github.com>
160 lines
5.1 KiB
Python
160 lines
5.1 KiB
Python
#!/usr/bin/env python3
|
|
"""A minimal in-process LSP server used by tests.
|
|
|
|
Speaks just enough LSP to drive :class:`plugins.lsp.client.LSPClient`
|
|
through a full lifecycle: ``initialize``, ``initialized``,
|
|
``textDocument/didOpen``, ``textDocument/didChange``, then a
|
|
``textDocument/publishDiagnostics`` notification followed by
|
|
``shutdown`` + ``exit``.
|
|
|
|
Behaviour (all behaviours selectable via env var ``MOCK_LSP_SCRIPT``):
|
|
|
|
- ``"clean"`` — initialize, accept didOpen/didChange, push empty
|
|
diagnostics on every open/change, exit cleanly on shutdown.
|
|
- ``"errors"`` — same as ``clean`` but the published diagnostics
|
|
carry one severity-1 entry pointing at line 0:0.
|
|
- ``"crash"`` — exit immediately after responding to ``initialize``
|
|
(simulates a crashing server).
|
|
- ``"slow"`` — same as ``clean`` but sleeps 1s before responding to
|
|
``initialize`` (lets us test timeout behaviour).
|
|
|
|
The script writes JSON-RPC framed messages to stdout and reads from
|
|
stdin. No third-party dependencies — uses only stdlib so it runs
|
|
under whatever Python the test process picks up.
|
|
"""
|
|
from __future__ import annotations
|
|
|
|
import json
|
|
import os
|
|
import sys
|
|
import time
|
|
|
|
|
|
def read_message():
|
|
"""Read one Content-Length framed JSON-RPC message from stdin."""
|
|
headers = {}
|
|
while True:
|
|
line = sys.stdin.buffer.readline()
|
|
if not line:
|
|
return None
|
|
line = line.rstrip(b"\r\n")
|
|
if not line:
|
|
break
|
|
k, _, v = line.decode("ascii").partition(":")
|
|
headers[k.strip().lower()] = v.strip()
|
|
n = int(headers["content-length"])
|
|
body = sys.stdin.buffer.read(n)
|
|
return json.loads(body.decode("utf-8"))
|
|
|
|
|
|
def write_message(obj):
|
|
body = json.dumps(obj, separators=(",", ":")).encode("utf-8")
|
|
sys.stdout.buffer.write(f"Content-Length: {len(body)}\r\n\r\n".encode("ascii"))
|
|
sys.stdout.buffer.write(body)
|
|
sys.stdout.buffer.flush()
|
|
|
|
|
|
def main():
|
|
script = os.environ.get("MOCK_LSP_SCRIPT", "clean")
|
|
|
|
while True:
|
|
msg = read_message()
|
|
if msg is None:
|
|
return 0
|
|
|
|
if "id" in msg and msg.get("method") == "initialize":
|
|
if script == "slow":
|
|
time.sleep(1.0)
|
|
write_message(
|
|
{
|
|
"jsonrpc": "2.0",
|
|
"id": msg["id"],
|
|
"result": {
|
|
"capabilities": {
|
|
"textDocumentSync": 1, # Full
|
|
"diagnosticProvider": {"interFileDependencies": False, "workspaceDiagnostics": False},
|
|
},
|
|
"serverInfo": {"name": "mock-lsp", "version": "0.1"},
|
|
},
|
|
}
|
|
)
|
|
if script == "crash":
|
|
return 0
|
|
continue
|
|
|
|
if msg.get("method") == "initialized":
|
|
continue
|
|
|
|
if msg.get("method") == "workspace/didChangeConfiguration":
|
|
continue
|
|
|
|
if msg.get("method") == "workspace/didChangeWatchedFiles":
|
|
continue
|
|
|
|
if msg.get("method") in ("textDocument/didOpen", "textDocument/didChange"):
|
|
params = msg.get("params") or {}
|
|
td = params.get("textDocument") or {}
|
|
uri = td.get("uri", "")
|
|
version = td.get("version", 0)
|
|
diagnostics = []
|
|
if script == "errors":
|
|
diagnostics = [
|
|
{
|
|
"range": {
|
|
"start": {"line": 0, "character": 0},
|
|
"end": {"line": 0, "character": 5},
|
|
},
|
|
"severity": 1,
|
|
"code": "MOCK001",
|
|
"source": "mock-lsp",
|
|
"message": "synthetic error from mock-lsp",
|
|
}
|
|
]
|
|
write_message(
|
|
{
|
|
"jsonrpc": "2.0",
|
|
"method": "textDocument/publishDiagnostics",
|
|
"params": {
|
|
"uri": uri,
|
|
"version": version,
|
|
"diagnostics": diagnostics,
|
|
},
|
|
}
|
|
)
|
|
continue
|
|
|
|
if msg.get("method") == "textDocument/diagnostic":
|
|
# Pull endpoint — return empty.
|
|
write_message(
|
|
{
|
|
"jsonrpc": "2.0",
|
|
"id": msg["id"],
|
|
"result": {"kind": "full", "items": []},
|
|
}
|
|
)
|
|
continue
|
|
|
|
if msg.get("method") == "textDocument/didSave":
|
|
continue
|
|
|
|
if msg.get("method") == "shutdown":
|
|
write_message({"jsonrpc": "2.0", "id": msg["id"], "result": None})
|
|
continue
|
|
|
|
if msg.get("method") == "exit":
|
|
return 0
|
|
|
|
# Unknown request: respond with method-not-found.
|
|
if "id" in msg:
|
|
write_message(
|
|
{
|
|
"jsonrpc": "2.0",
|
|
"id": msg["id"],
|
|
"error": {"code": -32601, "message": f"method not found: {msg.get('method')}"},
|
|
}
|
|
)
|
|
|
|
|
|
if __name__ == "__main__":
|
|
sys.exit(main())
|