audithub-vanguard-invariant-detector-builder
audithub-vanguard-invariant-detector-builder is a Smart contracts & Web3 skill for AI agents, published by Veridise in the audithub-skills repository on GitHub. Skillspace rates audithub-vanguard-invariant-detector-builder D (68/100) and it passed the safety scan; the rating is based on static analysis only.
Generate best-effort DeFi Vanguard custom detectors from English security invariants for Solidity projects. Use when the user provides invariant lists, properties, protocol rules, assumptions, or expected behaviors and wants them converted into PAQL or Detector.register Luau detectors, usually one detector per invariant plus an optional detector config. This skill should inspect target contracts and write detector definitions when requested, but must not run Vanguard to validate them.
- Grade
- D
- Quality
- 68 / 100
- Safety
- Passed
- GitHub stars
- 23
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
- 100 / 100
- Maturity
- Basic: a single SKILL.md
- Security scan
- No issues found
- License
- Not declared. Check the repository before reusing it.
- Adoption
- Adopted by 0 other repositories, in 0 collections
Not checked yet
- Not judged on the rubric yet (not a contender in its category)
- No blind task eval yet
- Scope (portable / vendor / repo-internal) not assessed; only the top of each category is read for scope
- 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.