construct-counterexamples
construct-counterexamples is a Physics, mathematics & simulation skill for AI agents, published by Julius-Woo in the STAR-PolyaMath repository on GitHub. Skillspace rates construct-counterexamples D (59/100) and it passed the safety scan; the rating is based on static analysis only.
Active falsification: try to refute a proposed conjecture, lemma, or intermediate claim by finding examples that satisfy its assumptions but violate its claimed conclusion. Used by the Reasoner to stress-test fragile conjectures before promoting them, and by the Verifier (via a sub-agent task) to challenge sharpness/optimality claims before tagging them `[Lemma]` in Verified Results. WHEN: a claim is conjectural rather than fully proved; a sharpness/extremal claim is on the verge of being recorded; a verifier sees an "answer-bearing" step claim with only one-sided evidence.
- Grade
- D
- Quality
- 59 / 100
- Safety
- Passed
- GitHub stars
- 21
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
- 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.