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 4773 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
| Day | Result | Checks | Median |
|---|---|---|---|
| 3 Nov (today) | Down 842 minutes | 1 | – |
| 2 Nov | Down 1440 minutes | 1of 1 | – |
| 1 Nov | Down 1440 minutes | 1of 1 | – |
| 31 Oct | Down 1051 minutes | 13 | – |
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
Paste into Settings › Connectors › Add custom connector:
https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse Run in a terminal:
claude mcp add --transport sse govmcp https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse Add to ~/.cursor/mcp.json:
Add to ~/.config/devin/mcp_config.json:
Add to mcp.json (Program › Install › Edit mcp.json):
Add to ~/.gemini/settings.json:
Add to config.json in oterm's data folder (~/Library/Application Support/oterm on macOS, ~/.local/share/oterm on Linux, %APPDATA%\oterm on Windows):
Add to ~/.config/eca/config.json (global) or .eca/config.json in the project:
{
"mcpServers": {
"govmcp": {
"url": "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse"
}
}
} Add to .vscode/mcp.json:
{
"servers": {
"govmcp": {
"type": "sse",
"url": "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse"
}
}
} Add to ~/.config/zed/settings.json:
{
"context_servers": {
"govmcp": {
"url": "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse"
}
}
} This server's endpoint speaks only SSE, which this client's documentation does not list among its transports; use another client for it.
Add to cline_mcp_settings.json (MCP Servers › Configure › Configure MCP Servers):
Add to anythingllm_mcp_servers.json in the AnythingLLM storage plugins directory:
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"
}
}
} Add to ~/.continue/config.yaml:
mcpServers:
- name: "govmcp"
type: sse
url: "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse" Add to ~/.config/goose/config.yaml:
extensions:
"govmcp":
type: streamable_http
name: "govmcp"
enabled: true
uri: "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse"
headers: {}
env_keys: []
envs: {}
timeout: 300 This server's endpoint speaks only SSE, which this client's documentation does not list among its transports; use another client for it.
Run in a terminal:
codex mcp add govmcp --url https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse This server's endpoint speaks only SSE, which this client's documentation does not list among its transports; use another client for it.
Add to ~/.llm/config.json:
Add to resources/assets/config/mcp.json in the installed app:
Add to ~/.boltai/mcp.json:
Add to ~/.bob/settings/mcp.json (global) or .bob/mcp.json (project):
Add to ~/.kiro/settings/mcp.json (user) or .kiro/settings/mcp.json (workspace):
Add to ~/.kiro/settings/mcp.json (user) or .kiro/settings/mcp.json (workspace):
{
"mcpServers": {
"govmcp": {
"url": "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse"
}
}
} This server's endpoint speaks only SSE, which this client's documentation does not list among its transports; use another client for it.
Add to ~/.config/agenvoy/mcp.json:
{
"servers": {
"govmcp": {
"url": "https://nicomarinw-govmcp.hf.space/gradio_api/mcp/sse"
}
}
} This server's endpoint speaks only SSE, which this client's documentation does not list among its transports; use another client for it.
Add to ~/.config/amp/settings.json (user) or .amp/settings.json (workspace):
{
"amp.mcpServers": {
"govmcp": {
"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__blocosNas 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_idRetorna informações sobre o bloco identificado por `{id}` além daquelas obtidas na listagem.govmcp_get__blocos_id_partidosLista em que cada item contém os identificadores básicos de cada partido integrante do bloco identificado por {id}.govmcp_get__deputadosRetorna 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_idRetorna 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_despesasDá 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_discursosRetorna 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_eventosRetorna 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_frentesRetorna 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_historicoEndpoint 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_oldUm 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_mandatosExternosRetorna 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