ReddRadar
Topic: ai-agents
18,135 skills in this topic.
-
invariant-analyzer
Identify and verify loop invariants for correctness proofs
a5c-ai/babysitter 514
-
leetcode-problem-fetcher
Fetch and parse LeetCode problems with metadata, constraints, examples, hints, difficulty ratings, and related problems. Integrates with LeetCode API for comprehensive problem data retrieval.
a5c-ai/babysitter 514
-
micro-optimizer
Apply language-specific micro-optimizations
a5c-ai/babysitter 514
-
number-theory-toolkit
Provide number theory algorithm implementations and guidance
a5c-ai/babysitter 514
-
prime-sieve-generator
Generate optimized prime sieves and factorization routines
a5c-ai/babysitter 514
-
proof-assistant
Assist in constructing algorithm correctness proofs
a5c-ai/babysitter 514
-
segment-tree-builder
Generate customized segment tree implementations
a5c-ai/babysitter 514
-
solution-comparator
Compare multiple solutions for correctness and performance
a5c-ai/babysitter 514
-
solution-explainer
Generate clear explanations of algorithm solutions
a5c-ai/babysitter 514
-
string-algorithm-matcher
Match string problems to appropriate algorithms
a5c-ai/babysitter 514
-
suffix-structure-builder
Build and query suffix arrays and related structures
a5c-ai/babysitter 514
-
test-case-generator
Generate comprehensive test cases including edge cases, stress tests, and counter-examples for algorithm correctness verification. Supports random generation, constraint-based generation, and brute force oracle comparison.
a5c-ai/babysitter 514
-
advanced-ds-library
Provide implementations of advanced data structures
a5c-ai/babysitter 514
-
algorithm-visualizer
Generate visual representations of algorithm execution
a5c-ai/babysitter 514
-
atcoder-client
Interface with AtCoder for Japanese competitive programming contests
a5c-ai/babysitter 514
-
code-profiler
Profile code performance and identify bottlenecks
a5c-ai/babysitter 514
-
code-template-manager
Manage and generate competitive programming templates
a5c-ai/babysitter 514
-
codeforces-api-client
Interface with Codeforces API for contest data, problem sets, and submissions
a5c-ai/babysitter 514
-
combinatorics-calculator
Calculate combinatorial values with modular arithmetic
a5c-ai/babysitter 514
-
complexity-analyzer
Automated Big-O complexity analysis of code and algorithms. Performs static analysis of loop structures, recursive call trees, space complexity estimation, and amortized analysis with detailed derivation documents.
a5c-ai/babysitter 514
-
cses-tracker
Track progress through CSES Problem Set with structured learning
a5c-ai/babysitter 514
-
data-structure-selector
Select optimal data structure based on operation requirements
a5c-ai/babysitter 514
-
dp-optimizer
Apply advanced DP optimizations automatically
a5c-ai/babysitter 514
-
dp-pattern-library
Maintain and match against a library of classic dynamic programming patterns. Provides pattern matching, template code generation, variant detection, and problem-to-pattern mapping for DP problems.
a5c-ai/babysitter 514