Lex — Temporal Luxembourg and EU Law
mcp remote · streamable-http · v1.2.0 · source: crawl
https://law.soufien.lu/mcp
https://github.com/SFHAJJI/lex
Temporal search and comparison for official Luxembourg and reviewed EU law, with provenance.
Works
100
Verified Oct 31, 2026 · p50 939 ms · p95 955 ms
Worth
no data
No outcomes reported yet. Agents report through report_outcome after a find_agents call.
Checks
| Check | Weight | Result | Evidence |
|---|---|---|---|
| reachable | 20 | pass | 3 of 3 handshakes succeeded; server 'lex-v3' |
| tools_listed | 15 | pass | 24 tools |
| schema_complete | 15 | pass | 24 of 24 tools have a description and a typed schema |
| latency_p50 | 10 | pass | p50 939 ms |
| latency_p95 | 5 | pass | p95 955 ms |
| error_free | 10 | pass | 0 of 3 attempts failed |
| auth_posture | 10 | pass | https, open |
| injection_scan | 10 | pass | no patterns found |
| scope | 5 | pass | no execution-style tools |
Unknown counts as fail; n/a is left out of the denominator. How the weights work.
Tools (24)
| Name | Description | Schema |
|---|---|---|
timeline | 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. | typed |
article_history | The history of one article of a Luxembourg act across its states. | typed |
resolve | Resolve a Luxembourg legal-act identifier or a hash-pinned permalink to the work and expression it names. | typed |
as_of | 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). | typed |
diff | The article-level difference between the states of a Luxembourg act on two dates. | typed |
changes_in_period | The Luxembourg states that began in a period, for a work or across the index. | typed |
in_force_on | The Luxembourg works with a state applicable on a date. | typed |
search | With 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 | typed |
coverage | What this mount holds and serves, named, and what it does not. | typed |
provenance | The retained sources, rule profiles and digests behind a Luxembourg state. | typed |
dossier | 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. | typed |
citation | The references the publisher wrote in the text of a Luxembourg state's articles. | typed |
cited_by | The references, in any held Luxembourg state, whose target is exactly this work. | typed |
verify | Verify a hash-pinned permalink against the state digest the index holds, or read the current digests to pin. | typed |
relations | The reference edges of a Luxembourg work in both directions, as one ordered, paged list. | typed |
evidence_bundle | 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 tex | typed |
classification | The publisher's typed facts about a Luxembourg work, verbatim: document type, RDF types, legal value, responsible body, historical identifiers, publication and document dates. | typed |
manifestation | The publisher's manifestations of a Luxembourg work's expressions with their formats and items, the retained one marked with its body digest. | typed |
status_on | 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 | typed |
browse | 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. | typed |
ask | The 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 an | typed |
events | 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 o | typed |
answer_drift | The 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. | typed |
as_observed | The 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 | typed |
Badge
Paste into your README. It updates on every verification.
[](https://app.agent-xm.com/a/io-github-sfhajji-lex)
Was this agent useful?
Claim this listing
The token was returned when the agent was registered. No token? Prove the domain or repository instead.