@orygn/opa-mcp 0.1.11 → 0.1.12

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (53) hide show
  1. package/CHANGELOG.md +68 -1
  2. package/README.md +18 -17
  3. package/dist/constants.d.ts +1 -1
  4. package/dist/constants.js +1 -1
  5. package/dist/lib/rego-ast-types.d.ts +81 -0
  6. package/dist/lib/rego-ast-types.d.ts.map +1 -0
  7. package/dist/lib/rego-ast-types.js +9 -0
  8. package/dist/lib/rego-ast-types.js.map +1 -0
  9. package/dist/lib/rego-ast-walker.d.ts +21 -0
  10. package/dist/lib/rego-ast-walker.d.ts.map +1 -0
  11. package/dist/lib/rego-ast-walker.js +491 -0
  12. package/dist/lib/rego-ast-walker.js.map +1 -0
  13. package/dist/lib/rego-counterexample.d.ts +32 -0
  14. package/dist/lib/rego-counterexample.d.ts.map +1 -0
  15. package/dist/lib/rego-counterexample.js +75 -0
  16. package/dist/lib/rego-counterexample.js.map +1 -0
  17. package/dist/lib/rego-ir.d.ts +117 -0
  18. package/dist/lib/rego-ir.d.ts.map +1 -0
  19. package/dist/lib/rego-ir.js +7 -0
  20. package/dist/lib/rego-ir.js.map +1 -0
  21. package/dist/lib/rego-property-parser.d.ts +34 -0
  22. package/dist/lib/rego-property-parser.d.ts.map +1 -0
  23. package/dist/lib/rego-property-parser.js +60 -0
  24. package/dist/lib/rego-property-parser.js.map +1 -0
  25. package/dist/lib/rego-smt-encoder.d.ts +57 -0
  26. package/dist/lib/rego-smt-encoder.d.ts.map +1 -0
  27. package/dist/lib/rego-smt-encoder.js +499 -0
  28. package/dist/lib/rego-smt-encoder.js.map +1 -0
  29. package/dist/lib/rego-type-inferencer.d.ts +26 -0
  30. package/dist/lib/rego-type-inferencer.d.ts.map +1 -0
  31. package/dist/lib/rego-type-inferencer.js +138 -0
  32. package/dist/lib/rego-type-inferencer.js.map +1 -0
  33. package/dist/lib/rego-verify-engine.d.ts +37 -0
  34. package/dist/lib/rego-verify-engine.d.ts.map +1 -0
  35. package/dist/lib/rego-verify-engine.js +236 -0
  36. package/dist/lib/rego-verify-engine.js.map +1 -0
  37. package/dist/lib/rego-z3.d.ts +13 -0
  38. package/dist/lib/rego-z3.d.ts.map +1 -0
  39. package/dist/lib/rego-z3.js +29 -0
  40. package/dist/lib/rego-z3.js.map +1 -0
  41. package/dist/tools/helpers/index.d.ts.map +1 -1
  42. package/dist/tools/helpers/index.js +2 -0
  43. package/dist/tools/helpers/index.js.map +1 -1
  44. package/dist/tools/helpers/verify.d.ts +4 -0
  45. package/dist/tools/helpers/verify.d.ts.map +1 -0
  46. package/dist/tools/helpers/verify.js +75 -0
  47. package/dist/tools/helpers/verify.js.map +1 -0
  48. package/dist/tools/index.d.ts +3 -2
  49. package/dist/tools/index.d.ts.map +1 -1
  50. package/dist/tools/index.js.map +1 -1
  51. package/dist/types.d.ts +1 -1
  52. package/dist/types.d.ts.map +1 -1
  53. package/package.json +7 -5
package/dist/types.d.ts CHANGED
@@ -2,7 +2,7 @@
2
2
  * Shared types used across tools, prompts, and resources.
3
3
  */
4
4
  /** Standard error codes returned by tools. */
