Serves coding agents one canonical doc per query instead of rereading the repo — ~60% fewer tokens.
What it says
The record the registry holds
How you get it
There is no address to call. This one is a package you install and run yourself, wherever your assistant runs.
trovex · pypi · 0.14.0trovex · pypi · 0.13.1
the recordCopied from the official MCP registry, exactly as it holds it.
{
"server": {
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"name": "io.github.TsukumoHQ/trovex",
"description": "Serves coding agents one canonical doc per query instead of rereading the repo — ~60% fewer tokens.",
"title": "trovex",
"repository": {
"url": "https://github.com/TsukumoHQ/trovex",
"source": "github"
},
"version": "0.14.0",
"websiteUrl": "https://trovex.dev",
"packages": [
{
"registryType": "pypi",
"registryBaseUrl": "https://pypi.org",
"identifier": "trovex",
"version": "0.14.0",
"runtimeHint": "uvx",
"transport": {
"type": "stdio"
},
"packageArguments": [
{
"description": "Serve the trovex MCP server over stdio — the transport MCP registries and .mcpb bundles launch directly. No port, no HTTP server; the client speaks JSON-RPC over stdin/stdout.",
"value": "mcp",
"type": "positional"
}
]
},
{
"registryType": "pypi",
"registryBaseUrl": "https://pypi.org",
"identifier": "trovex",
"version": "0.13.1",
"runtimeHint": "uvx",
"transport": {
"type": "streamable-http",
"url": "http://localhost:8765/mcp"
},
"packageArguments": [
{
"description": "Start the trovex MCP HTTP server (exposes the streamable-http endpoint at /mcp and the local web UI at /).",
"value": "serve",
"type": "positional"
},
{
"description": "Port for the MCP HTTP server (default 8765). If you change it, update the transport URL to match.",
"value": "8765",
"type": "named",
"name": "--port"
}
]
}
]
},
"_meta": {
"io.modelcontextprotocol.registry/official": {
"status": "active",
"statusChangedAt": "2026-08-22T00:05:06.385272Z",
"publishedAt": "2026-08-22T00:05:06.385272Z",
"updatedAt": "2026-08-22T00:05:06.385272Z",
"isLatest": true
}
}
}
Make it installable
Draft an Agent Plugin from this
An MCP server is raw capability: some tools, wired to something. An Agent Plugin is the packaging that says what job it does, what it leaves behind and where it stops. The prompt below carries this record and asks for the packaging; your own assistant writes it, and nothing here is sent anywhere.
What this is
MCP server
application/mcp-server-record+jsonlocal · you run it yourselfversion 0.14.0last seen 2026-08-23
These are the publisher's own words, filed by them with the official MCP registry and mirrored here. This catalog did not read them from the publisher and has not run, called or installed anything.
Terms
Somebody else's record
This listing was indexed rather than published here, so nobody has signed anything and this catalog cannot sign on their behalf. Treat it as a pointer to the publisher, not as terms.