lakatos-heuristics
Proofs and Refutations method: generate counterexamples, attempt monster-barring, incorporate surviving counterexamples as lemma refinements.
386 repo starsObserved in 1 repos
Research
Research skills
Browse reusable Agent Skills, each with a clear purpose and practical guidance.
landscape-reconnaissance
Broad, shallow exploration of candidate research fields. Understand what's out there before narrowing. Use when the user needs to discover which fields are available to them — especially in cold-start and warm-start scenarios.
386 repo starsObserved in 1 repos
Research
landscape-survey
Patent landscape full-scan — maps technology domain via assignee ranking, IPC/CPC classification, filing trends. Budget: 200 patent families, 0 claim parses, 80 web searches.
386 repo starsObserved in 1 repos
Research
landscape-synthesis
Evaluate each candidate research field on maturity, competition, entry barrier, and publication opportunity. Synthesizes broad-web-search results into a structured FieldPanorama. Must consider both niche approaches AND direct frontal competition in hot fields.
386 repo starsObserved in 1 repos
Research
leaderboard-harvesting
Systematically collect performance data from platforms and papers
386 repo starsObserved in 1 repos
Research
level-specification
Determine appropriate levels for each experimental factor
386 repo starsObserved in 1 repos
Research
literature-overview
Quick landscape scan — discover papers on a topic without full-text reading
386 repo starsObserved in 1 repos
Research
literature-research
Deep literature research — raw full text reading and targeted PDF queries for rigorous analysis
386 repo starsObserved in 1 repos
Research
literature-survey
Autonomous Literature Survey Campaign — 5 research paradigms (scoping, systematic, deep, narrative, snowball) with quantitative budget enforcement. Selects and executes the right survey paradigm based on research intent.
386 repo starsObserved in 1 repos
Research
matrix-generation
Tactic for generating and populating combination matrices — cross dimensions to enumerate the design space.
386 repo starsObserved in 1 repos
Research