Compatible with every major AI agent and IDE
What is the Aracaju MCP Server?
Connect to the Aracaju Transparency Portal to audit and analyze public data from the capital of Sergipe, Brazil. This server allows any AI agent to query municipal financial records and administrative data in real-time.
What you can do
- Revenues & Income — List and analyze municipality revenues by fiscal year and month to track tax collection and transfers.
- Public Spending — Query detailed expenses (despesas) by year or specific government bodies to monitor how public funds are allocated.
- Tenders & Bids — Access information on public tenders (licitações) to stay informed about government procurement processes.
- Contracts — Inspect signed contracts and agreements between the municipality and third parties.
- Personnel & Payroll — Retrieve data regarding public servants and payroll (servidores) to ensure administrative transparency.
How it works
- Subscribe to this server
- Enter 'PUBLIC' in the access field (this portal uses public data)
- Start querying municipal data from Claude, Cursor, or any MCP-compatible client
Who is this for?
- Journalists & Researchers — quickly gather data for reports on public spending and municipal administration.
- Citizens & Activists — monitor government actions and fiscal responsibility directly through conversation.
- Legal & Compliance Professionals — verify public contracts and bidding processes without manual portal navigation.
Built-in capabilities (5)
List public tenders and bids (licitações)
List signed contracts (contratos)
List municipality expenses (despesas)
List public servants and payroll (servidores)
List municipality revenues (receitas)
Why Vercel AI SDK?
The Vercel AI SDK gives every Aracaju tool full TypeScript type inference, IDE autocomplete, and compile-time error checking. Connect 5 tools through Vinkius and stream results progressively to React, Svelte, or Vue components. works on Edge Functions, Cloudflare Workers, and any Node.js runtime.
- —
TypeScript-first: every MCP tool gets full type inference, IDE autocomplete, and compile-time error checking out of the box
- —
Framework-agnostic core works with Next.js, Nuxt, SvelteKit, or any Node.js runtime. same Aracaju integration everywhere
- —
Built-in streaming UI primitives let you display Aracaju tool results progressively in React, Svelte, or Vue components
- —
Edge-compatible: the AI SDK runs on Vercel Edge Functions, Cloudflare Workers, and other edge runtimes for minimal latency
Aracaju in Vercel AI SDK
Aracaju and 4,000+ other MCP servers. One platform. One governance layer.
Teams that connect Aracaju to Vercel AI SDK through Vinkius don't need to source, host, or maintain individual MCP servers. Every tool call runs inside a hardened runtime with credential isolation, DLP, and a signed audit chain.
Raw MCP | Vinkius | |
|---|---|---|
| Server catalog | Find and host yourself | 4,000+ managed |
| Infrastructure | Self-hosted | Sandboxed V8 isolates |
| Credential handling | Plaintext in config | Vault + runtime injection |
| Data loss prevention | None | Configurable DLP policies |
| Kill switch | None | Global instant shutdown |
| Financial circuit breakers | None | Per-server limits + alerts |
| Audit trail | None | Ed25519 signed logs |
| SIEM log streaming | None | Splunk, Datadog, Webhook |
| Honeytokens | None | Canary alerts on leak |
| Custom domains | Not applicable | DNS challenge verified |
| GDPR compliance | Manual effort | Automated purge + export |
Why teams choose Vinkius for Aracaju in Vercel AI SDK
The Aracaju MCP Server runs on Vinkius-managed infrastructure inside AWS — a purpose-built runtime with per-request V8 isolates, Ed25519 signed audit chains, and sub-40ms cold starts. All 5 tools execute in hardened sandboxes optimized for native MCP execution.
Your AI agents in Vercel AI SDK only access the data you authorize, with DLP that blocks sensitive information from ever reaching the model, kill switch for instant shutdown, and up to 60% token savings. Enterprise-grade infrastructure, zero maintenance.

* Every MCP server runs on Vinkius-managed infrastructure inside AWS - a purpose-built runtime with per-request V8 isolates, Ed25519 signed audit chains, and sub-40ms cold starts optimized for native MCP execution. See our infrastructure
How Vinkius secures
Aracaju for Vercel AI SDK
Every tool call from Vercel AI SDK to the Aracaju MCP Server is protected by DLP redaction, cryptographic audit chains, V8 sandbox isolation, kill switch, and financial circuit breakers.
Frequently asked questions
How do I check the municipality's income for a specific month?
Use the list_revenues tool with the ano (year) and mes (month) parameters. The agent will return the total income and breakdown for that period.
Can I see who is on the public payroll?
Yes, use the list_personnel tool. You can filter by year and month to retrieve data regarding public servants and their respective payroll information.
Is it possible to monitor active public tenders?
Absolutely. Use the list_bids tool to get a comprehensive list of all public tenders and bidding processes currently recorded in the portal.
How does the Vercel AI SDK connect to MCP servers?
Import createMCPClient from @ai-sdk/mcp and pass the server URL. The SDK discovers all tools and provides typed TypeScript interfaces for each one.
Can I use MCP tools in Edge Functions?
Yes. The AI SDK is fully edge-compatible. MCP connections work on Vercel Edge Functions, Cloudflare Workers, and similar runtimes.
Does it support streaming tool results?
Yes. The SDK provides streaming primitives like useChat and streamText that handle tool calls and display results progressively in the UI.
createMCPClient is not a function
Install: npm install @ai-sdk/mcp
Explore More MCP Servers
View all →
Friendbuy
8 toolsManage referral programs, track purchases, and oversee rewards via AI agents with Friendbuy.

FareHarbor
11 toolsManage tour and activity bookings via FareHarbor — list companies, query availability, and handle bookings directly from your AI agent.

Radarr (Movies)
15 toolsManage your movie library, search for new titles, and monitor download queues via Radarr.

TIGER/Line Geocoder (Census)
8 toolsAccess official US Census Bureau geocoding services to convert addresses into coordinates and detailed census geography data.
