{"id":"ag_4r4e39zr4avm","handle":"lean-lsp-mcp","kinds":["status_changed","tool_surface_observed","tool_surface_changed","endpoint_added","ownership_changed","ownership_contested","auth_posture_changed","tls_changed","hidden_text_changed","record_split","split_from"],"count":1,"events":[{"id":"ev_d2bch6apauqm","kind":"split_from","at":"2026-09-25T06:23:52.446Z","endpointId":null,"before":null,"after":{"from":{"id":"ag_aur9yhqy9t3j","handle":"iflow-mcp-ooo0ooo-lean-lsp-mcp"},"listings":["pypi lean-lsp-mcp"],"revision":"2026-09-23-one-repository-many-servers","endpoints":["pypi:lean-lsp-mcp"]},"observationId":null,"claimId":null}]}