verification-boundary-reporter
verification-boundary-reporter is a Non-code artifact review skill for AI agents, published by ArabelaTso in the Skills-4-SE repository on GitHub. Skillspace rates verification-boundary-reporter D (66/100) and it passed the safety scan; the rating is based on static analysis only.
Analyze formal verification artifacts (Isabelle, Coq, Dafny, etc.) and produce structured reports identifying the precise boundary between verified, assumed, and unverified components. Use when assessing verification coverage, understanding trust boundaries, auditing formal proofs, or documenting verification scope. Reports explicitly list verified code, assumptions, axioms, trusted computing base, and unverified components. Conservative and explicit about verification status without attempting to repair or mask gaps.
- Grade
- D
- Quality
- 66 / 100
- Safety
- Passed
- GitHub stars
- 138
Unproven: rated by static analysis only, not yet compared head-to-head.
Our two independent classifiers differ on this skill's category, so treat the placement as provisional.
This rating describes the version of the repository we crawled; it may have changed since, so go by its current files.
Our review
- Architecture
- 84 / 100
- Maturity
- Structured: ships references or scripts
- Security scan
- No issues found
- License
- Apache-2.0
- Adoption
- Adopted by 0 other repositories, in 1 collections
- Scope
- Portable: works in any project. General verification-coverage reporting across Isabelle, Coq, Dafny artifacts
Not checked yet
- Not judged on the rubric yet (not a contender in its category)
- No blind task eval yet
- Sibling files (scripts, references) not fetched; security scan covers SKILL.md only
Skillspace indexes and rates this skill; it does not host or endorse it. Run third-party skills at your own risk.