sat69-mcp
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| BASE_URL | No | Public base URL used for OAuth 2.1. Optional; used together with AUTHKIT_DOMAIN. | |
| FETCH_PROXY | No | Optional proxy used only when downloading the SAT CSV files. | |
| MCP_API_KEY | No | Static bearer token protecting /mcp, /refresh, and /reload. Optional for local stdio usage. | |
| LLM_PROVIDER | No | LLM provider used by resumen_cartera for drafting only. Supported values include qwen, anthropic, and gemini. | qwen |
| AUTHKIT_DOMAIN | No | WorkOS AuthKit domain for OAuth 2.1 on /mcp. Optional; used together with BASE_URL. | |
| TURSO_AUTH_TOKEN | No | Turso auth token for durable persistence. Optional; used together with TURSO_DATABASE_URL. | |
| TURSO_DATABASE_URL | No | Turso/libSQL database URL for durable persistence. Optional; without Turso the server runs in local-only mode. |
Instructions
Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.
This server publishes no instructions, or was last inspected before Glama recorded them.
Capabilities
Features and capabilities supported by this server
Protocol revision2025-11-25
| Capability | Details |
|---|---|
| tools | {
"listChanged": true
} |
| logging | {} |
| prompts | {
"listChanged": false
} |
| resources | {
"subscribe": false,
"listChanged": false
} |
| extensions | {
"io.modelcontextprotocol/ui": {}
} |
| experimental | {} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| verificar_rfcA | Verifica un RFC contra las listas del SAT (Art. 69, 69-B y 69-B Bis). |
| verificar_loteB | Verifica una lista de RFCs (p. ej. proveedores). Devuelve sólo hallazgos. |
| resumen_carteraA | Resumen ejecutivo en lenguaje natural de una cartera de RFCs. El riesgo de cada RFC lo calcula el motor de reglas (DETERMINISTA); la IA sólo redacta el brief a partir de esos veredictos ya calculados — nunca decide el riesgo. Proveedor de IA conmutable por env var (LLM_PROVIDER). |
| buscar_nombreA | Busca contribuyentes por nombre / razón social parcial (FTS5, sin acentos). |
| estado_datosA | Estado del dataset: vigencia declarada por el SAT, conteos y última importación. |
| actualizar_datosB | Descarga y sincroniza los listados del SAT (idempotente por hash). |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
TDQS
Scored across 6 tools
Each tool has a clearly distinct concern: data status/update, single/batch verification, portfolio summary, and name search. The closest pair, verificar_rfc and verificar_lote, is disambiguated by singular vs batch operation.
Most tools follow a clear verb_noun pattern: actualizar_datos, verificar_rfc, verificar_lote, buscar_nombre. Two names are noun phrases, estado_datos and resumen_cartera, which is a minor deviation from the otherwise consistent style.
Six tools are well-scoped for this SAT list verification server. Each tool adds a distinct capability, covering data ingestion, verification, search, and summary without redundancy or bloat.
The toolset covers the core workflow: update and inspect dataset state, verify single or batch RFCs, search by name, and generate portfolio summaries. A dedicated detailed taxpayer-profile tool could be a minor addition, but the main use cases are well supported.