OpenAPI MCP Server

by nicomarinwco.huggingface.nicomarinw/govmcp

  • Remote endpoint
  • 79 tools

Uptime

Checked  · every day

0%from 4 days of checks

Up without downtime on 0 of 4 days with data; down 4818 minutes in all, the longest 1440 minutes on 1 November.

  • No downtime
  • Degraded
  • Down over 5 minutes
  • No data
  • Not checked yet

How far each check got

  • Reached the address 100%
  • Completed the handshake 0.0%
  • Listed its tools 0.0%
Every day
DayResultChecksMedian
3 Nov (today)Down 887 minutes1–
2 NovDown 1440 minutes1of 1–
1 NovDown 1440 minutes1of 1–
31 OctDown 1051 minutes13–

A failure counts as down time only when a second check five minutes later fails too. How we check

Connect to the publisher's own endpoint

Add to Augment Settings Panel – MCP section – Import from JSON (VS Code extension):

{
  "mcpServers": {
    "govmcp": {
      "type": "sse",
      "url": "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse"
    }
  }
}
For agents: the install prompt

Every step above as one Markdown text, for an assistant installing it for you.

# Install the MCP server OpenAPI MCP Server (`co.huggingface.nicomarinw/govmcp`)

Its page: https://plug.directory/servers/co.huggingface.nicomarinw/govmcp

It runs on the publisher's servers; the client connects to its URL.

Use the section for the person's client.

## Claude Desktop

Paste into Settings › Connectors › Add custom connector:

```text
https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse
```

## Claude Code

Run in a terminal:

```sh
claude mcp add --transport sse govmcp https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse
```

## Cursor, Devin Desktop, LM Studio, Gemini CLI, oterm, ECA

Merge into the place for the person's client:

- Cursor: ~/.cursor/mcp.json
- Devin Desktop: ~/.config/devin/mcp_config.json
- LM Studio: mcp.json (Program › Install › Edit mcp.json)
- Gemini CLI: ~/.gemini/settings.json
- oterm: config.json in oterm's data folder (~/Library/Application Support/oterm on macOS, ~/.local/share/oterm on Linux, %APPDATA%\oterm on Windows)
- ECA: ~/.config/eca/config.json (global) or .eca/config.json in the project

```json
{
  "mcpServers": {
    "govmcp": {
      "url": "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse"
    }
  }
}
```

## VS Code

Merge into .vscode/mcp.json:

```json
{
  "servers": {
    "govmcp": {
      "type": "sse",
      "url": "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse"
    }
  }
}
```

## Zed

This server's endpoint speaks only SSE, which this client's documentation does not list among its transports; use another client for it.

## Cline, AnythingLLM, Augment Code

Merge into the place for the person's client:

- Cline: cline_mcp_settings.json (MCP Servers › Configure › Configure MCP Servers)
- AnythingLLM: anythingllm_mcp_servers.json in the AnythingLLM storage plugins directory
- Augment Code: Augment Settings Panel – MCP section – Import from JSON (VS Code extension)

```json
{
  "mcpServers": {
    "govmcp": {
      "type": "sse",
      "url": "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse"
    }
  }
}
```

## Continue

Merge into ~/.continue/config.yaml:

```yaml
mcpServers:
  - name: "govmcp"
    type: sse
    url: "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse"
```

## Goose

This server's endpoint speaks only SSE, which this client's documentation does not list among its transports; use another client for it.

## Codex

This server's endpoint speaks only SSE, which this client's documentation does not list among its transports; use another client for it.

## mcp-client-cli, TUUI, BoltAI, Bob Shell, Kiro, Kiro CLI

This server's endpoint speaks only SSE, which this client's documentation does not list among its transports; use another client for it.

## Agenvoy

This server's endpoint speaks only SSE, which this client's documentation does not list among its transports; use another client for it.

## Amp

Merge into ~/.config/amp/settings.json (user) or .amp/settings.json (workspace):

```json
{
  "amp.mcpServers": {
    "govmcp": {
      "url": "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse"
    }
  }
}
```

Then restart the client, or reload its MCP servers, and ask it to list the server's tools to confirm it started.

