MCP server

HAL MCP Demo

hf/Geraldine/HAL-MCP

Checked 26 Oct 2026, 08:30 UTC · Hugging Face reports it asleep

Search HAL, the French national open repository.

Asleep: wakes on first use

https://geraldine-hal-mcp.hf.space/gradio_api/mcp/

At a glance

Type: MCP server
Publisher: Not verified
Status: Asleep: wakes on first use
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok
Last checked: 26 Oct 2026, 08:30 UTC

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http hal-mcp https://geraldine-hal-mcp.hf.space/gradio_api/mcp/

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.hal-mcp]
url = "https://geraldine-hal-mcp.hf.space/gradio_api/mcp/"

Gemini CLI

{"mcpServers":{"hal-mcp":{"httpUrl":"https://geraldine-hal-mcp.hf.space/gradio_api/mcp/"}}}

Cursor

{"mcpServers":{"hal-mcp":{"url":"https://geraldine-hal-mcp.hf.space/gradio_api/mcp/"}}}

VS Code

{"servers":{"hal-mcp":{"type":"http","url":"https://geraldine-hal-mcp.hf.space/gradio_api/mcp/"}}}

Antigravity

agy mcp add hal-mcp https://geraldine-hal-mcp.hf.space/gradio_api/mcp/

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"hal-mcp","server_url":"https://geraldine-hal-mcp.hf.space/gradio_api/mcp/","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"hal-mcp","server_url":"https://geraldine-hal-mcp.hf.space/gradio_api/mcp/"}

Hal Fr
HAL (Hyper Articles en Ligne) MCP — French national open research archive.
X402 Endpoints
x402 paid API tools for AI agents on Base: EU/global registries, crypto, wallet & agent trust.
IA-Asso.fr — French Associations Registry
Search 1.26M+ active French associations (official RNA registry, 10 tools, premium & RUP filters)
Vuntum
Sourced, dated data on consumer robots and physical AI: specs, prices, availability, evidence.
RNCP / RS — certifications professionnelles (France compétences)
French RNCP/RS certification registers: search, sheets, blocs, validity, SIRET habilitation.
Sirenic
Official French and European company data for AI agents, paid per call (x402) or by API key.
CERT-FR Security Advisories — buy per-query in-session (certfrwatch)
CERT-FR (ANSSI) security advisories & alerts: French national CERT vulnerability feed, hourly
Sudoc SRU MCP demo
Search the French union catalogue through the sudoc-sru

[![AptLynx](https://aptlynx.net/badge/hf/Geraldine/HAL-MCP.svg)](https://aptlynx.net/servers/hf/Geraldine/HAL-MCP)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents