{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:npm/contract-shield-cli","name":"contract-shield-cli","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 preservin","version":"0.2.1","softwareVersion":"0.2.1","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/ioncakephper/contract-shield-cli","issueTracker":"https://github.com/ioncakephper/contract-shield-cli/issues","url":"https://github.com/ioncakephper/contract-shield-cli#readme","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"],"programmingLanguage":{"@type":"ComputerLanguage","name":"JavaScript"},"maintainer":[{"@type":"Person","name":"shytiger"}],"author":[{"@type":"Person","name":"shytiger"}],"copyrightHolder":[{"@type":"Person","name":"shytiger"}],"dateCreated":"2025-06-02","dateModified":"2025-06-12","datePublished":"2025-06-12","copyrightYear":2025,"downloadUrl":"https://registry.npmjs.org/contract-shield-cli/-/contract-shield-cli-0.2.1.tgz","applicationCategory":"npm","runtimePlatform":"npm","developmentStatus":"active","sameAs":["https://www.npmjs.com/package/contract-shield-cli"]}