contract-shield-cli/package.json

A CLI tool that verifies preconditions, postconditions, and invariants in contracts without altering their original source code. `contract-shield-cli` enforces Design by Contract principles externally, ensuring contracts behave as expected while preservin

{
  "name": "contract-shield-cli",
  "version": "0.2.1",
  "description": "A CLI tool that verifies preconditions, postconditions, and invariants in contracts without altering their original source code. `contract-shield-cli` enforces Design by Contract principles externally, ensuring contracts behave as expected while preserving their integrity.",
  "main": "index.js",
  "bin": {
    "contract-shield": "./src/cli.js"
  },
  "scripts": {
    "test": "jest",
    "start": "node index.js"
  },
  "keywords": [
    "static-analysis",
    "developer-tools",
    "software-engineering",
    "formal-methods",
    "program-verification",
    "automated-testing",
    "debugging-tools",
    "secure-coding",
    "design-by-contract",
    "runtime-verification",
    "source-code-analysis",
    "cli-tool",
    "runtime-analysis",
    "code-instrumentation",
    "source-code-modification",
    "programming-language-tools",
    "contracts-validation",
    "preconditions-postconditions",
    "invariants-checking",
    "verification-framework"
  ],
  "author": {
    "name": "Ion Gireada",
    "url": "https://github.com/ioncakephper/contract-shield-cli"
  },
  "repository": {
    "type": "git",
    "url": "https://github.com/ioncakephper/contract-shield-cli.git"
  },
  "license": "MIT",
  "dependencies": {
    "ansi-colors": "^4.1.3",
    "commander": "^14.0.0",
    "winston": "^3.17.0"
  },
  "devDependencies": {
    "jest": "^29.7.0"
  }
}