Instructions file
Claude Code instructions for SebastianElvis/octopus, covering claude.md, what this is, commands, frontend (from repo root) and backend (from repo root, cargo workspace is configured).
Instructions file
Claude Code instructions for SebastianElvis/octopus, covering claude.md, what this is, commands, frontend (from repo root) and backend (from repo root, cargo workspace is configured).
Instructions file
Instructions for SebastianElvis/clawpier, covering claude.md, project overview, tech stack, development commands and running single tests.
Plugin Claude Code
Plugin marketplace listing 1 plugin: reaper.
Plugin Claude Code
AI-native scientific research pipeline. Takes a research goal — optionally with a research paper — and autonomously conducts rigorous, multi-step academic research.
Instructions file
Instructions for SebastianElvis/reaper, covering reaper, project structure, commands, run tests (includes l1 structural eval graders) and run the layered evals.
Skill Claude CodeCodex
Extract 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.
Skill Claude CodeCodex
Generate, 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.
Skill Claude CodeCodex
Ask 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.
Skill Claude CodeCodex
Provide 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.
Skill Claude CodeCodex
Formalize 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.
Skill Claude CodeCodex
Run 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.
Skill Claude CodeCodex
Run 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.
Skill Claude CodeCodex
Search 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.
Skill Claude CodeCodex
Find 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.
Skill Claude CodeCodex
Generate 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.
Plugin Claude Code
Plugin marketplace listing 1 plugin: hammer.
Plugin Claude Code
Tutoring skill (teach) for learning a topic interactively — calibration, syllabus planning, and a Socratic/Feynman/drill teach loop. Named after Richard Hamming.
Instructions file
Instructions for SebastianElvis/hammer, covering claude.md, what this repo is, architecture: skill vs. learner state, context discipline (why the skill is split the way it is) and mode lifecycle (two gates + teach loop).
Skill Claude CodeCodex
Use 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…