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.mcp-dir/pref_sp_sao_paulo_tx_elevador-mcp",
"description": "Prefeitura SP São Paulo: 2ª Via da Taxa de Elevadores, official-source lookup. Platform-hosted, pay ",
"title": "Prefeitura SP São Paulo: 2ª Via da Taxa de Elevadores",
"repository": {
"url": "https://github.com/mcp-dir/pref_sp_sao_paulo_tx_elevador-mcp",
"source": "github"
},
"version": "0.1.0",
"remotes": [
{
"type": "streamable-http",
"url": "https://api.mcp.ai/p_pref_sp_sao_paulo_tx_elevador"
}
]
},
"_meta": {
"io.modelcontextprotocol.registry/official": {
"status": "active",
"statusChangedAt": "2026-08-20T04:47:09.156823Z",
"publishedAt": "2026-08-20T04:47:09.156823Z",
"updatedAt": "2026-08-20T04:47:09.156823Z",
"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+jsonhosted · an address you callversion 0.1.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.