paper-to-theorem-distiller
Distill a dense theory paper into definitions, main claims, proof strategy, and reusable techniques. Use when reading theoretical ML or math papers efficiently.
Find an Agent Skill for your task. Read the guide and copy the install command.
Updated 10-30 00:12
14,413 results
Distill a dense theory paper into definitions, main claims, proof strategy, and reusable techniques. Use when reading theoretical ML or math papers efficiently.
Audit a full PhD or research-application package for coherence, missing evidence, narrative consistency, program fit, recommender risk, and deadline…
Map PhD applicant research interests to faculty, labs, departments, and program-fit evidence before writing school-specific application materials. Use this…
Draft, critique, and revise concise cold emails to professors for PhD applications, research internships, RA opportunities, lab rotations, or…
Define a professor's recent and trending research direction from publications, lab pages, grants, talks, students, and public materials before writing PhD…
Convert an informal mathematical idea into a precise theorem, lemma, or proof scaffold with explicit assumptions, dependency structure, and clearly marked gaps.
Write or audit a README.md for a research repository. Use this skill whenever the user wants to write, improve, fix, or review a README for a research codebase…
Write, review, score, improve, or iterate on Statements of Purpose and PhD application essays for research programs. Use this skill whenever the user is…
Delegate a deep research or survey task to Google's Antigravity CLI (agy staffer, fast Gemini). Use when the user says /agy:researcher, "ask agy to research",…
Plan a complete newsletter issue from a topic or idea, including research, draft, subject line, opening hook, and social promotion posts. Use when the user…
Create Obsidian-compatible learning notes in Skill format. Use when requested to provide references, keywords, concept summaries, note creation, or knowledge organization. Supports various inputs such as text, URLs, images, and videos.
Write prose in The New Yorker's distinctive literary style. Applies the magazine's house conventions (diaeresis, British spellings, serial comma), elegant…
Evaluate research rigor. Assess methodology, experimental design, statistical validity, biases, confounding, evidence quality (GRADE, Cochrane ROB), for…
Write scientific manuscripts. IMRAD structure, citations (APA/AMA/Vancouver), figures/tables, reporting guidelines (CONSORT/STROBE/PRISMA), abstracts, for…
Interview for, draft from supplied material, or review a Writing Brief against the Library's writing-brief template of questions to answer before you write.…
Experiment loop discipline for autoresearch sessions — decision rules, git workflow, JSONL logging, benchmark metrics, anti-patterns
Split a long run of text into natural sentences on-device via EdgeSpeak using a semantic sentence splitter that works on unpunctuated ASR output, or re-segment…
Research, drafting, and analysis involving the International Criminal Court (Rome Statute system). Enforces a verification-first methodology — every case-law,…
Collaborative essay writing that preserves authenticity through structured interview, thread tracking, and voice calibration. Transforms AI from text generator…
Automate Zhihu (知乎) interactions including search, browsing hot topics, viewing questions/answers, posting pins/articles/questions, and user interactions. Use…
Analyze articles for AI-generated content indicators and rewrite to pass WeChat's 3.27 non-human automated content creation detection. Checks for template…
Generate architecture views, interface descriptions, and decision record drafts from the project's actual implementation. Supports explicit input and result read-back. Use to create architecture documentation from a codebase.
Uniformly create, rewrite, brand, or faithfully repost WeChat official account article packages: body writing invokes the single writing style and authorship capability, completing structure, branding, cover, 4:3 lead image, sources, and quality acceptance offline. Use when asked to write, brand, audit, or faithfully repost a WeChat article package.
Improve the README, installation instructions, usage examples, and real brand assets based on the project code. Support explicit input and reading back results. Use to create or improve a project README.