Search
LaTeX · Autonomous loops
3 skills found.
Category:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | A skill your agent uses when autoresearchteam needs to manage an end-to-end research lifecycle from Boss brief to literature, idea, implementation, experiments, synthesis, and LaTeX delivery. | BingHanOfUESTC/ | 106 | — | ~691 | Automated safety check: Pass | MIT | 3 mo ago |
| 2 | Build the deterministic evidence ledger (artifactmanifest.json + claims.json) that every other Anti-Autoresearch auditor reads. | wanshuiyin/ | 160 | — | ~11k | Automated safety check: Notes | MIT | 5 days ago |
| 3 | Family-G proof & derivation integrity forensics: does a THIRD PARTY's written proof/derivation actually establish its theorem, or does it skip an obligation, assume its own conclusion, take an… | wanshuiyin/ | 160 | — | ~13k | Automated safety check: Notes | MIT | 5 days ago |
