SEFAZ AL: IPVA (ano atual)
Server Details
SEFAZ AL: IPVA (ano atual), official-source lookup. Platform-hosted, pay per query with prepaid cred
- Status
- Healthy
- Last Tested
- Transport
- Streamable HTTP
- URL
- Repository
- mcp-dir/sefaz_al_ipva-mcp
- GitHub Stars
- 0
- Server Listing
- SEFAZ AL: IPVA (ano atual)
Glama MCP Gateway
Connect through Glama MCP Gateway for full control over tool access and complete visibility into every call.
Full call logging
Every tool call is logged with complete inputs and outputs, so you can debug issues and audit what your agents are doing.
Tool access control
Enable or disable individual tools per connector, so you decide what your agents can and cannot do.
Managed credentials
Glama handles OAuth flows, token storage, and automatic rotation, so credentials never expire on your clients.
Usage analytics
See which tools your agents call, how often, and when, so you can understand usage patterns and catch anomalies.
Tool Definition Quality
Average 4.4/5 across 7 of 7 tools scored.
Each tool has a clearly distinct purpose: authentication, connection status, marketplace discovery, bug reporting, IPVA querying, version info, and toolkit state. No overlap or ambiguity.
Naming patterns are inconsistent: single verbs (authenticate, connect), verb_noun (report_bug, show_version), noun_noun (toolkit_info), and a long compound (sefaz_al_ipva_consultar). The mix of styles reduces predictability.
Seven tools is within a normal count, but the server is ostensibly for IPVA consultation, yet six of the seven are generic MCP management tools having nothing to do with the domain. The composition is poorly scoped to the stated purpose.
Only one domain-specific tool (sefaz_al_ipva_consultar) exists, which is insufficient for a dedicated IPVA server. Missing likely operations such as payment, installment checking, or receipt generation, while the bulk of tools address platform management rather than the IPVA domain.
Available Tools
7 toolsauthenticateAIdempotentInspect
MCP.AI for IDE agents (Cursor, etc.): log in in the browser, copy the access token. Best: add it to this server's config as a header Authorization: Bearer <token> for a permanent, non-expiring connection. Or paste it here for a session-only login: call with { token: "" } after the user pastes, or with no args to get the link.
| Name | Required | Description | Default |
|---|---|---|---|
| token | No |
Tool Definition Quality
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Discloses the authentication flow (browser login, token copy), the difference between permanent (non-expiring via config) and session-only (pastable token), and the behavior of no-args calls (get a link). This adds value beyond the sparse annotations (idempotentHint, destructiveHint=false) and gives the agent a clear expectation of side effects.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is compact (two sentences) and front-loaded with the tool's purpose ('log in in the browser'). Every clause serves a function—auth method, token usage, and permanent vs. session options—with no wasted words.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given the tool's simplicity (one optional parameter, no output schema), the description is complete: it covers the browser login flow, both invocation modes (with and without token), and the persistent configuration option. No ambiguities remain about how to use the tool.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
While the schema has zero description coverage, the tool description fully explains the token parameter ('<jwt>') and the no-args case. It explicitly states when to provide a token (after user pastes) and when to omit it (to get a link), compensating completely for the schema's lack of documentation.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly states the tool authenticates MCP.AI for IDE agents, with a specific verb (log in) and resource (access token). It also distinguishes between session-only and permanent configuration methods, differentiating it from sibling tools like connect or report_bug.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
Provides explicit when-to-use guidance: recommends adding the token to config for a permanent connection, or pasting it for session-only, or calling with no args to get the login link. Clearly explains the alternative approaches, making it easy for an agent to choose the right invocation.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
connectARead-onlyIdempotentInspect
Returns connection status and URLs. When all providers are connected, returns authenticated:true and empty pending[]. When credentials are missing, returns connect_url for the toolkit and per-install URLs.
| Name | Required | Description | Default |
|---|---|---|---|
No parameters | |||
Tool Definition Quality
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
The annotations already declare readOnlyHint, idempotentHint, and destructiveHint, and the description adds valuable context about the response states (authenticated:true, empty pending[], connect_url). This goes beyond the annotations and helps the agent understand what to expect.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is two sentences, front-loaded with the core purpose, and every sentence adds value without redundancy. It is concise and well-structured.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given the tool's simplicity (no parameters, no output schema), the description sufficiently covers the return values and states. It addresses both the success case and the missing-credential case, making it complete for its complexity.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The tool has zero parameters and the schema coverage is 100% (empty properties). The description appropriately focuses on the output and behavior rather than parameter details. This meets the baseline for a zero-parameter tool.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly states the tool returns connection status and URLs, and specifies the behavior under different conditions (all connected vs missing credentials). This distinguishes it from sibling tools like authenticate, which likely performs authentication rather than status checking.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description provides clear context on when the tool is useful (checking connection status) and its behavior in different states, but it does not explicitly state alternatives or exclusions. The sibling tool names imply the distinction, but it could be more explicit.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
marketplaceAInspect
The official mcp.ai marketplace — the in-platform catalog of every MCP/tool, AND the way to run them. Covers capability requests like "find an MCP that does X", "consulta um CPF", "is there a tool for Y". Core flow: action=search discovers MCPs by intent → describe returns one MCP's full profile (every tool with its id + params, pricing, auth) so you pick the right tool_id → invoke RUNS that tool. KEY: invoke works even when the MCP is NOT installed — it runs the tool pontualmente (one-off), without adding the MCP to the toolkit and without bloating the tool list. If the MCP needs a credential/login, invoke returns a connect link; if it is paid and the wallet is empty, invoke returns a checkout/top-up link (the user opens it, then you retry). Use install only to make an MCP PERMANENT in the active toolkit (its tools then show up natively in future sessions); prefer invoke for a single/occasional use. list_tools lists what is callable right now. subscribe/cancel handle per-MCP billing; report_bug sends feedback; request_mcp asks us to build a NEW MCP when nothing fits. Search/describe flag installed_in_toolkit vs installed_in_workspace. Writes (install/uninstall/subscribe/cancel and the one-off install behind invoke) require workspace owner/admin. It also carries the mcp.ai PROMPT LIBRARY, which is about ready-made prompt TEXT rather than MCPs: search_prompts finds one, get_prompt returns its full text with {{variables}} filled, and publish_prompt saves a prompt and returns a shareable mcp.ai/p/ link that opens without login.
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | ||
| query | No | ||
| action | No | search | |
| mcp_id | No | ||
| message | No | ||
| tool_id | No | ||
| arguments | No | {} | |
| immediate | No | ||
| tier_slug | No | ||
| prompt_body | No | ||
| prompt_slug | No | ||
| prompt_tool | No | ||
| prompt_vars | No | {} | |
| conversation | No | [] | |
| prompt_title | No | ||
| request_name | No | ||
| cancel_reason | No | ||
| cancel_comment | No | ||
| prompt_targets | No | ||
| report_context | No | ||
| prompt_category | No | ||
| request_details | No | ||
| prompt_description | No |
Tool Definition Quality
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
The description goes far beyond the annotations by explaining that invoke runs MCPs even when they are not installed, without bloating the toolkit, and that paid or authenticated MCPs may return links that the user must open before a retry. It also discloses workspace owner/admin requirements for write operations and distinguishes installed_in_toolkit vs installed_in_workspace, which is important behavioral context.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is long, but the length is largely justified because the tool bundles a marketplace, execution engine, install manager, billing actions, and prompt library. It is front-loaded with the core search→describe→invoke flow, and uses a clear block to set the one-off invoke semantics apart. It would earn a 5 if it were structured with headings or a concise action table, but it remains dense and information-rich.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a 23-parameter tool with no output schema, the description covers the most critical context: the full search/describe/invoke pipeline, why invoke does not install the MCP permanently, when install is appropriate, auth and checkout link behavior, billing actions, prompt library behavior, installed-state flags, and write permissions. However, some actions and parameters are still incomplete, such as resume, immediate, tier_slug, and the exact expected output shape for real-world invoke results, so an agent may still guess in ex less common paths.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
With 23 parameters and 0% schema-covered parameter descriptions in the schema itself, the description carries a heavy burden. It explains the central action, mcp_id/tool_id selection, and prompt-related actions reasonably, but several boundary parameters are omitted or left implicit: arguments (the invoke payload), query, limit, immediate, tier_slug, prompt_vars, conversation, and cancellation/report fields are not mapped to their own semantics. Thus the description helps but does not fully compensate for the zero-coverage schema.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly identifies the tool as the mcp.ai marketplace, explains its catalog role, and breaks down the core search → describe → invoke → install flow. It distinguishes the tool's multiple responsibilities from sibling tools by naming concrete sub-actions and intent examples such as 'find an MCP that does X'.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description gives explicit guidance on when to use each action: prefer invoke for one-off use, use install only for permanent toolkit additions, use list_tools for currently callable items, and use request_mcp when nothing fits. It also explains permission requirements for writes and describes retry semantics when an invoke returns a connect or checkout link.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
report_bugAIdempotentInspect
Report a bug, missing feature, or send feedback. Include the conversation array with recent messages for reproduction.
| Name | Required | Description | Default |
|---|---|---|---|
| context | No | ||
| message | Yes | ||
| conversation | No | [] |
Tool Definition Quality
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnlyHint=false and idempotentHint=true, indicating it's a write operation that is safe to retry. The description adds the expectation that a conversation array is needed for reproduction, which is useful behavioral context. However, it does not disclose other side effects, authentication requirements, or what happens on the server, so the added transparency is limited.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is two sentences: the first states the purpose, the second adds a crucial usage instruction. It is front-loaded, concise, and every sentence earns its place with no redundancy.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a simple reporting tool with three parameters (one required) and no output schema, the description adequately covers the essential behavior: what to report and how to include reproduction context. The idempotentHint annotation clarifies retry safety. It does not specify response behavior, but that is not critical for this tool type. Overall, it is complete enough for an agent to invoke it correctly.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema coverage is 0%, so the description must compensate. It explains the 'conversation' parameter as containing recent messages for reproduction and implies 'message' is the content of the report. However, the 'context' parameter is left unexplained, and the description does not provide full syntax or format details, leaving some parameters under-defined.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly states the tool's purpose: 'Report a bug, missing feature, or send feedback.' It uses a specific verb (report) and resource (bug/feedback) and is distinct from sibling tools like authenticate, connect, and show_version, which serve different functions.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description provides clear context for usage by instructing to 'Include the conversation array with recent messages for reproduction,' which tells the agent when this tool is appropriate (i.e., when there is a conversation to reproduce an issue). It does not explicitly name alternatives, but none exist among the siblings, so the guidance is adequate.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
sefaz_al_ipva_consultarARead-onlyIdempotentInspect
SEFAZ AL: IPVA (ano atual), consulta em fonte oficial. Hospedado pela plataforma, sem credenciais da plataforma, pague por consulta com crédito pré-pago. Consulta informação de fontes e órgãos oficiais brasileiros (a mesma disponível ao cidadão), não é dado sigiloso. O cliente é o controlador dos dados e responde pela finalidade legítima (LGPD).
| Name | Required | Description | Default |
|---|---|---|---|
| placa | Yes | ||
| renavam | Yes |
Tool Definition Quality
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
The description goes beyond annotations by mentioning no platform credentials required, prepaid payment per query, data is not confidential, and LGPD compliance responsibilities. These add behavioral context not present in readOnlyHint/idempotentHint.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is a compact paragraph of about three sentences, front-loaded with the core purpose. It includes necessary operational details without excessive fluff, though the LGPD sentence could be trimmed.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
The description covers the source, scope, payment, credentials, and legal aspects, which is sufficient for a simple query tool with two params. It lacks explicit return format details, but no output schema exists and the description is otherwise complete.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
Schema coverage is 0% and the description does not explain the parameters 'placa' and 'renavam'. While these are common in Brazilian vehicle context, the tool description provides no semantic meaning, forcing the agent to infer from naming.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description clearly states the tool queries IPVA (current year) from official sources, specifically SEFAZ AL. It uses a specific verb (consulta) and resource (IPVA), and is clearly distinct from sibling tools which are platform utilities.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
It provides context for when to use: for official IPVA data, without platform credentials, and with prepaid credit. It doesn't explicitly name alternatives but the sibling list makes it obvious this is a data lookup. The payment and LGPD notes offer additional usage guidance.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
show_versionARead-onlyIdempotentInspect
Show the current MCP platform and adapter versions.
| Name | Required | Description | Default |
|---|---|---|---|
No parameters | |||
Tool Definition Quality
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnlyHint=true, idempotentHint=true, and destructiveHint=false, covering the safety profile. The description adds the specific scope (platform and adapter versions) but no additional behavioral context like output format or potential latency. No contradiction with annotations.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
The description is a single, front-loaded sentence with no wasted words. It fully conveys the tool's purpose without redundancy.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
For a zero-parameter, read-only version-inspection tool with rich annotations and no output schema, the description is complete. There are no hidden inputs, side effects, or complex behaviors to disclose.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
The tool has zero parameters, so schema coverage is effectively 100% and there is nothing to explain. The baseline of 4 for zero-parameter tools applies; the description correctly avoids inventing parameter details.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description uses a specific verb ('Show') and clearly identifies the resource ('current MCP platform and adapter versions'). This distinguishes it from all sibling tools, which cover authentication, connectivity, marketplace, bug reporting, IPVA consultation, and toolkit info.
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
The description implies when to use it (when version information is needed) but provides no explicit guidance on alternatives or exclusions. For a simple zero-parameter utility, this is acceptable but not exemplary.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
toolkit_infoARead-onlyIdempotentInspect
Returns the current toolkit state: installed MCPs, their connection status, the accounts connected to each one, and how many catalog tools each exposes.
| Name | Required | Description | Default |
|---|---|---|---|
No parameters | |||
Tool Definition Quality
Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?
Annotations already declare readOnlyHint=true, idempotentHint=true, and destructiveHint=false, so the agent knows this is a safe, side-effect-free read. The description adds value by detailing the specific state elements it returns (installed MCPs, statuses, accounts, catalog tool counts), going beyond the generic annotation hints.
Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.
Is the description appropriately sized, front-loaded, and free of redundancy?
A single sentence that is information-dense and front-loaded with the core purpose ('Returns the current toolkit state'), followed by a clear list of contained items. No filler, no redundancy, every clause earns its place.
Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.
Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?
Given the low complexity (no params, no input schema), the description sufficiently covers what the tool returns. It could be slightly more explicit about the format of 'connection status' or whether output is a snapshot, but for an agent deciding whether to call this tool, the key return structure is adequately described.
Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.
Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?
With zero parameters, schema coverage is trivially 100%, so the description need not explain parameters. Baseline for 0 params is 4. The description provides context on the output instead, which is appropriate.
Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.
Does the description clearly state what the tool does and how it differs from similar tools?
The description uses a specific verb 'Returns' with a clear resource (toolkit state) and enumerates exactly what is included: installed MCPs, connection status, connected accounts, and catalog tool counts. This distinguishes it from sibling tools like authenticate/connect (actions) and show_version (likely a simpler version string).
Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.
Does the description explain when to use this tool, when not to, or what alternatives exist?
While no explicit alternatives are named, the description makes it clear this is an inspection tool for current state, which is distinct from action-oriented siblings. It implies when to use it (when you need to see connections or tool counts) without explicitly stating when not to use it.
Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.
Claim this connector by publishing a /.well-known/glama.json file on your server's domain with the following structure:
{
"$schema": "https://glama.ai/mcp/schemas/connector.json",
"maintainers": [{ "email": "your-email@example.com" }]
}The email address must match the email associated with your Glama account. Once published, Glama will automatically detect and verify the file within a few minutes.
Control your server's listing on Glama, including description and metadata
Access analytics and receive server usage reports
Get monitoring and health status updates for your server
Feature your server to boost visibility and reach more users
For users:
Full audit trail – every tool call is logged with inputs and outputs for compliance and debugging
Granular tool control – enable or disable individual tools per connector to limit what your AI agents can do
Centralized credential management – store and rotate API keys and OAuth tokens in one place
Change alerts – get notified when a connector changes its schema, adds or removes tools, or updates tool definitions, so nothing breaks silently
For server owners:
Proven adoption – public usage metrics on your listing show real-world traction and build trust with prospective users
Tool-level analytics – see which tools are being used most, helping you prioritize development and documentation
Direct user feedback – users can report issues and suggest improvements through the listing, giving you a channel you would not have otherwise
The connector status is unhealthy when Glama is unable to successfully connect to the server. This can happen for several reasons:
The server is experiencing an outage
The URL of the server is wrong
Credentials required to access the server are missing or invalid
If you are the owner of this MCP connector and would like to make modifications to the listing, including providing test credentials for accessing the server, please contact support@glama.ai.
Discussions
No comments yet. Be the first to start the discussion!
Related MCP Servers
- Alicense-qualityCmaintenanceA hosted read-only MCP server that enables querying IPVA (vehicle property tax) information from the official SEFAZ Bahia source, with prepaid credit-based usage and no platform credentials.MIT
- Alicense-qualityCmaintenanceProvides a read-only MCP tool to query IPVA (vehicle tax) information from the official Ceará state revenue service (SEFAZ) via prepaid credits.MIT
- Alicense-qualityCmaintenanceA read-only MCP server that provides official State of Alagoas (SINTEGRA AL) tax registration data queries via a hosted, pay-per-use API, with a single tool for consultation.MIT
- Alicense-qualityCmaintenanceMCP server that enables AI assistants to query official SEFAZ Alagoas negative debt certificates (Certidão Negativa de Débitos) via a single read-only tool, using prepaid credits and hosted MCP over HTTP.MIT
Your Connectors
Sign in to create a connector for this server.