ReddRadar
Topic: devtools
572 skills in this topic.
-
prove
Formal theorem proving with research, testing, and verification phases
vibeeval/vibecosystem 458
-
research
Document codebase as-is with thoughts directory for historical context
vibeeval/vibecosystem 458
-
layered-recall
Progressive memory recall with 4 scope layers AND 3 depth layers. Scope: identity > project > room > deep. Depth: IDs only > summary > full. 10-50x token savings through fetch-on-confirmation pattern.
vibeeval/vibecosystem 458
-
knowledge-management
Proje bilgisini 4 katmanli yapida organize et. Aktif projeler, sorumluluk alanlari, referans kaynaklar ve arsiv. Progressive summarization ile bilgiyi katman katman ozumse. Second brain pattern'i ile codebase bilgisini yapilandir.
vibeeval/vibecosystem 458
-
server-components
React Server Components, Suspense boundaries, streaming SSR, partial prerendering patterns for Next.js App Router.
vibeeval/vibecosystem 458
-
natural-transformations
Problem-solving strategies for natural transformations in category theory
vibeeval/vibecosystem 458
-
self-healing
Self-healing codebase system. Monitors runtime errors, test failures, and build breaks. Automatically diagnoses root cause, generates fix, validates fix, and applies if safe. Zero human intervention for routine failures.
vibeeval/vibecosystem 458
-
limits-colimits
Problem-solving strategies for limits colimits in category theory
vibeeval/vibecosystem 458
-
limits
Problem-solving strategies for limits in real analysis
vibeeval/vibecosystem 458
-
sigma-algebras
Problem-solving strategies for sigma algebras in measure theory
vibeeval/vibecosystem 458
-
strategic-compact
Suggests manual context compaction at logical intervals to preserve context through task phases rather than arbitrary auto-compaction.
vibeeval/vibecosystem 458
-
categories-functors
Problem-solving strategies for categories functors in category theory
vibeeval/vibecosystem 458
-
math-help
Guide to the math cognitive stack - what tools exist and when to use each
vibeeval/vibecosystem 458
-
convergence
Problem-solving strategies for convergence in real analysis
vibeeval/vibecosystem 458
-
first-order-odes
Problem-solving strategies for first order odes in odes pdes
vibeeval/vibecosystem 458
-
lebesgue-measure
Problem-solving strategies for lebesgue measure in measure theory
vibeeval/vibecosystem 458
-
math-model-selector
Routes problems to appropriate mathematical frameworks using expert heuristics
vibeeval/vibecosystem 458
-
visual-verdict
Screenshot comparison QA for frontend development. Takes a screenshot of the current implementation, scores it across multiple visual dimensions, and returns a structured PASS/REVISE/FAIL verdict with concrete fixes. Use when implementing UI from a design reference or verifying visual correctness.
vibeeval/vibecosystem 458
-
sub-agents
Create and configure Claude Code sub-agents with custom prompts, tools, and models
vibeeval/vibecosystem 458
-
loogle-search
Search Mathlib for lemmas by type signature pattern using Loogle.
vibeeval/vibecosystem 458
-
continuity
Problem-solving strategies for continuity in real analysis
vibeeval/vibecosystem 458
-
boundary-value-problems
Problem-solving strategies for boundary value problems in odes pdes
vibeeval/vibecosystem 458
-
residues
Problem-solving strategies for residues in complex analysis
vibeeval/vibecosystem 458
-
tldr-router
Map code questions to the optimal tldr command by detecting intent and routing to the right analysis layer.
vibeeval/vibecosystem 458