a5c-ai/babysitter - Página 48

flow-network-builder

Model optimization problems as network flow problems

Idioma do texto original: inglês

geometry-algorithm-library

Implement computational geometry algorithms

Idioma do texto original: inglês

geometry-primitive-library

Provide robust computational geometry primitives

Idioma do texto original: inglês

graph-algorithm-selector

Select optimal graph algorithm based on problem constraints

Idioma do texto original: inglês

graph-modeler

Convert problem descriptions into graph representations

Idioma do 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 do texto original: inglês

invariant-analyzer

Identify and verify loop invariants for correctness proofs

Idioma do texto original: inglês

micro-optimizer

Apply language-specific micro-optimizations

Idioma do texto original: inglês

number-theory-toolkit

Provide number theory algorithm implementations and guidance

Idioma do texto original: inglês

prime-sieve-generator

Generate optimized prime sieves and factorization routines

Idioma do texto original: inglês

proof-assistant

Assist in constructing algorithm correctness proofs

Idioma do texto original: inglês

string-algorithm-matcher

Match string problems to appropriate algorithms

Idioma do texto original: inglês

suffix-structure-builder

Build and query suffix arrays and related structures

Idioma do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do 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 do texto original: inglês

ab-testing

A/B testing skill for player segmentation.

Idioma do 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 do texto original: inglês

advanced-ds-library

Provide implementations of advanced data structures

Idioma do texto original: inglês

code-profiler

Profile code performance and identify bottlenecks

Idioma do texto original: inglês

codeforces-api-client

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

Idioma do texto original: inglês

cses-tracker

Track progress through CSES Problem Set with structured learning

Idioma do texto original: inglês

data-structure-selector

Select optimal data structure based on operation requirements

Idioma do texto original: inglês