recursive-proving

recursive-proving is an Agent task delegation & fan-out skill for AI agents, published by frenzymath in the Rethlas repository on GitHub. Skillspace rates recursive-proving D (68/100) and it passed the safety scan; the rating is based on static analysis only.

Launch one sub-agent per decomposition plan after direct screening has identified the key stuck points for each plan. Use when all current plans have been screened by direct proving, none fully solves the problem, and parallel recursive work is needed.

Grade
D
Quality
68 / 100
Safety
Passed
GitHub stars
187

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
100 / 100
Maturity
Basic: a single SKILL.md
Security scan
No issues found
License
Apache-2.0
Adoption
Adopted by 1 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.