Search
Documents & Office · By wanshuiyin
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 | Render an ARIS Markdown / JSON artifact (IDEAREPORT, AUTOREVIEW, KILLARGUMENT, PAPERPLAN, research-wiki state, etc.) into a single-file HTML view designed for human reading. | wanshuiyin/ | 17k | 1 repo | ~5.4k | Automated safety check: Notes | MIT | 4 days ago |
| 3 | Render an ARIS Markdown / JSON artifact (IDEAREPORT, AUTOREVIEW, KILLARGUMENT, PAPERPLAN, research-wiki state, etc.) into a single-file HTML view designed for human reading. | wanshuiyin/ | 582 | — | ~4.9k | Automated safety check: Notes | MIT | 5 days ago |
| 4 | Synthesize the single strongest EVIDENCE-BOUND reviewer case to reject a paper, built ONLY from the evidence ledger (claims.json) + the other auditors' confirmed findings — never free-floating LLM… | wanshuiyin/ | 160 | — | ~11k | Automated safety check: Notes | MIT | 5 days ago |
| 5 | Flagship intra-paper self-consistency forensics: does the paper contradict ITSELF across abstract/intro/tables/body/appendix, and does the method DESCRIBED match the method EVALUATED? | wanshuiyin/ | 160 | — | ~10k | Automated safety check: Notes | MIT | 5 days ago |
| 6 | 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 |
| 7 | 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 |
| 8 | Rigorous mathematical proof verification and fixing workflow. | wanshuiyin/ | 17k | 1 repo | ~7.3k | Automated safety check: Notes | MIT | 4 days ago |
| 9 | Rigorous mathematical proof verification and fixing workflow. | wanshuiyin/ | 17k | — | ~14k | Automated safety check: Notes | MIT | 4 days ago |
| 10 | Workflow 3: Full paper writing pipeline that goes from a narrative report to a polished, submission-ready PDF. | wanshuiyin/ | 17k | 1 repo | ~13k | Automated safety check: Warn | MIT | 4 days ago |
| 11 | Full end-to-end research pipeline: from a broad research direction through idea discovery, experiments, and review all the way to a polished paper PDF. | wanshuiyin/ | 17k | 1 repo | ~5.8k | Automated safety check: Warn | MIT | 4 days ago |