OPA MCP
NPM · @ORYGN/OPA-MCP · 2 COMPONENTS · SCANNED AUG 3
Author, validate, debug, and explain OPA Rego policies through any MCP-compatible client.
Available components
How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. How we score →
Supply Chain Security89
- No malware found by supply-chain analysis.Pass
- Only part of the dependency tree could be resolved (103 of 107), so this covers what we could see, not the whole tree.Partial
- No install/post-install scripts declared.Pass
- Only part of the dependency tree could be resolved (103 of 107), so this covers what we could see, not the whole tree. View diagnostics → Partial
Provenance & Transparency97
- Source repository is publicly reachable at the declared URL. View diagnostics → Pass
- Cryptographically verified build provenance (signed, bound to OrygnsCode/opa-mcp-server). View diagnostics → Pass
- Clear OSI-approved license (MIT).Pass
- Actively maintained (last published 38 days ago).Pass
- Disclosure check failed: no security disclosure policy was found in the source repository. See how to fix → Fail
Schema Quality & AI Usability79
- 100% of prompts and resources have a non-trivial description (not blank, and not just the item's name).Pass
- AI-judged instruction clarity (excellent).Pass
- Context-footprint check failed: tool/resource definitions use about 10903 tokens (~198/item across 55 items; 52 tools + 3 resources), over budget; trim descriptions and params. See how to fix → Fail
- Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management27
- Stability observed for 8 of 30 days with no destabilising changes; credit accrues until the full window elapses.Partial
Tool Coverage100
- 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
- 100% of tool parameters carry a description.Pass
Capabilities100
- Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.Pass
Add this component to your MCP client. Where a client-specific snippet is available, pick your client below and copy it straight into your config; otherwise use the connection detail shown.
npm · @orygn/opa-mcp
claude mcp add orygnscode-opa-mcp -- npx -y @orygn/opa-mcp
codex mcp add orygnscode-opa-mcp -- npx -y @orygn/opa-mcp
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"orygnscode-opa-mcp": {
"type": "local",
"command": [
"npx",
"-y",
"@orygn/opa-mcp"
],
"enabled": true
}
}
} openclaw mcp add orygnscode-opa-mcp --command npx --arg -y --arg @orygn/opa-mcp
mcp_servers:
orygnscode-opa-mcp:
command: "npx"
args: ["-y", "@orygn/opa-mcp"] {
"mcpServers": {
"orygnscode-opa-mcp": {
"command": "npx",
"args": [
"-y",
"@orygn/opa-mcp"
]
}
}
} Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.
- 3 Aug 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 23 to 27. That category is still filling its 30-day observation window: 7 days of observed history at the previous scan, 8 at this one. The score rises as the window fills, whether or not the server changes.
- 2 Aug 26 +44
- Provenance: unverified → pass ▲ security
- Known CVEs: unverified → partial ▲ security
- Install scripts: unverified → pass ▲ security
- Malware scan: unverified → pass ▲ security
- The attested source repository moved: OrygnsCode/opa-mcp-server security
- License: unverified → pass ▲ functional
- Dependency health: unverified → partial ▲ functional
- Maintenance: unverified → pass ▲ functional
- Stability: unverified → 0.23 ▲ functional
- Licence: MIT functional
- 1 Aug 26 +31
- Stability: Stability not yet verified: not enough scan history yet (needs a 30-day window). security
- Tool coverage: unverified → 100 ▲ functional
- Schema quality: unverified → 100 ▲ functional
- MCP protocol: unverified → pass ▲ functional
- 31 Jul 26 −58
- We updated how we score, so this day's move reflects our rubric, not a change to the server See what changed → functional
- 30 Jul 26 −30
- Known CVEs: partial → unverified ▼ security
- Malware scan: pass → unverified ▼ security
- Dependency health: partial → unverified ▼ functional
- 29 Jul 26 +42
- Install scripts: unverified → pass ▲ security
- Provenance: unverified → pass ▲ security
- Known CVEs: unverified → partial ▲ security
- The attested source repository moved: OrygnsCode/opa-mcp-server security
- License: unverified → pass ▲ functional
- Schema quality: unverified → excellent ▲ functional
- Dependency health: unverified → partial ▲ functional
- Maintenance: unverified → pass ▲ functional
- Licence: MIT functional
- 27 Jul 26 51
First indexed and scored.
Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.
Captured 3 Aug 2026 · Analysed npm/@orygn/[email protected]
Provenance verified
Ecosystem: npm · Outcome: verified
Reason: verified
- Source repo:
- OrygnsCode/opa-mcp-server
- Certificate issuer:
- https://token.actions.githubusercontent.com
- Certificate SAN:
- https://github.com/OrygnsCode/opa-mcp-server/.github/workflows/release.yml@refs/tags/v0.2.1
- Rekor log index:
- 1955107313
- Predicate type:
- https://slsa.dev/provenance/v1
- Subject digest:
- sha512:34c609c4b9125dee8bcb0524590fd13bd0d53990f198965222fd1acbb92df914f9a9e1a9272e0a3faadae81499c7ff36cb8cb2635fc034e666c11d5aa
- Discovery method:
- attestation_endpoint
Dependencies 103 packages
103 packages in the resolved dependency tree · 97 deprecated · 30 stale.
The dependency tree was only partially resolved, so these counts may be incomplete.
The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability.
rego_test_multiroot Run Rego tests across multiple roots ~561
Run `opa test` once per root and aggregate results. Solves the package-conflict problem that occurs when `opa test .` is run on a repo with multiple independent package namespaces (OPA issue #4724). Two modes: `explicit` (supply root list with optional per-root `include` paths for shared libraries) and `scan` (auto-discover leaf test roots using the leaf rule -- a directory is a root only if it directly contains `*_test.rego` files and none of its eligible subdirectories do, preventing OPA's automatic recursion from double-running tests). Use `sharedPaths` in scan mode to add shared library directories to every root's invocation without including them in discovery. Coverage and threshold work per-root; `overallCoveragePct` is the mean across roots that have coverage data.
| Name | Type | Req | Description |
|---|---|---|---|
| coverage | boolean | — | Include per-line coverage data per root. Switches output to coverage-report mode: test record counts are not available, but `coverage`, `coveragePct`, and `overallCoveragePct` fields are populated. |
| ignorePatterns | array | — | Additional directory name patterns to skip during scan (e.g., ["vendor", "*.generated"]). Supports `*` wildcards. Only used with `scanDir`. |
| maxDepth | integer | — | Maximum directory depth to scan. Default: 10. Only used with `scanDir`. |
| maxRoots | integer | — | Maximum number of test roots allowed. Returns INVALID_INPUT if scan finds more. Default: 50. Only used with `scanDir`. |
| roots | array | — | Explicit list of test root directories. Use when roots are known upfront or when scan mode cannot determine the correct roots. Mutually exclusive with `scanDir`. |
| runPattern | string | — | Run only tests whose names match this regular expression (passed as `--run` to each root). |
| scanDir | string | — | Top-level directory to scan for test roots. Uses the leaf rule: a directory is a root only if it directly contains `*_test.rego` files and none of its eligible subdirectories do. Mutually exclusive w… |
| sharedPaths | array | — | Paths added to every root's `opa test` invocation and excluded from auto-discovery. Use for shared library directories that all roots import from. |
| threshold | number | — | Minimum coverage percentage required per root (0-100). Roots below threshold have `thresholdMet: false` in their result. Implicitly enables coverage-report output mode. |
| varValues | boolean | — | Include local variable bindings in trace output (`--var-values`). Only useful with `verbose: true`. |
| verbose | boolean | — | Emit per-test pass/fail details for each root. |
No output schema declared.
No examples provided.
rego_verify Formally verify a Rego policy rule ~239
Formally verify a property about a Rego rule using SMT solving (Microsoft Z3). Unlike testing, this checks ALL possible inputs and either proves the property holds or returns a concrete counterexample input that falsifies it. Supports equality, comparison, startswith, endswith, contains, and simple regex.match patterns (prefix: ^lit.*, suffix: .*lit$, exact: ^lit$, contains: .*lit.*, wildcard: .*). Complex regex patterns (character classes, quantifiers, alternation) return INCONCLUSIVE. Also reports INCONCLUSIVE for negation-as-failure (not), comprehensions, and other unsupported constructs.
| Name | Type | Req | Description |
|---|---|---|---|
| kind | string | yes | Property to prove: always_true - rule is true for every possible input (finds inputs that violate this) never_true - rule is never true for any input (finds inputs that trigger it) satisfiab… |
| rule | string | yes | Name of the rule to verify (e.g. "allow", "deny"). |
| source | string | yes | Rego source to verify. |
No output schema declared.
No examples provided.