All pull requests

Pull requests

• fix: replace time.Sleep(3s) with publishDiagnostics channel wait in g…

  #154·tomaszkiewicz opened Sep 23, 2026·

  ·

• Allow excluding unsupported MCP tools per server instance

  #153·vincedk-alt opened Sep 21, 2026·

  ·

• fix: synchronize stdin writes to prevent corrupted LSP frames

  #151·christiaan opened Aug 18, 2026·

  ·

• Bound watch file descriptors and stop leaving orphaned servers behind

  #150·debedb opened Aug 14, 2026·

  ·
  1

• docs: add Autohand Code MCP setup

  #146·igorcosta opened Jul 10, 2026·

  ·

• fix: sync open files to disk before rename to prevent silent corruption

  #141·Roxxik opened Jun 7, 2026·

  ·

• Shut down the LSP child reliably when the server is orphaned

  #140·briiiqtt opened Jun 5, 2026·

  ·

• Fix hover and qualified-symbol resolution for jdtls

  #139·briiiqtt opened Jun 5, 2026·

  ·

• feat: add workspace_symbol, implementation, and call_hierarchy tools

  #133·scgm11 opened May 25, 2026·

  ·

• feat: fix file change handling and auto-detect file open on registrations

  #132·defacedvr opened May 16, 2026·

  ·
  3

• fix(diagnostics): wait for publishDiagnostics instead of sleeping 3s

  #131·STRd6 opened May 13, 2026·

  ·
  1

• fix: LSP handshake race condition, duplicate notification, and slow-start timeout

  #127·marcelmaatkamp opened Apr 6, 2026·

  ·

• Add Codex CLI plugin manifest

  #126·internet-dot opened Apr 6, 2026·

  ·

• Extend clangd capabilities

  #122·mykhailopylyp opened Mar 12, 2026·

  ·

• Add watcher preopen controls and harden server shutdown

  #120·isham703 opened Mar 2, 2026·

  ·

• Bump golang.org/x/text from 0.25.0 to 0.34.0

  #119·dependabot[bot] opened Mar 1, 2026Bot·

  ·
  1

• Bump github.com/mark3labs/mcp-go from 0.25.0 to 0.44.1

  #118·dependabot[bot] opened Mar 1, 2026Bot·

  ·
  1

• Add "headless" mode

  #116·rickbatka opened Feb 8, 2026·

  ·
  4

• Fix typo in README.md

  #113·jhstatewide opened Jan 23, 2026·

  ·

• Add Coq (.v) file support

  #109·larsr opened Dec 30, 2025·

  ·

• feat: Add MCP tool annotations for all 6 tools

  #107·bryankthompson opened Dec 27, 2025·

  ·

• Fixed typo in README.md

  #106·jhstatewide opened Dec 25, 2025·

  ·

• Bump actions/checkout from 4 to 6

  #105·dependabot[bot] opened Dec 2, 2025Bot·

  ·
  1

• update mcp-go library to v0.37.0

  #103·chloelee767 opened Nov 25, 2025·

  ·

• feat: Implement LSP-compliant glob pattern matching with caching

  #99·steffen-heil-secforge opened Nov 5, 2025·

  ·