acsl-annotation-assistant
Create ACSL (ANSI/ISO C Specification Language) formal annotations for C/C++ programs. Use this skill when working with formal verification, adding function contracts (requires/ensures), loop invariants, assertions, memory safety annotations, or any ACSL specifications. Supports Frama-C verification and generates comprehensive formal specifications for C/C++ code.
91
1.03x
Quality
86%
Does it follow best practices?
Impact
100%
1.03xAverage score across 3 eval scenarios
Securityby
Passed
No known issues
No security issues found
Scanned
- Repository
- ArabelaTso/Skills-4-SE
- Commit
0f00a4f
- Audited
- Security analysis
Is this your skill?
If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.