Learning & Documentation Agent Skills for Claude Desktop

Use when the prose for a The World Bank Economic Review (WBER) manuscript buries the development-policy contribution — abstract…

Use when revising prose to match The Yale Law Journal (YLJ) house style — clear, generalist-legible legal writing with a disciplined…

Paragraph-level structural blueprint for 10-12 page systems papers targeting OSDI, SOSP, ASPLOS, NSDI, and EuroSys.

Generate lightweight technical specification documents with PlantUML diagrams.

Sets the voice and word choices for any text a person reads in PostHog: UI labels, buttons, tooltips, empty and error states…

Use when planning author-side communication for WSDM, a venue that historically runs no rebuttal - covers preemptive objection engineering…

Use when positioning a paper against prior literature for WSDM - locating the work inside WSDM's own research lineages (click models…

Use when deciding whether a project belongs at WSDM or a neighbor - tests for the web/social-data core and the practical-yet-principled…

Use when drafting or revising prose for a WSDM paper - the practical-yet-principled register, user-and-platform-grounded framing…

Use this skill when the user wants to use xdvi, cli tool: xdvi.

Comprehensive citation management for academic research.

Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build…

Rigorous mathematical proof verification and fixing workflow.

Generates automated 1–3 minute vertical explainer videos featuring the signature Ian Xiaohei hand-drawn aesthetic from topics or documents.

Transforms Chinese real estate scripts into 16:9 documentary-style storyboard video assets rendered via Remotion.

Interview preparation handles stage-specific competency maps, evidence-backed stories, mock practice, interviewer questions, reference…

The YC meta-game distilled from 4000+ funded companies.

Transforms real-life absurdities and workplace experiences into deadpan, ledger-style satirical Chinese narratives using faux-rigorous…

Generates and teaches humorous, meme-driven Chinese satirical prose blending mundane everyday details with sharp corporate jargon…

React useEffect best practices from official docs.

Documentation Brief description for SEO and navigation