Skip to content

Conversation

@harche
Copy link

@harche harche commented Dec 4, 2025

Summary

  • Proposes standard <library>.searchTools and <library>.runSandbox tools for MCP servers to expose typed SDK operations
  • Enables progressive disclosure (discover operations on-demand) with code execution (compose and run in sandbox)
  • Achieves up to 98.7% token reduction by keeping intermediate results in sandbox, not context
  • Includes script caching for reusable operations

Related Discussion: https://github.com/orgs/modelcontextprotocol/discussions/631
Reference Implementation: https://github.com/harche/ProDisco

Test plan

  • Review SEP content and structure against template
  • Validate TypeScript interfaces for completeness
  • Sponsor assignment and review
  • Reference implementation validation against spec

🤖 Generated with Claude Code

@harche harche force-pushed the sep/library-discovery branch 2 times, most recently from 94e6718 to 387c841 Compare December 4, 2025 20:40
@harche
Copy link
Author

harche commented Dec 4, 2025

Looking for a sponsor for this SEP.

cc @dsp-ant @ihrpr @pcarleton @nicknotfun

@harche harche changed the title SEP: Progressive Disclosure for Typed Library Discovery & Introspection SEP-1928: Progressive Disclosure for Typed Library Discovery & Introspection Dec 4, 2025
Proposes standard tools for MCP servers to expose typed SDK operations
through progressive disclosure and code execution patterns.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>
@harche harche force-pushed the sep/library-discovery branch from 387c841 to dc166ca Compare December 4, 2025 20:45
@harche
Copy link
Author

harche commented Dec 4, 2025

Demo link for reference - https://www.youtube.com/watch?v=W-DyrsGRJeQ

@harche
Copy link
Author

harche commented Dec 5, 2025

/hold

I am still iterating over the design for the sandbox execution, https://github.com/harche/ProDisco/blob/main/docs/grpc-sandbox-architecture.md

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