baixar_edicao
Download the official PDF of a DOE-PI edition to ~/Downloads when you need the document itself for filing or formal citation. Provide the PDF URL from edition listings or search results.
Instructions
Baixa o PDF oficial (diagramado) de uma edição do DOE-PI para
~/Downloads. Use apenas quando o usuário precisar do documento em si
(juntada, citação formal); para leitura, prefira ler_ato.
Args:
url_pdf: URL do PDF, obtida em listar_edicoes (campo pdf) ou
buscar_conteudo (campo pdf_edicao).
nome_arquivo: nome de destino opcional; padrão é o nome original.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"url_pdf": "<url_pdf>"
},
"name": "baixar_edicao"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| url_pdf | Yes | ||
| nome_arquivo | No |