HAL – MCP tools

download_hal
Paper Search MCP
Download PDF documents from HAL repository using paper identifiers to access academic research papers for local storage and reference.
MIT
read_hal_paper
Paper Search MCP
Extract text content from HAL research papers by providing a paper identifier and optional save path for PDF storage.
MIT
search_hal
Paper Search MCP
Search academic papers from the HAL open archive using queries to find relevant research documents and metadata.
MIT
http-post
HAL (HTTP API Layer)
Send HTTP POST requests to specified URLs with optional body, headers, and secret substitution using {secrets.key} syntax, simplifying API interactions within the HAL server environment.
MIT
http-get
HAL (HTTP API Layer)
Send HTTP GET requests to specified URLs with customizable headers. Supports secret substitution using environment variables for secure API interactions within HAL (HTTP API Layer).
MIT
list-secrets
HAL (HTTP API Layer)
Retrieve a list of secret key names available for use with {secrets.key} syntax, ensuring secure access without exposing actual secret values in HAL (HTTP API Layer).
MIT

Interested in MCP?

Join the MCP community for support and updates.