Home / Skills / acsl-annotation-assistant
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.
Why this score
This repo hosts 10 skills, so its 256 stars are split between them (about 26 each) for scoring.
Popularity score: 57/100 from public GitHub signals only. It shows how widely used and maintained this is, not how well it works. Not included yet: the fake-star check. The security scan is shown separately and doesn't change the score. How we rank
Security
Scanned Oct 20, 2026 at commit 4f38503747e0, with Cisco's open-source skill-scanner.
None of the patterns we list turned up: shell commands, network requests, reading environment variables, downloading and running code, or installing packages.
A scan lists patterns in the code. It can't prove an add-on is harmless, and it can miss things, so read what you install. How we scan
Alternatives
Other makers' add-ons that do the same job, next to this one.
| Name | Score | Stars | Context | Updated |
|---|---|---|---|---|
| This oneacsl-annotation-assistant ArabelaTso/Skills-4-SE · Skill | 57 | ★ 256 | ≈98 always | 3mo ago |
| chart-annotation ginlix-ai/LangAlpha · Skill Both about annotation | 68 | ★ 1.8k | ≈59 always | 16d ago |
| figma-annotations southleft/figma-console-mcp-skills · Skill Both about annotation | 52 | ★ 92 | ≈155 always | 3mo ago |