Skip to main content
Glama

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.

MCP client
Glama
MCP server

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.

100% free. Your data is private.
Tool DescriptionsA

Average 4.4/5 across 7 of 7 tools scored.

Server CoherenceC
Disambiguation5/5

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 Consistency2/5

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.

Tool Count2/5

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.

Completeness2/5

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 tools
authenticateA
Idempotent
Inspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault
tokenNo
Behavior5/5

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.

Conciseness5/5

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.

Completeness5/5

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.

Parameters5/5

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.

Purpose5/5

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.

Usage Guidelines5/5

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.

connectA
Read-onlyIdempotent
Inspect

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.

ParametersJSON Schema
NameRequiredDescriptionDefault

No parameters

Behavior4/5

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.

Conciseness5/5

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.

Completeness5/5

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.

Parameters4/5

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.

Purpose5/5

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.

Usage Guidelines4/5

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.

ParametersJSON Schema
NameRequiredDescriptionDefault
limitNo
queryNo
actionNosearch
mcp_idNo
messageNo
tool_idNo
argumentsNo{}
immediateNo
tier_slugNo
prompt_bodyNo
prompt_slugNo
prompt_toolNo
prompt_varsNo{}
conversationNo[]
prompt_titleNo
request_nameNo
cancel_reasonNo
cancel_commentNo
prompt_targetsNo
report_contextNo
prompt_categoryNo
request_detailsNo
prompt_descriptionNo
Behavior5/5

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.

Conciseness4/5

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.

Completeness4/5

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.

Parameters3/5

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.

Purpose5/5

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.

Usage Guidelines5/5

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_bugA
Idempotent
Inspect

Report a bug, missing feature, or send feedback. Include the conversation array with recent messages for reproduction.

ParametersJSON Schema
NameRequiredDescriptionDefault
contextNo
messageYes
conversationNo[]
Behavior3/5

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.

Conciseness5/5

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.

Completeness4/5

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.

Parameters3/5

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.

Purpose5/5

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.

Usage Guidelines4/5

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_consultarA
Read-onlyIdempotent
Inspect

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).

ParametersJSON Schema
NameRequiredDescriptionDefault
placaYes
renavamYes
Behavior4/5

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.

Conciseness4/5

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.

Completeness4/5

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.

Parameters2/5

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.

Purpose5/5

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.

Usage Guidelines4/5

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_versionA
Read-onlyIdempotent
Inspect

Show the current MCP platform and adapter versions.

ParametersJSON Schema
NameRequiredDescriptionDefault

No parameters

Behavior3/5

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.

Conciseness5/5

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.

Completeness5/5

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.

Parameters4/5

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.

Purpose5/5

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.

Usage Guidelines3/5

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_infoA
Read-onlyIdempotent
Inspect

Returns the current toolkit state: installed MCPs, their connection status, the accounts connected to each one, and how many catalog tools each exposes.

ParametersJSON Schema
NameRequiredDescriptionDefault

No parameters

Behavior4/5

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.

Conciseness5/5

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.

Completeness4/5

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.

Parameters4/5

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.

Purpose5/5

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.

Usage Guidelines4/5

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.

Discussions

No comments yet. Be the first to start the discussion!

Related MCP Servers

  • A
    license
    -
    quality
    C
    maintenance
    A 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
  • A
    license
    -
    quality
    C
    maintenance
    Provides a read-only MCP tool to query IPVA (vehicle tax) information from the official Ceará state revenue service (SEFAZ) via prepaid credits.
    MIT
  • A
    license
    -
    quality
    C
    maintenance
    A 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
  • A
    license
    -
    quality
    C
    maintenance
    MCP 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

View all MCP Servers

Try in Browser

Your Connectors

Sign in to create a connector for this server.