Home / Skills / abstract-invariant-generator
abstract-invariant-generator
Uses abstract interpretation to automatically infer loop invariants, function preconditions, and postconditions for formal verification. Generates invariants that capture program behavior and support correctness proofs in Dafny, Isabelle, Coq, and other verification systems. Use when adding formal specifications to code, generating verification conditions, inferring contracts for functions, or discovering loop invariants for proofs.
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 oneabstract-invariant-generator ArabelaTso/Skills-4-SE · Skill | 57 | ★ 256 | ≈116 always | 3mo ago |
| new-invariant a16z/jolt · Skill Both about invariant | 71 | ★ 1.1k | ≈13 always | 16d ago |
| abstract-well OutlineDriven/outline-driven-development · Skill Both about abstract | 48 | ★ 53 | ≈43 always | 1mo ago |
| nsfc-abstract huangwb8/ChineseResearchLaTeX · Skill Both about abstract | 73 | ★ 3.0k | ≈66 always | 18d ago |
| abstract-structure yogsoth-ai/de-anthropocentric-research-engine · Skill Both about abstract | 61 | ★ 504 | ≈34 always | 16d ago |
| short-video-abstract Charlesmpc/by2kb · Skill Both about abstract | 62 | ★ 170 | ≈24 always | 16d ago |