code-completion-semantic-constraints

What problem does it solve?

This Skill automates the completion of partial code snippets, ensuring that the generated code adheres to specified semantic constraints, leading to more robust and correct software.

Core Features & Use Cases

• Constraint-Aware Completion: Generates code that satisfies type constraints, invariants, behavioral requirements, and interface contracts.
• Verification Test Generation: Automatically creates tests to validate that the completed code meets all specified constraints.
• Detailed Reporting: Provides a report explaining how each constraint was satisfied by the generated code.
• Use Case: Complete a Python function that sorts a list of integers while ensuring it handles empty lists and maintains O(n log n) time complexity.

Quick Start

Use the code-completion-semantic-constraints skill to complete the provided Python function stub, ensuring it returns unique sorted elements from a list of integers.