porting-base-to-setoid
porting-base-to-setoid is a Migrations, upgrades & porting skill for AI agents, published by ualib in the agda-algebras repository on GitHub. Skillspace rates porting-base-to-setoid D (64/100) and it passed the safety scan; the rating is based on static analysis only.
Port a frozen Legacy.Base module into the canonical Setoid/ tree — classify the module, build or extend its Setoid analog over setoid equality, and rewire imports off Legacy.Base. Use whenever a module in Setoid/, Examples/, or Exercises/ still imports Legacy.Base.* (including the remaining M2-8 import fixes), or when M9 calls for porting the Continuous/Complexity relations.
- Grade
- D
- Quality
- 64 / 100
- Safety
- Passed
- GitHub stars
- 47
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
- 93 / 100
- Maturity
- Basic: a single SKILL.md
- 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.