Search
Research & Science · Refactoring
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Ticket Writes a developer-ready GitHub ticket for the GLIDE dev team, from any input: research paper (arXiv, PDF, screenshots, reference implementation), refactoring request, documentation task, or… | EmertonData/ | 119 | — | ~1.8k | Automated safety check: Pass | Unknown | 3 days ago |
| 2 | Structures Lean 4 proofs and library design along Mathlib conventions, from stating theorems to refactoring long tactic proofs and fixing slow or timing-out ones. | trailofbits/ | 7.5k | — | ~4k | Automated safety check: Pass | CC-BY-SA-4.0 | yesterday |
| 3 | A skill your agent uses when refactoring research code for publication, adding documentation to existing analysis scripts, creating reproducible computational workflows, or preparing code for… | aipoch/ | 1.9k | — | ~3.1k | Automated safety check: Pass | MIT | 24 days ago |
| 4 | Read-only audit of MCP definition language across an existing surface — tools, resources, prompts, server instructions. | cyanheads/ | 158 | — | ~4.9k | Automated safety check: Pass | Apache-2.0 | 2 days ago |
| 5 | 5.Niulai Master Academic Paper Polishing & Evidence-Preserving Rhetorical Guard Skill (牛来.skill). | franklee16/ | 223 | — | ~1.2k | Automated safety check: Pass | MIT | 23 days ago |
| 6 | Pre-publication manuscript audit producing a section-level refactoring report with citation hygiene and submission-readiness checks. | Mathews-Tom/ | 329 | — | ~5.3k | Automated safety check: Pass | MIT | 5 days ago |
