Skip to content

Add a trim-safe static tools server - #3

Closed
quinnj wants to merge 3 commits into
mainfrom
codex/trim-safe-server
Closed

Add a trim-safe static tools server#3
quinnj wants to merge 3 commits into
mainfrom
codex/trim-safe-server

Conversation

@quinnj

@quinnj quinnj commented Jul 22, 2026

Copy link
Copy Markdown
Member

Summary

  • add a concrete tools-only MCP server for ahead-of-time compiled applications
  • support initialize, tools/list, tools/call, initialized notifications, and session deletion
  • keep the existing dynamic server API unchanged
  • make the existing streaming integration tests wait for observable events instead of fixed scheduler delays

Why

LeagueEasy exposes a generated catalog of hundreds of tools from a fully trim-compiled Julia executable. The existing dynamic dictionaries and handler closures require runtime dispatch that safe trimming intentionally rejects. This opt-in surface preserves concrete request and response types through the MCP transport.

Validation

  • 16 static-server tests pass
  • full package suite passes: 169 tests
  • full package suite passed three consecutive local runs after the event-wait hardening
  • LeagueEasy safe-trim build completes with zero verifier diagnostics against the runtime commit in this branch

Co-authored by Codex

@quinnj
quinnj force-pushed the codex/trim-safe-server branch from a8db3cf to 807d2f4 Compare July 22, 2026 17:58
Add a concrete tools-only Streamable HTTP server for native compilation. Typed request envelopes, raw JSON fragments, concrete handlers, and explicit sessions avoid dynamic Function and Dict dispatch while preserving initialize, tools/list, tools/call, ping, and session lifecycle behavior.
@quinnj
quinnj force-pushed the codex/trim-safe-server branch from 807d2f4 to 98ec319 Compare July 22, 2026 18:11
@quinnj

quinnj commented Aug 4, 2026

Copy link
Copy Markdown
Member Author

Closing as superseded by #4. PR #4 included every static-server change from this PR, added strict JSON-RPC validation and user documentation, passed the full Julia 1.10/1/nightly matrix on all three operating systems, and was merged.

@quinnj quinnj closed this Aug 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant