Skip to main content
skillsmp

Menu

Run any Skill in Manus
with one click
mostlyharmfuleconometrics
GitHub creator profile

mostlyharmfuleconometrics

Repository-level view of 1 collected skills across 1 GitHub repositories.

github/mostlyharmfuleconometricslargest repo: lean-hansen-econometrics
skills collected
1
repositories
1
updated
2026-06-07
repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

#01
lean-hansen-econometrics
1 skills ยท 2026-06-07
Software Quality Assurance Analysts & Testers
1 occupation categories ยท 100% classified
100%share
repository explorer

Repositories and representative skills

#001
lean-hansen-econometrics
1 skills397updated 2026-06-07
100% of creator
review-harness
software-quality-assurance-analysts-and-testers

Run the repo's portable adversarial Lean review harness from Codex or another non-Workflow agent. Trigger when asked to use the review harness, review Lean files across redundancy/hygiene/faithfulness/proof-quality dimensions, follow review/README.md section (b), validate findings with review/worklist.py, or write schema-valid reports under review/reports/.

2026-06-07
Showing 1 of 1 repositories
All repositories loaded