MCP, MCP server
Mcp Fedlex Oh
Kurz auf Deutsch. Dieser MCP-Server macht das Schweizer Bundesrecht in Fedlex für KI-Systeme nutzbar: SR-Nummer zu ELI auflösen, die an einem Datum geltende Fassung bestimmen, Artikel im Wortlaut lesen, ein Zitat gegen den Normtext prüfen, die kanonische Fundstelle schreibe
Compatibility: Not stated.
Grade B
Minor issues only, no Medium or High. Worth a quick look at the findings below before installing.
Not a guarantee. A hygiene check of the source at the commit shown, not a security audit.
NETWORK_NO_FIXED_HOST SECRETS_PATH_DOTENV OBFUSCATION_FILE_OVER_READ_CAP
Why this grade
- NETWORK_NO_FIXED_HOST Low
Makes a network call whose host is not written as a fixed address.
mcp/servers/fedlex/src/backend.rs, line 102
"manifestation fetch (timeout {} s)", - SECRETS_PATH_DOTENV Low
Mentions a .env file.
.gitignore, line 2
.env - OBFUSCATION_FILE_OVER_READ_CAP Note
A file was over the read cap and was not fully read.
mcp/servers/fedlex/src/domain.rs, line 1
//! The base-tier domain logic - TOOLSET-v0.md executed, extended by
Any High, or two or more Medium findings, give D. One Medium gives C. Low findings or a security Note give B. Each code names a finding behind the letter.
Grades are a hygiene check of the source at the commit shown, on the date checked, not a security audit or a guarantee. The free directory grades are automated. Before release, a PlugVet engineer reviews every paid report and any grade we hold back, including all F grades, against the source code and the evidence we quote.
What was checked
Plain notes from the hygiene checks.
Permissions
Pass
No shell or command execution found, and no extra permission was declared.
Install and update
Pass
No install-time script found, and dependencies are pinned or absent.
Network
Concern
can reach a host that is not written as a fixed address.
NETWORK_NO_FIXED_HOST
mcp/servers/fedlex/src/backend.rs, line 102
"manifestation fetch (timeout {} s)",
mcp/servers/fedlex/src/backend.rs, line 317
/// Retrieval stamps handed out in order, one per fetch (RFC
mcp/servers/fedlex/src/backend.rs, line 988
assert_eq!(fetch_call_class(), "manifestation fetch (timeout 30 s)");
Show more
mcp/servers/fedlex/engine.manifest.json, line 19
"access": "HTTPS manifestation fetch (ELI-resolved; the graph's jolux:isExemplifiedBy URL, which lives under the SAME host as the endpoint - recorded reality, enforced by backend::
Secrets
Concern
reads a credential or environment file.
SECRETS_PATH_DOTENV
.gitignore, line 1
target/
.gitignore, line 2
.env
Agent instructions
Pass
No instruction to ignore earlier instructions or to hide a step.
Obfuscation
Note
a file was over the read cap and was not fully read.
OBFUSCATION_FILE_OVER_READ_CAP
mcp/servers/fedlex/src/domain.rs, line 1
//! The base-tier domain logic - TOOLSET-v0.md executed, extended by
mcp/servers/fedlex/tests/fixtures/96c4e6e461995083.xml, line 1
<?xml version="1.0" encoding="UTF-8"?><akomaNtoso xmlns="http://docs.oasis-open.org/legaldocml/ns/akn/3.0" xmlns:fedlex="http://fedlex.admin.ch/"><act name="publicLaw"><meta><ident
mcp/servers/fedlex/tests/fixtures/eab43cc254984dd0.xml, line 1
<?xml version="1.0" encoding="UTF-8"?><akomaNtoso xmlns="http://docs.oasis-open.org/legaldocml/ns/akn/3.0" xmlns:fedlex="http://fedlex.admin.ch/"><act name="publicLaw"><meta><ident
Licence
Pass
A licence file is present (LICENSE).
Maintainer activity
Pass
The latest commit is within the last 365 days.
Note
Hygiene check of commit 5652df3ac644. can reach a host that is not written as a fixed address. reads a credential or environment file. a file was over the read cap and was not fully read.
Date and source
Date checked:
github.com
Commit graded: 5652df3ac64400b17944b9053b62394f7cbf95c8
This link goes to the original host. PlugVet does not host or check what you download from there, and installing it is your own decision and risk.