resolve
Resolve a Luxembourg legal-act identifier or a hash-pinned permalink to the work and expression it names.
identifier必填
io.github.SFHAJJI由 GitHub 账号 SFHAJJI 发布v1.2.0更新于 Nov 2, 2026
Temporal search and comparison for official Luxembourg and reviewed EU law, with provenance.
远程 MCP 服务器,用于查询特定日期的卢森堡与欧盟法律:解析法案、按日期读取条文、比较版本并核查来源。
Web executable,通过 Streamable HTTP。 远程服务在工作区中配置后即可从网页运行时运行。
把这段提示词粘贴到 Claude Code、Codex、Cursor 等智能体,或 SourceWeft 对话中。智能体会读取该服务器的安装指南,先向你展示发布者、端点和登录方式,经你同意后再把它添加到你的客户端。密钥不会写进任何命令。
阅读 https://sourceweft.com/mcp/io.github.SFHAJJI%2Flex/install.md,并按其中说明把这个 MCP 服务器接入我的客户端。修改任何配置之前,先告诉我它的发布者、端点和登录方式,等我确认。不要把 API 密钥写进命令或我会提交的文件;问我密钥应从哪里获取。把它添加到你客户端的 mcpServers 配置中。
{
"mcpServers": {
"lex-temporal-luxembourg-and-eu-law": {
"type": "http",
"url": "https://law.soufien.lu/mcp"
}
}
}Lex shows the published text of Luxembourg and European Union law as it stood on a date, article by article, with the official source, the text's hash and a permalink. It is served at https://law.soufien.lu (open since 27 October 2026), in French and English, over the pages, a REST API and an MCP server on one origin. It does not give advice, apply the law to a situation, make its own consolidation or let a model choose an act or rank results.
How it is built, in short: the publishers' files (Formex XML from the Publications Office, Akoma Ntoso from Legilux) are parsed into relational SQLite indexes (works, dated versions and their validity intervals, articles, hashes, publisher relations), built twice and compared byte for byte; questions are parsed by deterministic parsers (ELI, CELEX, citations, dates); retrieval goes by structure first (act, version on a date, article), then lexical search over the articles' text; every answer is a typed envelope and every refusal a typed code with a mandatory payload. Releases are reproducible, signed images, checked against the release serving before them. An assistant is built to a typed answer contract (the model only plans; code validates and quotes) and is switched off until its gates pass.
Where to read more: STATUS.md (what is served, what is next), docs/OPERATING.md (how it
runs), LAUNCH-CONTRACT.md (the acceptance list), and on the site itself the Developers page and
"What this site holds". Work starts from v3/integration; main is the legacy line.
来源:README.md,提交 a741573
Resolve a Luxembourg legal-act identifier or a hash-pinned permalink to the work and expression it names.
identifier必填The state of a Luxembourg act applicable on a date (publisher), with its articles; for an EU act, the wording dated at or before the date (an EU wording date, never an applicability date).
date必填languageidentifier必填Every state of a Luxembourg act the index holds, in publisher applicability order; for an EU act, every wording its census discovered, in wording-date order.
languageidentifier必填The history of one article of a Luxembourg act across its states.
anchor必填languageidentifier必填The article-level difference between the states of a Luxembourg act on two dates.
date_to必填languagedate_from必填identifier必填The Luxembourg states that began in a period, for a work or across the index.
limitdate_to必填languagedate_from必填identifierThe Luxembourg works with a state applicable on a date.
date必填limitlanguageidentifierafter_work_keyWith no work named, first read the query as an exact reference (an ELI, a CELEX, an EU act's name, a Memorial citation, a historical identifier, a permalink, or a citation of an article of an act at a date) and answer the address its act opens at, the acts it may name, or a typed refusal; otherwise search the held Luxembourg article text its rights admit (text they withhold is not matched), strict or relaxed, with the quotes that answer; for one EU work named by identifier, its held wording.
datemodeafterlimitquery必填language必填identifierWhat this mount holds and serves, named, and what it does not.
languageThe retained sources, rule profiles and digests behind a Luxembourg state.
date必填languageidentifier必填The work record of a Luxembourg act as the index holds it; for an EU work named by identifier, its held expressions from the EU index.
languageidentifier必填The references the publisher wrote in the text of a Luxembourg state's articles.
date必填afterlimitanchorlanguageidentifier必填The references, in any held Luxembourg state, whose target is exactly this work.
afterlimitidentifier必填Verify a hash-pinned permalink against the state digest the index holds, or read the current digests to pin.
languageidentifier必填The reference edges of a Luxembourg work in both directions, as one ordered, paged list.
dateafterlimitlanguagedirectionidentifier必填What a quote of a Luxembourg state needs, one bounded page at a time (at most 50 articles and 96 KiB of text; page or article chooses the page, contents adds the table of contents): each article's text with its digests, the state's permalink, digests, sources and official identities, composed under the rights rule; for an EU act, the same for the wording of the date.
date必填pagearticlecontentslanguageidentifier必填The publisher's typed facts about a Luxembourg work, verbatim: document type, RDF types, legal value, responsible body, historical identifiers, publication and document dates.
languageidentifier必填The publisher's manifestations of a Luxembourg work's expressions with their formats and items, the retained one marked with its body digest.
formatlanguageidentifier必填The publisher's force assertions about a Luxembourg work (its inForceStatus, dateEntryInForce and dateNoLongerInForce facts), verbatim, beside the state applicable on a date, with one fixed reading of the dates.
date必填languageidentifier必填The Luxembourg works this mount holds, one ordered and paged list with their identifiers, languages, state dates and the publisher's document types; filter by type or language.
typeafterlimitlanguageThe contained assistant (Decisions 51 and 91): every question answers the typed presentation result assistant_v3_unavailable, naming the deterministic operations that answer from held law; no model answers.
question必填The Luxembourg event log, polled by cursor, at least once: a genesis log holds one first_sighting per held state; a chained log adds each later build's comparison events; each build's time, never an observation time.
aftereventlimitThe past dated answers a publisher revision invalidated, enumerated from the log's revising events; a genesis log holds none, and the answer says why rather than asserting that nothing drifted.
afterlimitidentifierThe state of a Luxembourg act applicable on a date (publisher) as one build of the mounted log held it, named by that build's index digest, with its build time as an upper bound on observation; a time refuses, since no observation time is held.
atdate必填languagesnapshotidentifier必填已满足适用检查项的 100%
该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。
dotnet test Lex.V3.slnx --configuration Releasenpm test --prefix webnpm run build --prefix webpwsh -File eng/verify-v3-tree.ps1