benchmark
benchmark is a Backend performance & caching skill for AI agents, published by Z3Prover in the z3 repository on GitHub. Skillspace rates benchmark C (74/100) and it passed the safety scan; a judge model has also reviewed it.
Measure Z3 performance on a formula or file. Collects wall-clock time, theory solver statistics, memory usage, and conflict counts. Results are logged to z3agent.db for longitudinal tracking.
- Grade
- C
- Quality
- 74 / 100
- Safety
- Passed
- GitHub stars
- 12,455
Placed #2 of 2 when judged against its near-duplicates in Backend performance & caching.
Not launch-quality. It is graded C with a clean safety verdict, but our quality filters exclude it: a model that read it found it written only for the repository it lives in. So it is not in our launch-quality set, the skills our MCP server searches and recommends. How launch-quality is decided
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
- Structured: ships references or scripts
- Security scan
- No issues found
- License
- Not declared. Check the repository before reusing it.
- Adoption
- Adopted by 1 other repositories, in 0 collections
- Scope
- Repo-internal: written for the repository it lives in. Uses Z3 repo's own benchmark.py and z3agent.db for regression tracking
Judge review
Placed #2 of 2 when judged against its near-duplicates in Backend performance & caching.
- Trigger
75 75 - Instructions
88 88 - Specificity
88 88 - Safety
92 92 - Disclosure
60 60 - Maintenance
55 55
Clean, complete Action/Expectation/Result procedure with a solid parameters table, but self-contained without the reference or script depth of the stronger variant.
Not checked yet
- 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.