"HAL" matching MCP servers:

An MCP server that lets AI assistants query the HAL open archive, including publication search, statistics, citation export, and researcher tracking via natural language.

Enables searching HAL and preparing, validating, and submitting publication deposits via SWORD, with dry-run validation and explicit submission control.

Enables searching and retrieving documents from the French national open research archive HAL, including author and research structure lookups.

Enables analysis of large HAR files with schema-less protobuf/gRPC decoding, allowing structured queries and decoding of opaque binary bodies for reverse-engineering and traffic research.

Provides 22 tools for Shariah-compliant stock and ETF screening across 5 methodologies, portfolio auditing, zakat calculation, and live market data for AI agents.

Enables AI assistants to solve linear, nonlinear, and integer optimization models with a locally installed LINGO 11 solver and read the results back as structured data — status, objective, variable values, reduced costs, row slacks, and dual prices. It also runs arbitrary LINGO command-window analyses, reports the detected installation and license status, and lists the bundled sample models, correctly flagging infeasible or unbounded models instead of inventing an optimum.

Enables searching and retrieving academic papers from arXiv and DBLP databases with advanced filtering options. Supports downloading PDFs and provides detailed paper information including titles, authors, abstracts, and publication dates.

Enables coding agents to complete an entire web research task in one tool call, internally running dual-engine search, concurrent page fetching, main-content extraction, relevance ranking and digests, then returning a synthesized report with citations and uncovered-keyword gaps. Also supports batch fetching and condensing up to 10 known URLs in a single call, replacing step-by-step search-and-read loops.

A feature-rich NASA data query tool that supports various NASA API services including astronomy pictures, Mars rover photos, Earth satellite images, near-Earth objects data, and space weather information through natural language queries.

Enables querying Morningstar China fund data, including search, screening, day-end rankings, performance, portfolio, fees, managers, ownership, strategy, documents, and market insights.