Tools 79

  • govmcp_get__blocos Nas atividades parlamentares, partidos podem se juntar em __blocos partidários__. Quando associados, os partidos passam a trabalhar como se fossem um "partidão", com um só líder e um mesmo conjunto de vice-líderes. Os blocos só podem existir até o fim da legislatura em que foram criados: na legislatura seguinte, os mesmos partidos, se associados, formam um novo bloco. Este recurso é uma lista dos blocos em atividade no momento da requisição. Se forem passados números de legislaturas com o parâmetro _idLegislatura_, são listados também os blocos formados e extintos nessas legislaturas.
  • govmcp_get__blocos_id Retorna informações sobre o bloco identificado por `{id}` além daquelas obtidas na listagem.
  • govmcp_get__blocos_id_partidos Lista em que cada item contém os identificadores básicos de cada partido integrante do bloco identificado por {id}.
  • govmcp_get__deputados Retorna uma lista de dados básicos sobre deputados que estiveram em exercício parlamentar em algum intervalo de tempo. Se não for passado um parâmetro de tempo, como `idLegislatura` ou `dataInicio`, a lista enumerará somente os deputados _em exercício no momento da requisição_.
  • govmcp_get__deputados_id Retorna os dados cadastrais de um parlamentar identificado por `{id}` que, em algum momento da história e por qualquer período, entrou em exercício na Câmara.
  • govmcp_get__deputados_id_despesas Dá acesso aos registros de pagamentos e reembolsos feitos pela Câmara em prol do deputado identificado por `{id}`, a título da Cota para Exercício da Atividade Parlamentar, a chamada "cota parlamentar". A lista pode ser filtrada por mês, ano, legislatura, CNPJ ou CPF de um fornecedor. Se não forem passados os parâmetros de tempo, o serviço retorna os dados dos __seis meses anteriores à requisição__.
  • govmcp_get__deputados_id_discursos Retorna uma lista de informações sobre os pronunciamentos feitos pelo deputado identificado por {id} que tenham sido registrados, em quaisquer eventos, nos sistemas da Câmara. Caso os parâmetros de tempo (`dataInicio`, `dataFim` e `idLegislatura`) não sejam configurados na requisição, são buscados os discursos ocorridos nos sete dias anteriores ao da requisição.
  • govmcp_get__deputados_id_eventos Retorna uma lista de objetos `evento` nos quais a participação do parlamentar identificado por `{id}` era ou é prevista. Um período de tempo pode ser delimitado para a busca. Se não forem passados parâmetros de tempo, são retornados os eventos num período de __cinco dias__, sendo dois antes e dois depois do dia da requisição. Os itens podem ser ordenados por `id`, `siglaOrgao` ou `dataHoraInicio`.
  • govmcp_get__deputados_id_frentes Retorna uma lista de informações básicas sobre as frentes parlamentares das quais o parlamentar identificado por `{id}` seja membro, ou, no caso de frentes existentes em legislaturas anteriores, tenha encerrado a legislatura como integrante.
  • govmcp_get__deputados_id_historico Endpoint alternativo que busca o histórico do deputado via API GraphQL externa de alta performance, retornando a mesma estrutura de dados do endpoint v1.
  • govmcp_get__deputados_id_historico_old Um deputado pode, no meio de uma legislatura, mudar de partido ou de nome parlamentar, entrar em licença, ser afastado ou substituir outro deputado. Como essas mudanças se refletem em votações, ou na autoria e relatoria de proposições, pode se tornar difícil identificar um mesmo parlamentar em diferentes momentos de sua atuação na Câmara. Este serviço retorna uma listagem com as diferentes situações de exercício parlamentar do deputado identificado por `{id}`, mesmo que a alteração registrada não tenha afetado o andamento do mandato.
  • govmcp_get__deputados_id_mandatosExternos Retorna uma lista em que cada item traz informações básicas sobre um cargo para o qual o parlamentar identificado por {id} tenha sido eleito, em sua carreira política fora da Câmara dos Deputados. Estes dados são fornecidos pelo Tribunal Superior Eleitoral. A lista vem ordenada cronologicamente, por padrão.

From Hugging Face Spaces. Report a problem