{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_f3xrg7tjvvhq","handle":"lex-temporal-luxembourg-and-eu-law","url":"https://wellknown.network/agents/lex-temporal-luxembourg-and-eu-law","links":{"self":"https://wellknown.network/agents/lex-temporal-luxembourg-and-eu-law/record.json","html":"https://wellknown.network/agents/lex-temporal-luxembourg-and-eu-law","markdown":"https://wellknown.network/agents/lex-temporal-luxembourg-and-eu-law/record.md","api":"https://wellknown.network/api/v1/agents/lex-temporal-luxembourg-and-eu-law","status":"https://wellknown.network/api/v1/agents/lex-temporal-luxembourg-and-eu-law/status","claim":"https://wellknown.network/agents/lex-temporal-luxembourg-and-eu-law/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/lex-temporal-luxembourg-and-eu-law/claim.json","badge":"https://wellknown.network/agents/lex-temporal-luxembourg-and-eu-law/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air:law.soufien.lu:server:lex-temporal-luxembourg-and-eu-law","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"Lex — Temporal Luxembourg and EU Law","summary":"Temporal search and comparison for official Luxembourg and reviewed EU law, with provenance.","description":"Temporal search and comparison for official Luxembourg and reviewed EU law, with provenance.","publisher":{"name":"SFHAJJI","url":null},"homepage":null,"repository":"https://github.com/SFHAJJI/lex","version":"1.2.0","license":null,"protocols":["mcp"],"tags":[],"pricing":null,"endpoints":[{"url":"https://law.soufien.lu/mcp","type":"mcp_streamable_http","auth":null,"probeable":true}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-08-07T23:38:23.845994Z","publishedAt":"2026-08-07T23:38:23.845994Z","registryName":"io.github.SFHAJJI/lex"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"dev.docs-lookup","name":"Documentation Lookup","confidence":0.54,"provenance":"derived"}],"categories":["dev"]},"observed":{"status":"live","statusReason":"Responded 10h ago.","lastOkAt":"2026-09-08T09:26:53.688Z","lastProbedAt":"2026-09-08T09:26:53.688Z","statusComputedAt":"2026-09-08T09:35:54.257Z","reliability30d":{"probes":6,"successRate":1,"p50Ms":15},"latestObservations":[{"at":"2026-09-08T16:22:28.729Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":13,"error":null,"detail":{"tools":[{"name":"as_of","description":"The state of one document as it stood on one date. Pure lookup, no ranking. mode=outline lists provisions without text and may be narrowed with anchors; mode=se"},{"name":"timeline","description":"Every publisher state a document has been in: timeline intervals, version keys, and explicit timeline_semantics. Legilux intervals describe applicability; EUR-L"},{"name":"in_force_on","description":"Compatibility name for publisher states covering a date, computed from timeline intervals and deduplicated by work. Legilux states describe applicability; EUR-L"},{"name":"diff","description":"What changed between two dates for one work: which publisher versions cover the selected dates and, where both texts are held, retrieve them via as_of to compar"},{"name":"search","description":"Filtered legal search. keyword is deterministic FTS5/BM25; hybrid adds the pinned local encoder and fixed RRF when verified vectors are mounted. No generative m"},{"name":"article_history","description":"Every distinct text ONE provision (article/annex) has had on its publisher timeline, plus lifecycle events (inserted/removed/renumbered, renumbering detected me"},{"name":"provenance","description":"Proof chain for one lex_id: source URI, retrieval time, record/body hashes, event chain, corpus commit, index build, stamp signature."},{"name":"coverage","description":"What we hold and what we lack, tier by tier: counts, date ranges, history_begins, known gaps. This tool exists to say what we do NOT have."},{"name":"cited_by","description":"Which held provision versions contain captured publisher cross-references to this work. This reverse lookup reports the publisher references Lex captured; it do"},{"name":"changes_in_period","description":"ACROSS the corpus: which works gained new versions between two dates, how many each, and when — the aggregate counterpart of diff/timeline (which cover ONE work"}],"toolCount":10,"serverName":"lex","capabilities":["logging","tools"],"serverVersion":"2.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-09-08T09:26:53.688Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":12,"error":null,"detail":{"tools":[{"name":"as_of","description":"The state of one document as it stood on one date. Pure lookup, no ranking. mode=outline lists provisions without text and may be narrowed with anchors; mode=se"},{"name":"timeline","description":"Every publisher state a document has been in: timeline intervals, version keys, and explicit timeline_semantics. Legilux intervals describe applicability; EUR-L"},{"name":"in_force_on","description":"Compatibility name for publisher states covering a date, computed from timeline intervals and deduplicated by work. Legilux states describe applicability; EUR-L"},{"name":"diff","description":"What changed between two dates for one work: which publisher versions cover the selected dates and, where both texts are held, retrieve them via as_of to compar"},{"name":"search","description":"Filtered legal search. keyword is deterministic FTS5/BM25; hybrid adds the pinned local encoder and fixed RRF when verified vectors are mounted. No generative m"},{"name":"article_history","description":"Every distinct text ONE provision (article/annex) has had on its publisher timeline, plus lifecycle events (inserted/removed/renumbered, renumbering detected me"},{"name":"provenance","description":"Proof chain for one lex_id: source URI, retrieval time, record/body hashes, event chain, corpus commit, index build, stamp signature."},{"name":"coverage","description":"What we hold and what we lack, tier by tier: counts, date ranges, history_begins, known gaps. This tool exists to say what we do NOT have."},{"name":"cited_by","description":"Which held provision versions contain captured publisher cross-references to this work. This reverse lookup reports the publisher references Lex captured; it do"},{"name":"changes_in_period","description":"ACROSS the corpus: which works gained new versions between two dates, how many each, and when — the aggregate counterpart of diff/timeline (which cover ONE work"}],"toolCount":10,"serverName":"lex","capabilities":["logging","tools"],"serverVersion":"2.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-09-08T03:22:59.540Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":23,"error":null,"detail":{"tools":[{"name":"as_of","description":"The state of one document as it stood on one date. Pure lookup, no ranking. mode=outline lists provisions without text and may be narrowed with anchors; mode=se"},{"name":"timeline","description":"Every publisher state a document has been in: timeline intervals, version keys, and explicit timeline_semantics. Legilux intervals describe applicability; EUR-L"},{"name":"in_force_on","description":"Compatibility name for publisher states covering a date, computed from timeline intervals and deduplicated by work. Legilux states describe applicability; EUR-L"},{"name":"diff","description":"What changed between two dates for one work: which publisher versions cover the selected dates and, where both texts are held, retrieve them via as_of to compar"},{"name":"search","description":"Filtered legal search. keyword is deterministic FTS5/BM25; hybrid adds the pinned local encoder and fixed RRF when verified vectors are mounted. No generative m"},{"name":"article_history","description":"Every distinct text ONE provision (article/annex) has had on its publisher timeline, plus lifecycle events (inserted/removed/renumbered, renumbering detected me"},{"name":"provenance","description":"Proof chain for one lex_id: source URI, retrieval time, record/body hashes, event chain, corpus commit, index build, stamp signature."},{"name":"coverage","description":"What we hold and what we lack, tier by tier: counts, date ranges, history_begins, known gaps. This tool exists to say what we do NOT have."},{"name":"cited_by","description":"Which held provision versions contain captured publisher cross-references to this work. This reverse lookup reports the publisher references Lex captured; it do"},{"name":"changes_in_period","description":"ACROSS the corpus: which works gained new versions between two dates, how many each, and when — the aggregate counterpart of diff/timeline (which cover ONE work"}],"toolCount":10,"serverName":"lex","capabilities":["logging","tools"],"serverVersion":"2.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-09-07T20:19:04.494Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":16,"error":null,"detail":{"tools":[{"name":"as_of","description":"The state of one document as it stood on one date. Pure lookup, no ranking. mode=outline lists provisions without text and may be narrowed with anchors; mode=se"},{"name":"timeline","description":"Every publisher state a document has been in: timeline intervals, version keys, and explicit timeline_semantics. Legilux intervals describe applicability; EUR-L"},{"name":"in_force_on","description":"Compatibility name for publisher states covering a date, computed from timeline intervals and deduplicated by work. Legilux states describe applicability; EUR-L"},{"name":"diff","description":"What changed between two dates for one work: which publisher versions cover the selected dates and, where both texts are held, retrieve them via as_of to compar"},{"name":"search","description":"Filtered legal search. keyword is deterministic FTS5/BM25; hybrid adds the pinned local encoder and fixed RRF when verified vectors are mounted. No generative m"},{"name":"article_history","description":"Every distinct text ONE provision (article/annex) has had on its publisher timeline, plus lifecycle events (inserted/removed/renumbered, renumbering detected me"},{"name":"provenance","description":"Proof chain for one lex_id: source URI, retrieval time, record/body hashes, event chain, corpus commit, index build, stamp signature."},{"name":"coverage","description":"What we hold and what we lack, tier by tier: counts, date ranges, history_begins, known gaps. This tool exists to say what we do NOT have."},{"name":"cited_by","description":"Which held provision versions contain captured publisher cross-references to this work. This reverse lookup reports the publisher references Lex captured; it do"},{"name":"changes_in_period","description":"ACROSS the corpus: which works gained new versions between two dates, how many each, and when — the aggregate counterpart of diff/timeline (which cover ONE work"}],"toolCount":10,"serverName":"lex","capabilities":["logging","tools"],"serverVersion":"2.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-09-07T13:26:44.532Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":14,"error":null,"detail":{"tools":[{"name":"as_of","description":"The state of one document as it stood on one date. Pure lookup, no ranking. mode=outline lists provisions without text and may be narrowed with anchors; mode=se"},{"name":"timeline","description":"Every publisher state a document has been in: timeline intervals, version keys, and explicit timeline_semantics. Legilux intervals describe applicability; EUR-L"},{"name":"in_force_on","description":"Compatibility name for publisher states covering a date, computed from timeline intervals and deduplicated by work. Legilux states describe applicability; EUR-L"},{"name":"diff","description":"What changed between two dates for one work: which publisher versions cover the selected dates and, where both texts are held, retrieve them via as_of to compar"},{"name":"search","description":"Filtered legal search. keyword is deterministic FTS5/BM25; hybrid adds the pinned local encoder and fixed RRF when verified vectors are mounted. No generative m"},{"name":"article_history","description":"Every distinct text ONE provision (article/annex) has had on its publisher timeline, plus lifecycle events (inserted/removed/renumbered, renumbering detected me"},{"name":"provenance","description":"Proof chain for one lex_id: source URI, retrieval time, record/body hashes, event chain, corpus commit, index build, stamp signature."},{"name":"coverage","description":"What we hold and what we lack, tier by tier: counts, date ranges, history_begins, known gaps. This tool exists to say what we do NOT have."},{"name":"cited_by","description":"Which held provision versions contain captured publisher cross-references to this work. This reverse lookup reports the publisher references Lex captured; it do"},{"name":"changes_in_period","description":"ACROSS the corpus: which works gained new versions between two dates, how many each, and when — the aggregate counterpart of diff/timeline (which cover ONE work"}],"toolCount":10,"serverName":"lex","capabilities":["logging","tools"],"serverVersion":"2.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-09-07T06:22:54.642Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":15,"error":null,"detail":{"tools":[{"name":"as_of","description":"The state of one document as it stood on one date. Pure lookup, no ranking. mode=outline lists provisions without text and may be narrowed with anchors; mode=se"},{"name":"timeline","description":"Every publisher state a document has been in: timeline intervals, version keys, and explicit timeline_semantics. Legilux intervals describe applicability; EUR-L"},{"name":"in_force_on","description":"Compatibility name for publisher states covering a date, computed from timeline intervals and deduplicated by work. Legilux states describe applicability; EUR-L"},{"name":"diff","description":"What changed between two dates for one work: which publisher versions cover the selected dates and, where both texts are held, retrieve them via as_of to compar"},{"name":"search","description":"Filtered legal search. keyword is deterministic FTS5/BM25; hybrid adds the pinned local encoder and fixed RRF when verified vectors are mounted. No generative m"},{"name":"article_history","description":"Every distinct text ONE provision (article/annex) has had on its publisher timeline, plus lifecycle events (inserted/removed/renumbered, renumbering detected me"},{"name":"provenance","description":"Proof chain for one lex_id: source URI, retrieval time, record/body hashes, event chain, corpus commit, index build, stamp signature."},{"name":"coverage","description":"What we hold and what we lack, tier by tier: counts, date ranges, history_begins, known gaps. This tool exists to say what we do NOT have."},{"name":"cited_by","description":"Which held provision versions contain captured publisher cross-references to this work. This reverse lookup reports the publisher references Lex captured; it do"},{"name":"changes_in_period","description":"ACROSS the corpus: which works gained new versions between two dates, how many each, and when — the aggregate counterpart of diff/timeline (which cover ONE work"}],"toolCount":10,"serverName":"lex","capabilities":["logging","tools"],"serverVersion":"2.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-09-06T23:22:28.554Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":16,"error":null,"detail":{"tools":[{"name":"as_of","description":"The state of one document as it stood on one date. Pure lookup, no ranking. mode=outline lists provisions without text and may be narrowed with anchors; mode=se"},{"name":"timeline","description":"Every publisher state a document has been in: timeline intervals, version keys, and explicit timeline_semantics. Legilux intervals describe applicability; EUR-L"},{"name":"in_force_on","description":"Compatibility name for publisher states covering a date, computed from timeline intervals and deduplicated by work. Legilux states describe applicability; EUR-L"},{"name":"diff","description":"What changed between two dates for one work: which publisher versions cover the selected dates and, where both texts are held, retrieve them via as_of to compar"},{"name":"search","description":"Filtered legal search. keyword is deterministic FTS5/BM25; hybrid adds the pinned local encoder and fixed RRF when verified vectors are mounted. No generative m"},{"name":"article_history","description":"Every distinct text ONE provision (article/annex) has had on its publisher timeline, plus lifecycle events (inserted/removed/renumbered, renumbering detected me"},{"name":"provenance","description":"Proof chain for one lex_id: source URI, retrieval time, record/body hashes, event chain, corpus commit, index build, stamp signature."},{"name":"coverage","description":"What we hold and what we lack, tier by tier: counts, date ranges, history_begins, known gaps. This tool exists to say what we do NOT have."},{"name":"cited_by","description":"Which held provision versions contain captured publisher cross-references to this work. This reverse lookup reports the publisher references Lex captured; it do"},{"name":"changes_in_period","description":"ACROSS the corpus: which works gained new versions between two dates, how many each, and when — the aggregate counterpart of diff/timeline (which cover ONE work"}],"toolCount":10,"serverName":"lex","capabilities":["logging","tools"],"serverVersion":"2.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-09-06T17:27:21.419Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":12,"error":null,"detail":{"tools":[{"name":"as_of","description":"The state of one document as it stood on one date. Pure lookup, no ranking. mode=outline lists provisions without text and may be narrowed with anchors; mode=se"},{"name":"timeline","description":"Every publisher state a document has been in: timeline intervals, version keys, and explicit timeline_semantics. Legilux intervals describe applicability; EUR-L"},{"name":"in_force_on","description":"Compatibility name for publisher states covering a date, computed from timeline intervals and deduplicated by work. Legilux states describe applicability; EUR-L"},{"name":"diff","description":"What changed between two dates for one work: which publisher versions cover the selected dates and, where both texts are held, retrieve them via as_of to compar"},{"name":"search","description":"Filtered legal search. keyword is deterministic FTS5/BM25; hybrid adds the pinned local encoder and fixed RRF when verified vectors are mounted. No generative m"},{"name":"article_history","description":"Every distinct text ONE provision (article/annex) has had on its publisher timeline, plus lifecycle events (inserted/removed/renumbered, renumbering detected me"},{"name":"provenance","description":"Proof chain for one lex_id: source URI, retrieval time, record/body hashes, event chain, corpus commit, index build, stamp signature."},{"name":"coverage","description":"What we hold and what we lack, tier by tier: counts, date ranges, history_begins, known gaps. This tool exists to say what we do NOT have."},{"name":"cited_by","description":"Which held provision versions contain captured publisher cross-references to this work. This reverse lookup reports the publisher references Lex captured; it do"},{"name":"changes_in_period","description":"ACROSS the corpus: which works gained new versions between two dates, how many each, and when — the aggregate counterpart of diff/timeline (which cover ONE work"}],"toolCount":10,"serverName":"lex","capabilities":["logging","tools"],"serverVersion":"2.0.0","protocolVersion":"2025-06-18"}},{"at":"2026-09-06T09:21:49.167Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":13,"error":null,"detail":{"tools":[{"name":"as_of","description":"The state of one document as it stood on one date. Pure lookup, no ranking. mode=outline lists provisions without text and may be narrowed with anchors; mode=se"},{"name":"timeline","description":"Every publisher state a document has been in: timeline intervals, version keys, and explicit timeline_semantics. Legilux intervals describe applicability; EUR-L"},{"name":"in_force_on","description":"Compatibility name for publisher states covering a date, computed from timeline intervals and deduplicated by work. Legilux states describe applicability; EUR-L"},{"name":"diff","description":"What changed between two dates for one work: which publisher versions cover the selected dates and, where both texts are held, retrieve them via as_of to compar"},{"name":"search","description":"Filtered legal search. keyword is deterministic FTS5/BM25; hybrid adds the pinned local encoder and fixed RRF when verified vectors are mounted. No generative m"},{"name":"article_history","description":"Every distinct text ONE provision (article/annex) has had on its publisher timeline, plus lifecycle events (inserted/removed/renumbered, renumbering detected me"},{"name":"provenance","description":"Proof chain for one lex_id: source URI, retrieval time, record/body hashes, event chain, corpus commit, index build, stamp signature."},{"name":"coverage","description":"What we hold and what we lack, tier by tier: counts, date ranges, history_begins, known gaps. This tool exists to say what we do NOT have."},{"name":"cited_by","description":"Which held provision versions contain captured publisher cross-references to this work. This reverse lookup reports the publisher references Lex captured; it do"},{"name":"changes_in_period","description":"ACROSS the corpus: which works gained new versions between two dates, how many each, and when — the aggregate counterpart of diff/timeline (which cover ONE work"}],"toolCount":10,"serverName":"lex","capabilities":["logging","tools"],"serverVersion":"2.0.0","protocolVersion":"2025-06-18"}}],"tools":[{"name":"as_of","description":"The state of one document as it stood on one date. Pure lookup, no ranking. mode=outline lists provisions without text and may be narrowed with anchors; mode=se"},{"name":"timeline","description":"Every publisher state a document has been in: timeline intervals, version keys, and explicit timeline_semantics. Legilux intervals describe applicability; EUR-L"},{"name":"in_force_on","description":"Compatibility name for publisher states covering a date, computed from timeline intervals and deduplicated by work. Legilux states describe applicability; EUR-L"},{"name":"diff","description":"What changed between two dates for one work: which publisher versions cover the selected dates and, where both texts are held, retrieve them via as_of to compar"},{"name":"search","description":"Filtered legal search. keyword is deterministic FTS5/BM25; hybrid adds the pinned local encoder and fixed RRF when verified vectors are mounted. No generative m"},{"name":"article_history","description":"Every distinct text ONE provision (article/annex) has had on its publisher timeline, plus lifecycle events (inserted/removed/renumbered, renumbering detected me"},{"name":"provenance","description":"Proof chain for one lex_id: source URI, retrieval time, record/body hashes, event chain, corpus commit, index build, stamp signature."},{"name":"coverage","description":"What we hold and what we lack, tier by tier: counts, date ranges, history_begins, known gaps. This tool exists to say what we do NOT have."},{"name":"cited_by","description":"Which held provision versions contain captured publisher cross-references to this work. This reverse lookup reports the publisher references Lex captured; it do"},{"name":"changes_in_period","description":"ACROSS the corpus: which works gained new versions between two dates, how many each, and when — the aggregate counterpart of diff/timeline (which cover ONE work"}],"package":null},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.github.SFHAJJI/lex","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.SFHAJJI%2Flex","firstSeenAt":"2026-09-06T06:18:08.187Z","fetchedAt":"2026-09-08T04:18:57.350Z","normalizedAt":"2026-09-08T04:18:57.350Z"}]},"firstSeenAt":"2026-09-06T06:18:08.187Z","updatedAt":"2026-09-08T09:36:40.870Z"}