Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Beschreibung vom Entwickler (englisches Original)
Authorization answers from real policy code: evaluate Rego locally, or ask an AuthZEN 1.0 PDP.
Diese drei werden nie zu einer Punktzahl zusammengefasst: Meinungen, Messungen und Beliebtheit sind verschiedene Dinge.
Für diesen Server haben wir noch keine Zusammenfassung in einfacher Sprache geschrieben. Unten stehen die Fakten, die wir aus der Registry gelesen haben.
Wähle die KI-App, die du nutzt, und kopiere die Einstellungen.
AUTHZEN_PDP_URL, AUTHZEN_PDP_TOKEN, AUTHZEN_PDP_TIMEOUT, MCP_OPA_EVAL_TIMEOUT, MCP_OPA_ALLOW_NETWORK_BUILTINSAls geheim markierte Werte sind Schlüssel zu deinem Konto. Gib sie nie weiter und füge sie nie in einen Chat ein.
Du brauchst
Welche App nutzt du?
Wähle oben deine App. Wir merken sie uns, damit der Button beim nächsten Mal „In … installieren“ anzeigt.
Öffne Claude Desktop → Settings → Developer → Edit Config und füge dies in claude_desktop_config.json ein
{
"mcpServers": {
"opa-authz": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"-e",
"AUTHZEN_PDP_URL",
"-e",
"AUTHZEN_PDP_TOKEN",
"-e",
"AUTHZEN_PDP_TIMEOUT",
"-e",
"MCP_OPA_EVAL_TIMEOUT",
"-e",
"MCP_OPA_ALLOW_NETWORK_BUILTINS",
"ghcr.io/kanywst/mcp-opa-authz:0.6.2"
],
"env": {
"AUTHZEN_PDP_URL": "your-value",
"AUTHZEN_PDP_TOKEN": "your-value",
"AUTHZEN_PDP_TIMEOUT": "your-value",
"MCP_OPA_EVAL_TIMEOUT": "your-value",
"MCP_OPA_ALLOW_NETWORK_BUILTINS": "your-value"
}
}
}
}Führe das in deinem Terminal aus
claude mcp add opa-authz --env AUTHZEN_PDP_URL=your-value --env AUTHZEN_PDP_TOKEN=your-value --env AUTHZEN_PDP_TIMEOUT=your-value --env MCP_OPA_EVAL_TIMEOUT=your-value --env MCP_OPA_ALLOW_NETWORK_BUILTINS=your-value -- docker run -i --rm -e AUTHZEN_PDP_URL -e AUTHZEN_PDP_TOKEN -e AUTHZEN_PDP_TIMEOUT -e MCP_OPA_EVAL_TIMEOUT -e MCP_OPA_ALLOW_NETWORK_BUILTINS ghcr.io/kanywst/mcp-opa-authz:0.6.2Trag die leeren Werte ein, bevor du ihn startest.
In .cursor/mcp.json in deinem Projekt oder in ~/.cursor/mcp.json einfügen
{
"mcpServers": {
"opa-authz": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"-e",
"AUTHZEN_PDP_URL",
"-e",
"AUTHZEN_PDP_TOKEN",
"-e",
"AUTHZEN_PDP_TIMEOUT",
"-e",
"MCP_OPA_EVAL_TIMEOUT",
"-e",
"MCP_OPA_ALLOW_NETWORK_BUILTINS",
"ghcr.io/kanywst/mcp-opa-authz:0.6.2"
],
"env": {
"AUTHZEN_PDP_URL": "your-value",
"AUTHZEN_PDP_TOKEN": "your-value",
"AUTHZEN_PDP_TIMEOUT": "your-value",
"MCP_OPA_EVAL_TIMEOUT": "your-value",
"MCP_OPA_ALLOW_NETWORK_BUILTINS": "your-value"
}
}
}
}Dein Browser fragt, ob er die App öffnen darf, dann zeigt die App die Einstellungen und bittet dich um Bestätigung. Schlüsselwerte bleiben leer, damit du sie selbst einträgst.
In .vscode/mcp.json in deinem Projekt einfügen
{
"servers": {
"opa-authz": {
"type": "stdio",
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"-e",
"AUTHZEN_PDP_URL",
"-e",
"AUTHZEN_PDP_TOKEN",
"-e",
"AUTHZEN_PDP_TIMEOUT",
"-e",
"MCP_OPA_EVAL_TIMEOUT",
"-e",
"MCP_OPA_ALLOW_NETWORK_BUILTINS",
"ghcr.io/kanywst/mcp-opa-authz:0.6.2"
],
"env": {
"AUTHZEN_PDP_URL": "your-value",
"AUTHZEN_PDP_TOKEN": "your-value",
"AUTHZEN_PDP_TIMEOUT": "your-value",
"MCP_OPA_EVAL_TIMEOUT": "your-value",
"MCP_OPA_ALLOW_NETWORK_BUILTINS": "your-value"
}
}
}
}Dein Browser fragt, ob er die App öffnen darf, dann zeigt die App die Einstellungen und bittet dich um Bestätigung. Schlüsselwerte bleiben leer, damit du sie selbst einträgst.
Dieser Server läuft auf deinem Computer, und ChatGPT kann sich nur mit Servern im Internet verbinden. Wähle eine andere App.
Deine Auswahl bleibt in einem Cookie auf diesem Gerät; kein Konto nötig.
AUTHZEN_PDP_URL envAUTHZEN_PDP_TIMEOUT envMCP_OPA_EVAL_TIMEOUT envMCP_OPA_ALLOW_NETWORK_BUILTINS envDiese Einstellungen werden aus dem Registry-Eintrag des Entwicklers erzeugt. Wenn in der README etwas anderes steht, folge der README.
Läuft auf deinem Computer; die Tool-Liste erscheint nach der Installation in deiner KI-App.
Wir prüfen Informationen, die jeder sehen kann; den Code haben wir nicht gelesen. Checks, die nicht zutreffen, werden nicht mitgezählt. · Geprüft am 7. Nov. 2026
Der Registry-Name wurde mit dem GitHub-Konto kanywst bestätigt, dem das Repo gehört
Dieses Repo haben wir noch nicht von GitHub gelesen
Dieses Repo haben wir noch nicht von GitHub gelesen
Dieser Server läuft auf deinem Computer; es gibt keinen Endpunkt im Internet
Läuft auf deinem Computer und nutzt stattdessen lokale Einstellungen
Läuft auf deinem Computer; Tool-Listen können wir nur von Endpunkten im Internet lesen
Verglichen mit allen aktiven Servern dieser Kategorie in der Registry. Sterne zählen nur, wenn dem Herausgeber das Repo gehört.
Er hat 1 von 1 zutreffenden Basischecks bestanden. Den Code haben wir nicht gelesen. Bevor du einen Schlüssel oder Token hinzufügst, sieh nach, welche Zugriffe der Server verlangt, und nutze einen Schlüssel, der nur die Berechtigungen hat, die du brauchst.
Das musst du eintragen: AUTHZEN_PDP_TOKEN
Er läuft auf deinem Computer. Deine KI-App startet ihn bei Bedarf, und die Daten laufen nicht über die Server des Entwicklers (außer der Server ruft selbst einen Onlinedienst auf).
Das GitHub-Repo wurde zuletzt – geändert, und die neueste Version (0.6.2) kam vor 13 Tagen in die Registry.
Apps, die MCP unterstützen, etwa Claude Desktop, Claude Code, Cursor und VS Code. Außerdem brauchst du Docker auf deinem Computer.
In derselben Kategorie: Spec Driven Development, Remote Desktop Commander, Asset Notation
Server derselben Kategorie von anderen Entwicklern, sortiert nach Sternen.
So liest du eine Karte:★ GitHub-SterneiDrei Säulen: Bewertungen · Checks · NutzungiAktualisiert = neueste Version in der Registry veröffentlichti
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Read and maintain an Asset Notation file on disk: net worth, holdings, valuations, CSV import.
Unverändert aus dem Repo des Entwicklers übernommen. PopNx MCP hat den Inhalt weder geprüft noch empfiehlt es ihn. HTML, Bilder und Skripte wurden entfernt. Links führen von dieser Website weg.
Stop letting your agent guess at authorization. This is an MCP server that answers "is this allowed?" from real policy code — either Rego you hand it, or the OpenID AuthZEN 1.0 PDP that actually governs your system.
Ask a model whether Alice may delete that document and it will produce a confident, plausible, unfalsifiable answer. Give it these tools and the answer comes from the policy.
brew install kanywst/tap/mcp-opa-authz
go install github.com/kanywst/mcp-opa-authz@latest
claude mcp add opa-authz -- mcp-opa-authz
That is enough for evaluate_policy. Point it at a PDP to get the rest:
claude mcp add opa-authz \
--env AUTHZEN_PDP_URL=http://localhost:8181/access/v1/evaluation \ -- mcp-opa-authz
| Tool | Answers | Needs |
|---|---|---|
evaluate_policy | "What does this Rego say?" Evaluated in-process by OPA. | Nothing external |
authzen_evaluate | "What does the PDP that governs this system say?" | A reachable PDP |
authzen_evaluate_batch | The same, over a list — which of these may the subject touch? | A reachable PDP |
authzen_search | "Who may…", "which resources may…", "what may…" — the PDP lists what is permitted. | A PDP with the Search APIs |
authzen_discover | "Which endpoints does this PDP offer?" | A reachable PDP |
Use evaluate_policy while authoring or debugging a policy you have the source of. Use authzen_evaluate when the decision has to come from production, not from a policy pasted into the chat. The server's MCP instructions tell the model the same thing, so it usually picks correctly on its own.
opa eval in a shell toolAn agent given shell access can already run opa eval. What it cannot do is get an answer it is allowed to trust:
[]. Every model reads that as a deny. evaluate_policy returns defined alongside value, so "the policy denied" and "the policy has no opinion" stop being the same answer.decision a required member. A response missing it decodes into a Go bool as false — a broken PDP would look like a strict one. This server treats a missing decision as a failure, never as a deny. Same for a 401: that means *this server* failed to authenticate, not that the subject was denied, and the error says so.http.send would let that policy make arbitrary HTTP requests from your laptop, and opa.runtime() would hand it your environment. Both are compiled out. See Security.permit_on_first_permit legitimately returns fewer decisions than you sent. Zipping the arrays would attach a decision to the wrong resource.results: [] means nothing is permitted; a response with no results member, or a result of the wrong entity type, is an error.Debugging a policy that is denying when it should not:
> Why is bob getting denied on doc-1? Here's the policy and the input.
evaluate_policy(rego=…, query="data.rbac.allow", input_json=…, trace=true)
{ "defined": true, "value": false, "printed": ["checking roles for", "bob"], "trace": [ "Enter data.rbac.allow", "| Eval some role in roles[input.user]", "| Fail roles[\"bob\"]", … ] }
Bob has no entry in roles at all — the rule never reaches the permission check. Adding "bob": {"viewer"} fixes it.
Then confirming against the PDP that actually runs:
> Does production agree?
authzen_evaluate(subject={"type":"user","id":"bob"}, …)
{ "decision": false, "context": { "reason": "no role binding" }, "request_id": "3f9c…", "pdp_url": "https://pdp.internal/access/v1/evaluation" }
evaluate_policy| Param | Required | Description |
|---|---|---|
rego | yes | Rego source with a package declaration. |
query | yes | Rego query, e.g. data.example.allow. |
input_json | no | JSON-encoded input document. |
data_json | no | JSON-encoded base document for the data namespace. |
rego_version | no | v1 (default) or v0 for pre-OPA-1.0 syntax. |
trace | no | Return a pretty-printed evaluation trace. Verbose; bounded at 4000 events, 200 lines, 1 KiB per line. |
Returns defined, value, the raw OPA result_set (omitted with result_set_omitted past 256 KiB encoded), any print() output (200 lines of 1 KiB), and the trace when asked for.
authzen_evaluate| Param | Required | Description |
|---|---|---|
subject | yes | JSON object. AuthZEN requires type and id. |
action | yes | JSON object. AuthZEN requires name. |
resource | yes | JSON object. AuthZEN requires type and id. |
context | no | JSON object with runtime context (IP, time, MFA strength). |
pdp_url | no | Override AUTHZEN_PDP_URL for this call. |
Returns decision, the PDP's context if any, the pdp_url that answered, and the request_id sent as X-Request-ID — so a decision in a transcript can be found in the PDP's logs.
authzen_evaluate_batchSame arguments, plus evaluations (a JSON array whose entries override the top-level defaults) and evaluations_semantic (execute_all, deny_on_first_deny, permit_on_first_permit). Capped at 100 entries per call. Without pdp_url, the endpoint is the access_evaluations_endpoint the PDP advertises in its metadata, or /access/v1/evaluations under the root of AUTHZEN_PDP_URL when it advertises none — the same resolution, cache and same-origin rule as authzen_search. endpoint_source in the result says which was used.
{
"subject": "{\"type\":\"user\",\"id\":\"alice\"}", "action": "{\"name\":\"read\"}", "evaluations": "[{\"resource\":{\"type\":\"doc\",\"id\":\"1\"}},{\"resource\":{\"type\":\"doc\",\"id\":\"2\"}}]" }
authzen_searchThe AuthZEN Search APIs. search picks which entity is being listed; that entity carries only its type.
search | Asks | subject | action | resource |
|---|---|---|---|---|
subject | Who may do this to that resource? | type only | required | type and id |
resource | Which resources of a type may the subject act on? | type and id | required | type only |
action | What may the subject do to the resource? | type and id | must be omitted | type and id |
context, pdp_url, page_limit and page_token are optional. Without pdp_url, the endpoint is the one the PDP advertises in its metadata (search_subject_endpoint etc.), as the specification requires, falling back to the default path (/access/v1/search/{subject,resource,action}) under the root of AUTHZEN_PDP_URL when it has no usable metadata. The metadata is cached per PDP for five minutes, and endpoint_source in the result says which one was used. An advertised endpoint has to be on the PDP's own origin, because the PDP token goes with the request; a cross-origin one is refused unless passed explicitly as pdp_url. Returns results, has_more and next_page_token; pass the token back as page_token, with every other argument unchanged, for the next page. A response whose page object has no next_token is an error even though the specification's own example has one: without it nothing says whether the list is complete.
{
"search": "resource", "subject": "{\"type\":\"user\",\"id\":\"alice\"}", "action": "{\"name\":\"read\"}", "resource": "{\"type\":\"document\"}" }
authzen_discoverFetches /.well-known/authzen-configuration from a PDP root. pdp_url may be a root or an evaluation endpoint — the known AuthZEN path suffix is stripped. For a PDP mounted under a prefix, the well-known string goes between the host and the prefix, as RFC 8615 and the specification place it (https://gw.example.com/.well-known/authzen-configuration/pdp); the older appended form (…/pdp/.well-known/authzen-configuration) is tried if that 404s. A document whose policy_decision_point is not the root it was fetched from is rejected, as the specification requires.
Implements Authorization API 1.0, approved as an OpenID Final Specification in January 2026:
| Section | Status |
|---|---|
Access Evaluation (POST /access/v1/evaluation) | authzen_evaluate |
Access Evaluations, batch (POST /access/v1/evaluations) | authzen_evaluate_batch |
PDP Metadata (GET /.well-known/authzen-configuration) | authzen_discover |
| Subject / Action / Resource information model | Required members validated before the request is sent |
X-Request-ID correlation | Sent on every call, returned in the result |
| Search APIs (subject / resource / action, with pagination) | authzen_search |
Related work worth knowing about: the AuthZEN working group's COAZ profile binds AuthZEN to MCP tool calls themselves, so a gateway can authorize tools/call with an x-authzen-mapping declared in a tool's inputSchema. That is the enforcement side of the same problem — this server is the *inspection* side, and the two compose.
| Variable | Default | Description |
|---|---|---|
AUTHZEN_PDP_URL | — | Default Access Evaluation endpoint. |
AUTHZEN_PDP_TOKEN | — | Authorization header value. A value with no scheme is sent as Bearer . |
AUTHZEN_PDP_TIMEOUT | 10s | Per-request timeout. |
AUTHZEN_PDP_MAX_RESPONSE_BYTES | 1048576 | Response read limit. |
MCP_OPA_EVAL_TIMEOUT | 5s | Wall-clock limit on one Rego evaluation. |
MCP_MAX_ARG_BYTES | 1048576 | Per-argument size limit. |
MCP_OPA_ALLOW_NETWORK_BUILTINS | false | Re-enable the network built-ins. See below. |
A malformed value stops the server at startup rather than being silently replaced by the default — a bound an operator believes is in place should be in place.
evaluate_policy compiles and runs Rego that a model produced, inside this process. Three OPA built-ins are removed from the capability set for that reason:
| Built-in | Why |
|---|---|
http.send | Arbitrary HTTP from wherever the server runs — a laptop or CI runner, inside whatever network boundary that sits behind. It is the whole SSRF surface, and it contradicts the tool's own description. |
net.lookup_ip_addr | Enough to exfiltrate input one DNS label at a time, with no port reachable. |
opa.runtime | Returns the runtime configuration, including the process environment and every credential in it. |
Time, JWT, UUID and random built-ins are untouched — those appear in real authorization policies. A policy using a removed built-in fails to compile with a message naming it, and pointing at MCP_OPA_ALLOW_NETWORK_BUILTINS for the cases where you genuinely want it.
The PDP client is constrained too: pdp_url must be an absolute http(s)
Nur der Anfang wird gezeigt; den Rest findest du im Repo