suggest-specs

To generate formal specifications from code, provide a target function, file, or directory for analysis. The Skill evaluates code structure, existing tests, and change history to propose candidate preconditions, postconditions, and invariants.

Identifying code functions for formal verification involves analyzing code structure, existing tests, and change history. This Skill targets functions and modules with complex logic, proposing natural language specifications to improve reliability and testing.

Yes, specification generation works with Python files. You provide a Python file as input, and the Skill suggests formal specifications that can be turned into verification tasks, improving code quality and documentation.

To suggest preconditions and postconditions, the Skill evaluates code targets based on structural analysis and recent changes. It uses this context to recommend relevant formal specifications that enhance verification and documentation.

Use natural language proposals for code documentation and verification when you need to formalize complex logic or improve code reliability. The Skill generates these proposals to guide formal verification efforts and enhance testing.