Write, improve, or diagnose abstracts for ML conference papers. Use when asked to
"write abstract", "improve abstract", "draft abstract", "summarize p...
Write, improve, or diagnose abstracts for ML conference papers. Use when asked to
"write abstract", "improve abstract", "draft abstract", "summarize paper",
"abstract for submission", "audit my abstract", "diagnose abstract",
"check my abstract", or "abstract feedback". Structures context, problem,
approach, results, and impact.
Write or improve discussion and limitations sections for ML conference papers. Use when asked to "write discussion", "add limitations", "discuss resul...
Write or improve discussion and limitations sections for ML conference papers. Use when asked to "write discussion", "add limitations", "discuss results", "write conclusion", or "identify weaknesses". Generates balanced analysis of contributions, implications, and honest limitations.
Write experimental details sections for ML papers with GitHub repository integration. Use when asked to "write experiments section", "document experim...
Write experimental details sections for ML papers with GitHub repository integration. Use when asked to "write experiments section", "document experimental setup", "describe methodology", "write reproducibility details", or "experimental details". Extracts information from code to ensure accuracy.
Write or improve introduction sections for ML conference papers. Use when asked to "write introduction", "improve intro", "draft intro", "motivate the...
Write or improve introduction sections for ML conference papers. Use when asked to "write introduction", "improve intro", "draft intro", "motivate the paper", or "write opening". Structures motivation, problem statement, contributions, and paper outline.
Summarize research papers for rapid triage and comprehension. Use when asked to "summarize this paper", "paper summary", "what does this paper do", "t...
Summarize research papers for rapid triage and comprehension. Use when asked to "summarize this paper", "paper summary", "what does this paper do", "triage papers", or "TLDR this paper". Takes an arXiv ID or paper text and produces structured summaries at configurable depth.
Fact-check references in ML paper drafts. Use when asked to "verify citations", "check references", "fact-check bibliography", "validate citations", o...
Fact-check references in ML paper drafts. Use when asked to "verify citations", "check references", "fact-check bibliography", "validate citations", or "audit references". Verifies papers exist on arXiv, checks author names, years, and titles against actual publications.
Generate critical reviews of ML paper drafts simulating a skeptical reviewer. Use when asked to "review my paper", "find weaknesses", "critique this d...
Generate critical reviews of ML paper drafts simulating a skeptical reviewer. Use when asked to "review my paper", "find weaknesses", "critique this draft", "what would reviewers say", or "assess my submission". Provides harsh but constructive feedback to strengthen the paper before submission.
Verify experimental claims in ML papers against source code repositories. Use when asked to "verify experiments", "check claims against code", "fact-c...
Verify experimental claims in ML papers against source code repositories. Use when asked to "verify experiments", "check claims against code", "fact-check results", "audit experiments", or "validate paper against repo". Cross-references paper statements with actual implementation.
Deep verify ALL paper claims with systematic evidence hierarchy.
NOW SUPPORTS PARALLEL MODE via parallel-audit orchestrator for 2-3x speedup.
Activate...
Deep verify ALL paper claims with systematic evidence hierarchy.
NOW SUPPORTS PARALLEL MODE via parallel-audit orchestrator for 2-3x speedup.
Activates when asked to "audit claims", "verify claims", "check paper claims",
"claim verification", "evidence check", "verify evidence", or "quick evidence scan".
Includes Quick Mode for rapid brainstorming checks.
Use this agent to simulate a first-time reader walking through your text. Activates when asked to "simulate reader", "where will readers get confused"...
Use this agent to simulate a first-time reader walking through your text. Activates when asked to "simulate reader", "where will readers get confused", "reader experience", "comprehension check", or "reader perspective". Flags assumed knowledge, jargon cliffs, logical jumps, and points where readers will zone out.
Use this agent to verify statistical rigor in ML papers - p-values, confidence intervals, significance tests, effect sizes. Activates when asked to "v...
Use this agent to verify statistical rigor in ML papers - p-values, confidence intervals, significance tests, effect sizes. Activates when asked to "validate statistics", "check statistical rigor", "verify p-values", "statistical validation", or "check significance".
Comprehensive pre-submission paper audit combining reviewer simulation, claim verification, clarity analysis, notation checking, and statistical valid...
Comprehensive pre-submission paper audit combining reviewer simulation, claim verification, clarity analysis, notation checking, and statistical validation. Use when asked to "audit before submission", "pre-submission check", "is my paper ready", "self-review", or "submission readiness". Runs 5 diagnostic passes in parallel and produces a unified readiness report.
Proof verification, bounds analysis, and formal methods
bounds-analyst
research-agents
Analyze convergence rates, complexity bounds, and approximation guarantees.
The theoretical analogue of statistical-validator. Compares to known optim...
Analyze convergence rates, complexity bounds, and approximation guarantees.
The theoretical analogue of statistical-validator. Compares to known optimal
rates and checks dimensional consistency. Trigger: "analyze bounds",
"check convergence rate", "verify complexity", "bounds analysis".
Stress-test theorems by systematically exploring what happens when assumptions
are dropped or weakened. Generates low-dimensional test cases and bound...
Stress-test theorems by systematically exploring what happens when assumptions
are dropped or weakened. Generates low-dimensional test cases and boundary
conditions. Trigger: "find counterexample", "stress test theorem",
"test assumptions", "break this theorem", "assumption necessity".
Translate informal mathematical intuitions into formal theorem statements
with explicit quantifiers, conditions, and conclusions. Offers multiple
form...
Translate informal mathematical intuitions into formal theorem statements
with explicit quantifiers, conditions, and conclusions. Offers multiple
formalizations at different strength levels. Trigger: "formalize intuition",
"make this precise", "formal version", "state theorem formally",
"formalize this claim".
Build a symbol table and check notation consistency throughout a paper.
Detects overloaded symbols, undefined notation, and convention violations.
Hyb...
Build a symbol table and check notation consistency throughout a paper.
Detects overloaded symbols, undefined notation, and convention violations.
Hybrid: script-based regex extraction + LLM semantic analysis.
Trigger: "check notation", "notation consistency", "symbol table",
"find notation issues", "verify notation".
Decompose proofs into logical steps, check each step follows from prior ones,
identify assumption usage, and flag gaps or unjustified leaps. The theor...
Decompose proofs into logical steps, check each step follows from prior ones,
identify assumption usage, and flag gaps or unjustified leaps. The theoretical
analogue of claim-auditor. Trigger: "audit proof", "check proof",
"verify proof", "proof verification", "find proof gaps".
Given a theorem to prove or conjecture to investigate, suggests proof approaches
drawn from a broad knowledge of techniques. Classifies result type, r...
Given a theorem to prove or conjecture to investigate, suggests proof approaches
drawn from a broad knowledge of techniques. Classifies result type, recommends
strategies, suggests intermediate lemmas, and identifies key technical challenges.
Trigger: "suggest proof strategy", "how to prove", "proof approach",
"proof technique", "prove this theorem".
Build a DAG of theorem/lemma/proposition dependencies across the paper.
Computes criticality scores, maps assumption flow, and detects orphan lemmas
o...
Build a DAG of theorem/lemma/proposition dependencies across the paper.
Computes criticality scores, maps assumption flow, and detects orphan lemmas
or circular dependencies. Trigger: "map theorem dependencies", "theorem DAG",
"dependency graph", "trace assumptions".
Identify cross-domain connections between a theoretical result and results
from other subfields. Find structural analogies, vocabulary translations,
a...
Identify cross-domain connections between a theoretical result and results
from other subfields. Find structural analogies, vocabulary translations,
and generalization paths. Trigger: "connect to other fields",
"cross-domain connections", "related theory", "theory bridge",
"find analogous results".
Identify relevant benchmarks and generate experiment plans for ML papers. Use when asked to
"find benchmarks", "what datasets should I use", "experime...
Identify relevant benchmarks and generate experiment plans for ML papers. Use when asked to
"find benchmarks", "what datasets should I use", "experiment plan", "baseline comparison",
"standard evaluation", "what to compare against", or "evaluation protocol".
Searches arXiv for benchmark papers and extracts evaluation protocols.
Sync ML experiment results to paper drafts. Use when asked to "update results",
"sync experiments", "pull latest metrics", "update tables from code",
...
Sync ML experiment results to paper drafts. Use when asked to "update results",
"sync experiments", "pull latest metrics", "update tables from code",
"experiment to paper", "refresh results", or "sync paper with repo".
Extracts metrics from code/logs and updates paper sections.
Write related work sections and discover relevant literature for ML papers. Use when asked to
"write related work", "find related work", "literature r...
Write related work sections and discover relevant literature for ML papers. Use when asked to
"write related work", "find related work", "literature review", "survey the field",
"find papers on [topic]", "build bibliography", "survey prior work", "position the paper",
or "what papers should I cite". Supports both guided mode (provide papers to include) and
autonomous mode (multi-query arXiv searches with paper approval workflow).
Use this agent to map blog posts or essays into book structure. Activates when asked to "audit my content", "blog to book", "cluster my posts", "conte...
Use this agent to map blog posts or essays into book structure. Activates when asked to "audit my content", "blog to book", "cluster my posts", "content audit", or "find themes across posts". Performs thematic clustering, gap analysis, and generates book conversion strategies from dispersed content.
Use this agent to challenge arguments, identify logical fallacies, and expose cognitive biases. Supports iterative refinement through constructive adv...
Use this agent to challenge arguments, identify logical fallacies, and expose cognitive biases. Supports iterative refinement through constructive adversarial thinking. Invoke during brainstorming, hypothesis formation, or before committing to claims.
Use this agent to synthesize different perspectives, methodologies, or research approaches into unified frameworks. Invoke for literature review synth...
Use this agent to synthesize different perspectives, methodologies, or research approaches into unified frameworks. Invoke for literature review synthesis, reconciling conflicting findings, bridging research communities, or resolving disagreements.
Improve clarity, fix LaTeX, and check audience fit
review-prompt
academic
Critiques a prompt using the RIOT framework and teaches one transferable lesson.
Use when asked to "review my prompt", "improve this prompt", "why isn...
Critiques a prompt using the RIOT framework and teaches one transferable lesson.
Use when asked to "review my prompt", "improve this prompt", "why isn't my prompt working",
"score my prompt", "make this prompt better", "diagnose my prompt", "fix my prompt",
or "what's wrong with this prompt".
User pastes a prompt; skill scores each RIOT component, identifies the failure mode,
and generates an improved version with minimal changes.
Add @latex decorators to existing functions to link them with paper equations. Use when asked to "annotate functions", "link functions to equations", ...
Add @latex decorators to existing functions to link them with paper equations. Use when asked to "annotate functions", "link functions to equations", "add equation decorators", or "connect code to LaTeX".
Initialize latex-code-sync in a project. Use when asked to "set up equation verification", "link paper to code", "initialize latex-code-sync", or "set...
Initialize latex-code-sync in a project. Use when asked to "set up equation verification", "link paper to code", "initialize latex-code-sync", or "set up paper-code synchronization". Creates equations module, configuration, and optionally CI workflow.
Run verification between paper equations and code implementations. Use when asked to "verify equations", "check paper-code consistency", "run equation...
Run verification between paper equations and code implementations. Use when asked to "verify equations", "check paper-code consistency", "run equation tests", or "validate implementations match paper".
Enforce consistent LaTeX formatting for ML conference papers. Use when asked to "fix LaTeX", "make LaTeX consistent", "format paper", "check LaTeX sty...
Enforce consistent LaTeX formatting for ML conference papers. Use when asked to "fix LaTeX", "make LaTeX consistent", "format paper", "check LaTeX style", or "standardize notation". Covers math notation, references, tables, and common ML conventions.
Use this agent to evaluate papers, presentations, posters, or communications for target audience alignment. Impersonates different reader personas (re...
Use this agent to evaluate papers, presentations, posters, or communications for target audience alignment. Impersonates different reader personas (reviewers, industry engineers, students, experts) to identify jargon, unclear explanations, and narrative gaps.
Use this agent to parse LaTeX .log files, diagnose compilation errors, and provide targeted fixes. Activates when asked to "debug latex", "fix latex e...
Use this agent to parse LaTeX .log files, diagnose compilation errors, and provide targeted fixes. Activates when asked to "debug latex", "fix latex errors", "parse log file", "latex compilation error", or "why won't my paper compile".
Use this agent to find semantic overlap and redundancy across documents. Activates when asked to "find redundancies", "am I repeating myself", "duplic...
Use this agent to find semantic overlap and redundancy across documents. Activates when asked to "find redundancies", "am I repeating myself", "duplicate content", "overlap detection", or "merge candidates". Clusters similar content and suggests merge strategies.
Use this agent to detect voice inconsistency across chapters, blog posts, or documents. Activates when asked to "check voice consistency", "tone drift...
Use this agent to detect voice inconsistency across chapters, blog posts, or documents. Activates when asked to "check voice consistency", "tone drift", "does this sound like me", "voice fingerprint", or "style consistency check". Quantifies rhythm, formality, person, and metaphor density to flag unintentional drift.
Diagnose writing issues, map arguments, detect voice drift, and translate between registers
argument-autopsy
editorial
Visualize the logical skeleton of a paper's argument as a claim-evidence DAG. Use when asked to "map my argument", "does my logic hold", "argument str...
Visualize the logical skeleton of a paper's argument as a claim-evidence DAG. Use when asked to "map my argument", "does my logic hold", "argument structure", "find logical gaps", or "why doesn't my paper flow". Flags missing links, orphan claims, circular reasoning, and unsupported assertions.
Context-aware editorial intelligence that adapts to what you're writing. Use when asked to "edit this", "review my writing", "editorial feedback", "de...
Context-aware editorial intelligence that adapts to what you're writing. Use when asked to "edit this", "review my writing", "editorial feedback", "developmental edit", "line edit", "improve clarity", "simplify writing", "check readability", "reduce jargon", or "make paper clearer". Detects format (paper/blog/book/grant), section type, and draft phase, then routes to the appropriate editorial lens — developmental, line, or copy editing.
Translate writing between registers — paper to blog, blog to book chapter, academic to conversational. Use when asked to "convert this for blog", "mak...
Translate writing between registers — paper to blog, blog to book chapter, academic to conversational. Use when asked to "convert this for blog", "make this more conversational", "translate register", "paper to blog", "blog to book", or "adapt for audience". Performs structural transformation, not just tone adjustment.
Diagnose root causes of bad writing at the paragraph level. Use when asked to "diagnose this paragraph", "why does this suck", "what's wrong with this...
Diagnose root causes of bad writing at the paragraph level. Use when asked to "diagnose this paragraph", "why does this suck", "what's wrong with this", "writing diagnosis", or "debug my writing". Identifies patterns like cognitive overload, buried ledes, idea soup, and monotonous rhythm — then teaches the fix.
Quantitative writing quality verification for scientific papers. Use when asked to "score my writing", "grade this paper", "writing quality check", "v...
Quantitative writing quality verification for scientific papers. Use when asked to "score my writing", "grade this paper", "writing quality check", "verify writing quality", "how good is my writing", "rate my prose", "writing metrics", "readability analysis", "check my paper's clarity", "writing score", or "assess writing quality". Produces a structured report with A-F grade, dimension scores, and prioritized fix suggestions.
Create academic conference posters from research papers. Use when asked to
"create poster", "make poster", "turn paper into poster", "poster for confe...
Create academic conference posters from research papers. Use when asked to
"create poster", "make poster", "turn paper into poster", "poster for conference".
Create presentation slides from research papers for talks and seminars. Use when asked to
"create slides", "make presentation", "turn paper into slide...
Create presentation slides from research papers for talks and seminars. Use when asked to
"create slides", "make presentation", "turn paper into slides", "prepare talk".
Create animated GIFs to communicate ML research visually for Twitter/X, GitHub READMEs, and project
websites. Use when asked to "create science gif", ...
Create animated GIFs to communicate ML research visually for Twitter/X, GitHub READMEs, and project
websites. Use when asked to "create science gif", "animate results", "make animated figure",
"gif for twitter", "animate method", "visualize algorithm".
Use this agent to generate publication-quality figures with narrative focus. Activates when asked to "create figure", "figure storytelling", "visualiz...
Use this agent to generate publication-quality figures with narrative focus. Activates when asked to "create figure", "figure storytelling", "visualize results", "make publication figure", "data visualization", "create plots", "make figures publication ready", "format for conference", "style matplotlib", "improve figure quality", "publication figure", "matplotlib figure", "conference figure", or "plot results".
Prepare OpenReview submission metadata from a paper draft. Use when asked to
"prepare OpenReview submission", "format abstract for OpenReview", "gener...
Prepare OpenReview submission metadata from a paper draft. Use when asked to
"prepare OpenReview submission", "format abstract for OpenReview", "generate keywords",
"write TL;DR", "create lay summary", "submission form", or "camera-ready metadata".
Produces copy-pasteable abstract, keywords, TL;DR, and lay summary.
Triage and prioritize revision work after receiving peer reviews. Decodes reviewer subtext and plans strategic responses. Use when asked to "triage re...
Triage and prioritize revision work after receiving peer reviews. Decodes reviewer subtext and plans strategic responses. Use when asked to "triage reviews", "plan my revision", "revision strategy", "prioritize reviewer comments", "what should I fix first", "decode reviewer feedback", or "what do reviewers really mean". Step 1 of a 2-step pipeline (review-triage → reviewer-response-generator).
Use this agent to prepare ML code/data/models for public release with comprehensive checklists. Activates when asked to "package artifacts", "prepare ...
Use this agent to prepare ML code/data/models for public release with comprehensive checklists. Activates when asked to "package artifacts", "prepare release", "reproducibility checklist", "code release", or "prepare camera ready".
Unified rebuttal writing agent with Quick Mode (template-driven) and Deep Mode (evidence-backed with code/data proof). Activates when asked to "write ...
Unified rebuttal writing agent with Quick Mode (template-driven) and Deep Mode (evidence-backed with code/data proof). Activates when asked to "write rebuttal", "respond to reviewers", "reviewer response", "address reviewer comments", "draft rebuttal", or "rebuttal draft". Step 2 of the rebuttal pipeline (review-triage → reviewer-response-generator). Deep Mode searches GitHub for baselines and arXiv for supporting citations.
Git workflows, CI/CD, documentation, and code quality
choose-skill
academic
Interactive decision tree for finding the right Research Agora skill.
Use when asked to "which skill should I use", "what skill do I need", "find me a...
Interactive decision tree for finding the right Research Agora skill.
Use when asked to "which skill should I use", "what skill do I need", "find me a skill for",
"I want to do X what skill helps", "help me pick a skill", "what can the Agora do for",
"I need help with X", "recommend a skill", or "what skills exist for".
Maps a natural-language task description to the most relevant skills with confidence scores
and example invocations.
Scans the current directory and recommends the single fastest Research Agora "wow moment".
Use when asked for "quick start", "what should I run first"...
Scans the current directory and recommends the single fastest Research Agora "wow moment".
Use when asked for "quick start", "what should I run first", "fastest result", "show me something useful",
"I want to try this", "give me a demo", "what can I do right now", "get me started fast",
"what's the best first thing to try", or "impress me".
Auto-detects project contents and returns THE single best skill to run right now,
with the exact command using the user's actual filenames.
Changelog skill for returning users. Summarizes what changed in the Research Agora
since a given date or reference point.
Use when asked "what's new",...
Changelog skill for returning users. Summarizes what changed in the Research Agora
since a given date or reference point.
Use when asked "what's new", "what changed since I last used this", "what's been added",
"catch me up", "what skills are new", "what changed last month", "any updates",
"what did I miss", "has anything changed since [date]", "what's different",
"changelog", "view changelog", or "bring me up to speed".
Reads CHANGELOG.md and git log to produce a researcher-friendly summary with
"try these new skills" recommendations.
Health check for the user's Research Agora configuration. Reads CLAUDE.md files,
checks installed plugins, MCP servers, hooks, and privacy settings.
U...
Health check for the user's Research Agora configuration. Reads CLAUDE.md files,
checks installed plugins, MCP servers, hooks, and privacy settings.
Use when asked to "audit my setup", "check my configuration", "am I set up correctly",
"health check my Agora", "what am I missing", "how mature is my setup",
"review my CLAUDE.md", "is my configuration good", or "help me level up my config".
Produces a scored health report with specific, actionable recommendations.
Analyze and refactor Python codebases to remove dead code, eliminate duplication, and simplify complexity. Use when asked to "simplify code", "remove ...
Analyze and refactor Python codebases to remove dead code, eliminate duplication, and simplify complexity. Use when asked to "simplify code", "remove dead code", "find duplicates", "refactor", "clean up codebase", or "reduce complexity".
Commit changes made during the current conversation. Use when asked to
"commit", "save changes", "create a commit", or "commit my changes".
Generates ...
Commit changes made during the current conversation. Use when asked to
"commit", "save changes", "create a commit", or "commit my changes".
Generates conventional commit messages with co-authorship attribution.
Generate HTCondor submission files and wrapper scripts for ML research jobs.
Use when asked to "create condor job", "submit to cluster", "write .sub f...
Generate HTCondor submission files and wrapper scripts for ML research jobs.
Use when asked to "create condor job", "submit to cluster", "write .sub file",
"htcondor setup", "cluster job", or "batch submission". Supports GPU/CPU jobs,
parameter sweeps, multi-seed experiments, and ablation studies.
Create GitHub pull requests from changes made during a chat session. Use when asked to "create a PR", "open a pull request", "submit changes", "push a...
Create GitHub pull requests from changes made during a chat session. Use when asked to "create a PR", "open a pull request", "submit changes", "push and create PR", or at the end of a coding session when changes should be submitted for review. Handles branch creation, conventional commits, and PR description generation.
Set up Python CI/CD with GitHub Actions, pre-commit hooks, and code quality tools. Use when asked to "set up CI/CD", "add pre-commit hooks", "configur...
Set up Python CI/CD with GitHub Actions, pre-commit hooks, and code quality tools. Use when asked to "set up CI/CD", "add pre-commit hooks", "configure GitHub Actions", "add linting", or "set up testing pipeline". Configures Black, isort, flake8, and pytest for Python 3.11.
Office documents, publication figures, and TikZ diagrams
tikz-figures
formatting
Create TikZ/PGF figures for ML papers including neural networks, flowcharts, diagrams, and graphs.
Use when asked to "create TikZ figure", "draw neura...
Create TikZ/PGF figures for ML papers including neural networks, flowcharts, diagrams, and graphs.
Use when asked to "create TikZ figure", "draw neural network", "make diagram in LaTeX",
"TikZ flowchart", or "create architecture diagram".
These are building blocks used internally by other skills. Most users won't need to invoke them directly.
state-generator
agent
Generate a research-state.json file from a paper. This is the FIRST step
in any parallel research analysis pipeline. Creates structured representation...
Generate a research-state.json file from a paper. This is the FIRST step
in any parallel research analysis pipeline. Creates structured representation
enabling subagent delegation. Trigger: "generate research state",
"parse paper for analysis", "prepare paper for audit".
Deep analysis of a single mathematical assumption: is it standard, what does
it rule out, what are weaker alternatives, and is it testable in practice...
Deep analysis of a single mathematical assumption: is it standard, what does
it rule out, what are weaker alternatives, and is it testable in practice.
Atomic, parallelizable operation. Trigger: "analyze assumption".
Surface implicit and explicit assumptions from a paper section. Identifies
unstated assumptions that affect claim validity. Trigger: "find assumptions...
Surface implicit and explicit assumptions from a paper section. Identifies
unstated assumptions that affect claim validity. Trigger: "find assumptions",
"surface implicit assumptions", "check assumptions".
Verify citation accuracy against arXiv and other sources. Checks that cited
papers exist, author names are correct, and claims about cited work are ac...
Verify citation accuracy against arXiv and other sources. Checks that cited
papers exist, author names are correct, and claims about cited work are accurate.
Trigger: "verify citation", "check reference accuracy".
Grade evidence strength for a single claim. Takes claim + evidence references,
returns strength level (L1-L6) and venue compliance. Trigger: "grade ev...
Grade evidence strength for a single claim. Takes claim + evidence references,
returns strength level (L1-L6) and venue compliance. Trigger: "grade evidence for claim".
Find evidence (tables, figures, equations, citations) that support a claim.
Searches within paper structure for matching references.
Trigger: "locate ...
Find evidence (tables, figures, equations, citations) that support a claim.
Searches within paper structure for matching references.
Trigger: "locate evidence for claim", "find supporting evidence".
Decompose a single proof into atomic logical steps with dependency arrows.
Atomic, parallelizable operation for proof auditing pipelines.
Trigger: "ex...
Decompose a single proof into atomic logical steps with dependency arrows.
Atomic, parallelizable operation for proof auditing pipelines.
Trigger: "extract proof steps", "decompose proof".
Verify whether a single proof step follows from its premises. Checks
algebraic correctness, inequality direction, and logical validity.
Atomic, parall...
Verify whether a single proof step follows from its premises. Checks
algebraic correctness, inequality direction, and logical validity.
Atomic, parallelizable operation. Trigger: "verify proof step".
Orchestrates parallel claim auditing across paper sections. Replaces
sequential claim-auditor with fan-out/fan-in pattern for faster analysis.
Trigger...
Orchestrates parallel claim auditing across paper sections. Replaces
sequential claim-auditor with fan-out/fan-in pattern for faster analysis.
Trigger: "parallel audit", "fast claim audit", "audit paper claims".
Orchestrates parallel theoretical verification across a paper's proofs,
assumptions, bounds, and notation. The theory analogue of parallel-audit.
Trig...
Orchestrates parallel theoretical verification across a paper's proofs,
assumptions, bounds, and notation. The theory analogue of parallel-audit.
Trigger: "parallel theory audit", "audit proofs", "theory verification",
"verify all proofs".
Generate minimal context summaries for subagent delegation. Creates
focused context packages that preserve essential information while
reducing token ...
Generate minimal context summaries for subagent delegation. Creates
focused context packages that preserve essential information while
reducing token count. Trigger: "compact context", "generate subagent context".
Pre-fetch all evidence references from a paper before parallel analysis.
Loads tables, figures, equations into memory for fast subagent access.
Trigge...
Pre-fetch all evidence references from a paper before parallel analysis.
Loads tables, figures, equations into memory for fast subagent access.
Trigger: "prefetch evidence", "load paper evidence".