unsorry-goal-sourcing
unsorry-goal-sourcing is a Physics, mathematics & simulation skill for AI agents, published by agenticsnz in the unsorry repository on GitHub. Skillspace rates unsorry-goal-sourcing C (73/100) and it passed the safety scan; the rating is based on static analysis only.
Workflow for SOURCING new open Unsorry goals — generating new Lean problems for the swarm to prove, not proving existing ones. Use this whenever you want to add new targets/theorems/problems to the queue: find mathlib-absent theorems, propose or create new goals, write goals/<slug>.{lean,aisp} + backlog/<slug>.md triples, stage candidates in backlog/candidates/, run the absence/triviality gates, or open a chore(sourcing): PR — even if the user just says 'generate harder problems', 'add more theorems', 'feed the swarm', or 'source new goals'. For PROVING an existing goal, use unsorry-proof-authoring instead.
- Grade
- C
- Quality
- 73 / 100
- Safety
- Passed
- GitHub stars
- 36
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
- 97 / 100
- Maturity
- Structured: ships references or scripts
- Security scan
- No issues found
- License
- Apache-2.0
- 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.