Search
LaTeX · By wanshuiyin
5 skills found.
Category:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Builds an academic conference poster as a single HTML and CSS file with measurement-based gates, real paper figures and a print-ready PDF rendered through headless Chromium. | wanshuiyin/ | 17k | 1 repo | ~4.5k | Automated safety check: Notes | MIT | 4 days 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 |
| 4 | Rigorous mathematical proof verification and fixing workflow. | wanshuiyin/ | 17k | 1 repo | ~7.3k | Automated safety check: Notes | MIT | 4 days ago |
| 5 | Rigorous mathematical proof verification and fixing workflow. | wanshuiyin/ | 17k | — | ~14k | Automated safety check: Notes | MIT | 4 days ago |
