a5c-ai/babysitter - Página 48

flow-network-builder

Model optimization problems as network flow problems

Idioma del texto original: inglés

geometry-algorithm-library

Implement computational geometry algorithms

Idioma del texto original: inglés

geometry-primitive-library

Provide robust computational geometry primitives

Idioma del texto original: inglés

graph-algorithm-selector

Select optimal graph algorithm based on problem constraints

Idioma del texto original: inglés

graph-modeler

Convert problem descriptions into graph representations

Idioma del texto original: inglés

interview-problem-bank

Curated bank of interview problems organized by company, pattern, and difficulty. Provides problem recommendations, coverage tracking, weak area identification, and premium problem alternatives for FAANG interview preparation.

Idioma del texto original: inglés

invariant-analyzer

Identify and verify loop invariants for correctness proofs

Idioma del texto original: inglés

micro-optimizer

Apply language-specific micro-optimizations

Idioma del texto original: inglés

number-theory-toolkit

Provide number theory algorithm implementations and guidance

Idioma del texto original: inglés

prime-sieve-generator

Generate optimized prime sieves and factorization routines

Idioma del texto original: inglés

proof-assistant

Assist in constructing algorithm correctness proofs

Idioma del texto original: inglés

string-algorithm-matcher

Match string problems to appropriate algorithms

Idioma del texto original: inglés

suffix-structure-builder

Build and query suffix arrays and related structures

Idioma del texto original: inglés

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.

Idioma del texto original: inglés

bug-bounty

Bug bounty program management and security disclosure expertise for smart contracts. Covers program setup on Immunefi, vulnerability triage, responsible disclosure coordination, bounty payments, and post-disclosure analysis.

Idioma del texto original: inglés

certora-prover

Formal verification using Certora Prover with CVL specification language. Supports invariant rules, parametric verification, ghost variables, and counterexample analysis for mathematical proof of contract correctness.

Idioma del texto original: inglés

chain-forensics

On-chain analysis and transaction forensics for blockchain security investigations. Provides capabilities for tracing fund flows, identifying suspicious patterns, MEV analysis, and generating forensic reports for incident response.

Idioma del texto original: inglés

cross-chain

Cross-chain bridge and multi-chain development expertise. Supports LayerZero, Chainlink CCIP, Wormhole, and Axelar for omnichain messaging, token bridging, and cross-chain state verification.

Idioma del texto original: inglés

crypto-primitives

Implementation and secure usage of cryptographic primitives including ECDSA, BLS, Schnorr signatures, key derivation, secret sharing, and constant-time operations. Provides guidance for secure cryptographic implementations in blockchain applications.

Idioma del texto original: inglés

defi-protocols

Integration expertise for major DeFi protocols including Uniswap, Aave, Compound, Chainlink, Curve, and Balancer. Supports swaps, liquidity provision, lending, borrowing, oracles, and flash loans.

Idioma del texto original: inglés

echidna-fuzzer

Property-based testing and fuzzing using Echidna for smart contracts. Includes invariant definition, corpus management, coverage analysis, and CI/CD integration for comprehensive security testing.

Idioma del texto original: inglés

evm-analysis

Deep EVM bytecode analysis and decompilation capabilities for smart contract security, gas optimization, and reverse engineering. Provides tools for analyzing opcodes, storage layouts, proxy patterns, and bytecode verification.

Idioma del texto original: inglés

foundry-framework

Expert usage of Foundry (Forge, Cast, Anvil, Chisel) for smart contract development, testing, and deployment. Includes fuzzing, gas reporting, local development, and deployment scripting capabilities.

Idioma del texto original: inglés

gas-optimization

Advanced gas optimization techniques for EVM smart contracts. Covers storage packing, memory vs calldata optimization, assembly/Yul, efficient data structures, batch operations, and benchmark-driven optimization strategies.

Idioma del texto original: inglés

hardhat-framework

Expert usage of Hardhat for smart contract development, testing, and deployment. Includes TypeChain generation, plugin ecosystem, network forking, and deployment management.

Idioma del texto original: inglés

mythril-symbolic

Symbolic execution analysis using Mythril for deep vulnerability detection in smart contracts. Supports configurable transaction depth, timeout settings, and proof-of-concept exploit generation.

Idioma del texto original: inglés

node-operations

Blockchain node deployment and operations. Supports Ethereum execution and consensus clients, validator operations, node monitoring, MEV-Boost configuration, and archive node management.

Idioma del texto original: inglés

openzeppelin

Expert usage of OpenZeppelin Contracts library for secure smart contract development. Covers access control, token standards, governance, upgrades, and security utilities.

Idioma del texto original: inglés

slither-analysis

Expert integration with Slither static analyzer for smart contract vulnerability detection, code quality analysis, and security reporting. Supports all Slither detectors and custom analysis configurations.

Idioma del texto original: inglés

solidity-dev

Deep expertise in Solidity language features, patterns, and best practices for secure smart contract development. Covers ERC standards, gas optimization, upgradeable contracts, and security patterns.

Idioma del texto original: inglés

subgraph-indexing

Subgraph development for The Graph protocol. Includes manifest configuration, GraphQL schema design, AssemblyScript handlers, entity relationships, and deployment to hosted and decentralized networks.

Idioma del texto original: inglés

tokenomics

Token economics simulation and analysis. Supports supply modeling, staking mechanisms, liquidity mining, governance dynamics, agent-based simulations, and cadCAD integration.

Idioma del texto original: inglés

wallet-integration

Wallet connection and transaction management for dApps using wagmi and viem. Supports multiple connectors, chain switching, EIP-712 signing, and hardware wallet integration.

Idioma del texto original: inglés

ab-testing

A/B testing skill for player segmentation.

Idioma del texto original: inglés

growing-outside-in-systems

Drive feature development using Outside-In TDD with Hexagonal Architecture. Design emerges through inline code, in-memory fakes, interface extraction, and deferred I/O. Use when building features, writing tests, or structuring backend services. Triggers on:…

Idioma del texto original: inglés

advanced-ds-library

Provide implementations of advanced data structures

Idioma del texto original: inglés

code-profiler

Profile code performance and identify bottlenecks

Idioma del texto original: inglés

codeforces-api-client

Interface with Codeforces API for contest data, problem sets, and submissions

Idioma del texto original: inglés

cses-tracker

Track progress through CSES Problem Set with structured learning

Idioma del texto original: inglés

data-structure-selector

Select optimal data structure based on operation requirements

Idioma del texto original: inglés