SebastianElvis
- 11 skills
- 0 followers
- 19 hours ago last updated
- ▌ Teach · sebastianelvis bundleUse when the user wants to learn or be taught a topic interactively over multiple turns, with the agent acting as tutor rather than answer-giver. Triggers on phrases like "teach me", "tutor me", "quiz me", "let's learn", "help me understand X by working through it step by step", or any request framed around *learning* a topic rather than *completing* a task. Also triggers for spaced review of previously-learned material and explain-back-to-check-understanding. Do NOT trigger for one-shot factual lookups ("what is a monad"), debugging help ("walk me through why this code fails"), task execution ("help me write this query"), or procedural explanations where the user wants to accomplish something rather than build understanding. The distinguishing signal is whether the user wants to *become able to do it themselves later* (trigger) vs *get it done now* (do not trigger).
- ▌ Reaper · sebastianelvis bundleRun the full Reaper research pipeline: analyze a paper (optional), review literature, formalize the problem, investigate hypotheses with critique loops, and synthesize a report. Use when given a research goal, optionally with a paper.
- ▌ Critique · sebastianelvisProvide critique on investigation results via human feedback, Codex consultation, or self-review. Can trigger additional investigation cycles for deepen/explore feedback. Use when iterating on research, requesting AI review, or providing human feedback.
- ▌ Brainstorm · sebastianelvisGenerate, prioritize, and refine research ideas based on current investigation state. Use when the pipeline needs new or better hypotheses — after formalization, between investigation batches, or when all current ideas are resolved.
- ▌ Synthesize · sebastianelvisGenerate a research paper from investigation results, structured as a formal academic paper with definitions, theorems, lemmas, and proofs. Use when asked to synthesize, summarize, or write up research findings after investigation cycles.
- ▌ Investigate · sebastianelvisRun investigation cycles that test hypotheses through proof verification, counterexample search, or security analysis, with keep-or-discard discipline. Use when asked to investigate, verify, prove, or disprove claims.
- ▌ Clarify Goal · sebastianelvisAsk the user targeted clarifying questions about their research goal before the pipeline runs. Use when the research goal is vague, ambiguous, or missing key context (e.g., which sections to focus on, threat model assumptions, what 'broken' means). Works with or without a paper.
- ▌ Search Paper · sebastianelvis bundleFind papers, download PDFs, traverse citation graphs, and resolve publication venues across arXiv, IACR ePrint, Semantic Scholar, DBLP, and OpenAlex. Use when you need to find papers, trace citations, or determine where a paper was published.
- ▌ Analyze Paper · sebastianelvisExtract structured information from a research paper: system model, theorem statements, proof techniques, complexity claims, and red flags. Use when asked to analyze, summarize, or review an academic paper.
- ▌ Formalize Problem · sebastianelvisFormalize a research question into precise, testable hypotheses with model assumptions, core properties, and explicit success/failure conditions. Use when asked to formalize, define, or scope a research problem after paper analysis.
- ▌ Review Literature · sebastianelvisSearch for related academic work, download and read key papers, and produce a structured literature survey. Use when asked to find prior art, related papers, competing approaches, or known results for a research topic.