5
- export type ToolErrorCode = 'INVALID_INPUT' | 'OPA_BINARY_NOT_FOUND' | 'REGAL_NOT_FOUND' | 'REGAL_VERSION_TOO_OLD' | 'CONFTEST_NOT_FOUND' | 'INVALID_REGO' | 'INVALID_BUNDLE' | 'EVAL_ERROR' | 'PATH_NOT_ALLOWED' | 'PATH_NOT_FOUND' | 'OPA_UNREACHABLE' | 'OPA_AUTH_FAILED' | 'POLICY_NOT_FOUND' | 'DATA_NOT_FOUND' | 'DEPENDENCY_CONFLICT' | 'NO_TESTS_FOUND' | 'HTTP_SEND_BLOCKED' | 'TIMEOUT' | 'CANCELLED' | 'UNKNOWN_ERROR';
5
+ export type ToolErrorCode = 'INVALID_INPUT' | 'OPA_BINARY_NOT_FOUND' | 'REGAL_NOT_FOUND' | 'REGAL_VERSION_TOO_OLD' | 'CONFTEST_NOT_FOUND' | 'INVALID_REGO' | 'INVALID_BUNDLE' | 'EVAL_ERROR' | 'PATH_NOT_ALLOWED' | 'PATH_NOT_FOUND' | 'OPA_UNREACHABLE' | 'OPA_AUTH_FAILED' | 'POLICY_NOT_FOUND' | 'DATA_NOT_FOUND' | 'DEPENDENCY_CONFLICT' | 'NO_TESTS_FOUND' | 'HTTP_SEND_BLOCKED' | 'TIMEOUT' | 'CANCELLED' | 'VERIFY_INCONCLUSIVE' | 'Z3_INIT_ERROR' | 'UNKNOWN_ERROR';
6
6
  /** Structured error payload. */
7
7
  export interface ToolError {
8
8
  code: ToolErrorCode;
package/dist/types.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,8CAA8C;AAC9C,MAAM,MAAM,aAAa,GACrB,eAAe,GACf,sBAAsB,GACtB,iBAAiB,GACjB,uBAAuB,GACvB,oBAAoB,GACpB,cAAc,GACd,gBAAgB,GAChB,YAAY,GACZ,kBAAkB,GAClB,gBAAgB,GAChB,iBAAiB,GACjB,iBAAiB,GACjB,kBAAkB,GAClB,gBAAgB,GAChB,qBAAqB,GACrB,gBAAgB,GAChB,mBAAmB,GACnB,SAAS,GACT,WAAW,GACX,eAAe,CAAC;AAEpB,gCAAgC;AAChC,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,aAAa,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,GAAG,OAAO;IACvC,EAAE,EAAE,OAAO,CAAC;IACZ,IAAI,CAAC,EAAE,CAAC,CAAC;IACT,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB"}
1
+ {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,8CAA8C;AAC9C,MAAM,MAAM,aAAa,GACrB,eAAe,GACf,sBAAsB,GACtB,iBAAiB,GACjB,uBAAuB,GACvB,oBAAoB,GACpB,cAAc,GACd,gBAAgB,GAChB,YAAY,GACZ,kBAAkB,GAClB,gBAAgB,GAChB,iBAAiB,GACjB,iBAAiB,GACjB,kBAAkB,GAClB,gBAAgB,GAChB,qBAAqB,GACrB,gBAAgB,GAChB,mBAAmB,GACnB,SAAS,GACT,WAAW,GACX,qBAAqB,GACrB,eAAe,GACf,eAAe,CAAC;AAEpB,gCAAgC;AAChC,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,aAAa,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,GAAG,OAAO;IACvC,EAAE,EAAE,OAAO,CAAC;IACZ,IAAI,CAAC,EAAE,CAAC,CAAC;IACT,KAAK,CAAC,EAAE,SAAS,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@orygn/opa-mcp",
3
- "version": "0.1.11",
3
+ "version": "0.1.12",
4
4
  "mcpName": "io.github.OrygnsCode/opa-mcp",
5
5
  "description": "Model Context Protocol server for Open Policy Agent (OPA). Author, validate, debug, and explain Rego policies through any MCP-compatible client.",
6
6
  "type": "module",
@@ -64,20 +64,22 @@
64
64
  },
65
65
  "dependencies": {
66
66
  "@modelcontextprotocol/sdk": "^1.29.0",
67
+ "z3-solver": "^4.16.0",
67
68
  "zod": "^3.23.0"
68
69
  },
69
70
  "devDependencies": {
70
- "@types/node": "^20.14.0",
71
+ "@eslint/js": "^10.0.1",
72
+ "@types/node": "^25.9.1",
71
73
  "@typescript-eslint/eslint-plugin": "^8.0.0",
72
74
  "@typescript-eslint/parser": "^8.0.0",
73
75
  "@vitest/coverage-v8": "^4.1.5",
74
- "eslint": "^9.10.0",
75
- "eslint-config-prettier": "^9.1.0",
76
+ "eslint": "^10.4.0",
77
+ "eslint-config-prettier": "^10.1.8",
76
78
  "globals": "^17.6.0",
77
79
  "prettier": "^3.3.0",
78
80
  "rimraf": "^6.0.0",
79
81
  "tsx": "^4.19.0",
80
- "typescript": "^5.6.0",
82
+ "typescript": "^6.0.3",
81
83
  "vitest": "^4.1.5"
82
84
  },
83
85
  "publishConfig": {