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