detect-hidden-contracts

What problem does it solve?

This Skill finds implicit assumptions in code that can lead to runtime bugs, such as unvalidated environment variables, assumed object shapes, or temporal state requirements.

Core Features & Use Cases

• Detect Environment Variable Contracts: Identify code that assumes environment variables will always be set, potentially leading to silent errors or crashes.
• Detect Ordering Contracts: Detect code that relies on the correct execution order of functions, often through shared mutable state.
• Detect Shape Contracts: Find code that assumes certain object shapes without validation, leading to errors when these assumptions are violated.
• Detect Temporal Contracts: Identify code that relies on certain states being present at specific times, potentially causing subtle bugs.
• Detect Error Contracts: Find code that expects specific error types but may not handle other errors, leading to silent failures.
• Use Case: For a financial application, this Skill can help identify unvalidated environment variables used for critical operations, such as database connection strings.

Quick Start

Run the detect-hidden-contracts skill to analyze the codebase for hidden contracts in the current project.