Search
Documents & Office · frenzymath/Danus
3 skills found.
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Verify a markdown proof in the order it is written. An agent skill from frenzymath/Danus. | frenzymath/ | 476 | — | ~798 | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 2 | Turn a project's verified fact graph into a publishable LaTeX paper in a configurable house style — a standalone amsart .tex with a real bibliography, compiled to PDF. | frenzymath/ | 476 | — | ~18k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 3 | Write a human-readable mathematical progress report (compiled PDF) on a project for the operator / the mathematician who posed the problem. | frenzymath/ | 476 | — | ~1.7k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
