Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
คำอธิบายจากผู้ทำ (ภาษาอังกฤษตามต้นฉบับ)
Authorization answers from real policy code: evaluate Rego locally, or ask an AuthZEN 1.0 PDP.
สามเรื่องนี้ไม่รวมเป็นคะแนนเดียว เพราะความเห็น การวัด และความนิยม เป็นคนละเรื่องกัน
ตัวนี้ยังไม่ได้เรียบเรียงเป็นภาษาไทย ด้านล่างคือข้อเท็จจริงที่เราอ่านจาก registry
เลือกโปรแกรม AI ที่คุณใช้ แล้วคัดลอกค่าตั้งไปวาง
AUTHZEN_PDP_URL, AUTHZEN_PDP_TOKEN, AUTHZEN_PDP_TIMEOUT, MCP_OPA_EVAL_TIMEOUT, MCP_OPA_ALLOW_NETWORK_BUILTINSค่าที่ติดป้ายความลับคือกุญแจของบัญชีคุณ อย่าส่งให้ใคร และอย่าวางในแชต
ต้องเตรียมก่อน
คุณใช้แอปไหน
เลือกแอปด้านบน เราจำไว้ให้ ครั้งหน้าปุ่มจะขึ้นว่า “ติดตั้งลง …”
เปิด Claude Desktop → Settings → Developer → Edit Config แล้ววางค่านี้ในไฟล์ claude_desktop_config.json
{
"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": "ใส่ค่าของคุณ",
"AUTHZEN_PDP_TOKEN": "ใส่ค่าของคุณ",
"AUTHZEN_PDP_TIMEOUT": "ใส่ค่าของคุณ",
"MCP_OPA_EVAL_TIMEOUT": "ใส่ค่าของคุณ",
"MCP_OPA_ALLOW_NETWORK_BUILTINS": "ใส่ค่าของคุณ"
}
}
}
}พิมพ์คำสั่งนี้ใน Terminal
claude mcp add opa-authz --env AUTHZEN_PDP_URL='ใส่ค่าของคุณ' --env AUTHZEN_PDP_TOKEN='ใส่ค่าของคุณ' --env AUTHZEN_PDP_TIMEOUT='ใส่ค่าของคุณ' --env MCP_OPA_EVAL_TIMEOUT='ใส่ค่าของคุณ' --env MCP_OPA_ALLOW_NETWORK_BUILTINS='ใส่ค่าของคุณ' -- 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.2เติมค่าที่เว้นว่างไว้ก่อนรัน
วางในไฟล์ .cursor/mcp.json ของโปรเจกต์ หรือ ~/.cursor/mcp.json
{
"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": "ใส่ค่าของคุณ",
"AUTHZEN_PDP_TOKEN": "ใส่ค่าของคุณ",
"AUTHZEN_PDP_TIMEOUT": "ใส่ค่าของคุณ",
"MCP_OPA_EVAL_TIMEOUT": "ใส่ค่าของคุณ",
"MCP_OPA_ALLOW_NETWORK_BUILTINS": "ใส่ค่าของคุณ"
}
}
}
}เบราว์เซอร์จะถามก่อนเปิดแอป จากนั้นแอปแสดงค่าตั้งให้ตรวจแล้วกดยืนยัน ช่อง key เว้นว่างไว้ให้คุณใส่เอง
วางในไฟล์ .vscode/mcp.json ของโปรเจกต์
{
"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": "ใส่ค่าของคุณ",
"AUTHZEN_PDP_TOKEN": "ใส่ค่าของคุณ",
"AUTHZEN_PDP_TIMEOUT": "ใส่ค่าของคุณ",
"MCP_OPA_EVAL_TIMEOUT": "ใส่ค่าของคุณ",
"MCP_OPA_ALLOW_NETWORK_BUILTINS": "ใส่ค่าของคุณ"
}
}
}
}เบราว์เซอร์จะถามก่อนเปิดแอป จากนั้นแอปแสดงค่าตั้งให้ตรวจแล้วกดยืนยัน ช่อง key เว้นว่างไว้ให้คุณใส่เอง
ตัวนี้รันในเครื่องคุณ แต่ ChatGPT ต่อได้เฉพาะ server บนอินเทอร์เน็ต ลองเลือกแอปอื่น
ตัวเลือกเก็บในคุกกี้บนเครื่องนี้ ไม่ต้องมีบัญชี
AUTHZEN_PDP_URL envAUTHZEN_PDP_TIMEOUT envMCP_OPA_EVAL_TIMEOUT envMCP_OPA_ALLOW_NETWORK_BUILTINS envค่าตั้งนี้สร้างจากข้อมูลใน registry ของผู้ทำ ถ้าไม่ตรงกับ README ให้เชื่อ README
รันในเครื่องคุณ รายการเครื่องมือจะขึ้นในแอป AI หลังติดตั้ง
เราตรวจจากข้อมูลที่ใครก็เปิดดูได้ ยังไม่ได้อ่านโค้ด ข้อที่ไม่เกี่ยวกับตัวนี้ไม่นับในตัวหาร · ตรวจเมื่อ 7 พ.ย. 2569
ชื่อใน registry ยืนยันด้วยบัญชี GitHub kanywst ซึ่งเป็นเจ้าของ repo
ยังไม่ได้อ่านข้อมูล repo จาก GitHub
ยังไม่ได้อ่านข้อมูล repo จาก GitHub
ตัวนี้รันบนเครื่องคุณ ไม่มี endpoint บนอินเทอร์เน็ต
ตัวนี้รันบนเครื่อง ใช้ค่าที่ตั้งในเครื่องแทน
รันในเครื่องคุณ เราอ่านรายการเครื่องมือได้เฉพาะตัวที่มี endpoint บนอินเทอร์เน็ต
เทียบกับทุก server ที่ยังใช้งานในหมวดนี้ทั้งทะเบียน ดาวนับเฉพาะเมื่อผู้ลงทะเบียนเป็นเจ้าของ repo
จากการตรวจเบื้องต้นของเรา ผ่าน 1 จาก 1 ข้อที่ตรวจได้ เรายังไม่ได้อ่านโค้ด ก่อนใส่กุญแจหรือ token ให้ดูว่า server ขอสิทธิ์อะไร และเลือกกุญแจที่ทำได้เท่าที่จำเป็น
ต้องใส่ค่าเหล่านี้: AUTHZEN_PDP_TOKEN
รันบนเครื่องของคุณ โปรแกรม AI จะเปิด server ขึ้นมาเองเมื่อใช้ ข้อมูลไม่ต้องผ่านเซิร์ฟเวอร์ของผู้ทำ (ยกเว้นตัวที่ไปเรียกบริการออนไลน์ต่อ)
repo บน GitHub มีการแก้โค้ดล่าสุด – และส่งรุ่นล่าสุด (0.6.2) เข้า registry 13 วันที่ผ่านมา
โปรแกรมที่รองรับ MCP เช่น Claude Desktop, Claude Code, Cursor และ VS Code ตัวนี้ต้องมี Docker ในเครื่องด้วย
ในหมวดเดียวกันมี Spec Driven Development, Remote Desktop Commander, Foliosio
server หมวดเดียวกันจากผู้ทำคนอื่น เรียงตามดาว
อ่านการ์ด:★ ดาว GitHubiสามเสา: รีวิว · ผลตรวจ · การใช้งานiอัปเดต = วันที่ส่งรุ่นล่าสุดเข้า registryi
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 your support inbox, tag conversations and save draft replies from your AI agent. Never sends.
ส่วนนี้คัดจาก repo ของผู้ทำตามต้นฉบับ PopNx MCP ไม่ได้ตรวจหรือรับรองเนื้อหา ตัด HTML รูปภาพ และสคริปต์ออกแล้ว ลิงก์จะพาออกนอกเว็บ
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)
ตัดมาแค่ช่วงต้น อ่านต่อใน repo