Turn a GitHub repo or docs site into agent-ready context: pack it or search it, over MCP.
Connect Remote server
claude mcp add --transport http ctx https://ctx.vanshul.com/mcp
{
"mcpServers": {
"ctx": {
"url": "https://ctx.vanshul.com/mcp"
}
}
}
{
"servers": {
"ctx": {
"type": "http",
"url": "https://ctx.vanshul.com/mcp"
}
}
}
Settings > Connectors > Add custom connector
URL: https://ctx.vanshul.com/mcp
Tools 6 found in our last check
pack_repoFetch a GitHub repository and return it as one agent-ready context blob: text files concatenated with clear "==== path ====" headers, binaries/lockfiles/build dirs stripped, with a token estimate. Use include/exclude globs to focus, and max_tokens to fit a budget.
search_contextSearch a GitHub repository and return only the passages that match a query — each with its file path, line number and a relevance score. Far more token-efficient than pack_repo when you need a specific detail (e.g. "where is auth handled?").
list_filesList the text files ctx would include for a repository (after stripping binaries, lockfiles and build dirs), with their byte sizes. Cheap way for an agent to see the layout before packing.
get_fileReturn the full text of a single file in a repository, by path. Use after list_files or search_context to drill in.
pack_docsCrawl a documentation site from a start URL and return it as one agent-ready context blob: each page extracted to clean Markdown, concatenated with its URL. Stays within the same site section; bounded by depth and page count. Use max_tokens to fit a budget.
search_docsCrawl a documentation site and return only the passages that match a query — each with its page URL, line and a relevance score. Token-efficient way to answer a question from docs without packing the whole site.
Details
| Endpoint | https://ctx.vanshul.com/mcp (Streamable HTTP) |
| First published | 6 Aug 2026 |
| Last updated | 6 Aug 2026 |
| Registry name | io.github.vanshulgoyal101/ctx |
More developer tools servers See all
Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.
