prove
prove is a Physics, mathematics & simulation skill for AI agents, published by Z3Prover in the z3 repository on GitHub. Skillspace rates prove C (71/100) and it passed the safety scan; the rating is based on static analysis only.
Prove validity of logical statements by negation and satisfiability checking. If the negation is unsatisfiable, the original statement is valid. Otherwise a counterexample is returned.
- Grade
- C
- Quality
- 71 / 100
- Safety
- Passed
- GitHub stars
- 12,455
Unproven: rated by static analysis only, not yet compared head-to-head.
This rating describes the version of the repository we crawled; it may have changed since, so go by its current files.
Our review
- Architecture
- 94 / 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
- Vendor-specific: built around one product. Using the public Z3 SMT solver to check validity
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.