a5c-ai/babysitter - Page 48

flow-network-builder

Model optimization problems as network flow problems

Langue du texte source : anglais

geometry-algorithm-library

Implement computational geometry algorithms

Langue du texte source : anglais

geometry-primitive-library

Provide robust computational geometry primitives

Langue du texte source : anglais

graph-algorithm-selector

Select optimal graph algorithm based on problem constraints

Langue du texte source : anglais

graph-modeler

Convert problem descriptions into graph representations

Langue du texte source : anglais

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.

Langue du texte source : anglais

invariant-analyzer

Identify and verify loop invariants for correctness proofs

Langue du texte source : anglais

micro-optimizer

Apply language-specific micro-optimizations

Langue du texte source : anglais

number-theory-toolkit

Provide number theory algorithm implementations and guidance

Langue du texte source : anglais

prime-sieve-generator

Generate optimized prime sieves and factorization routines

Langue du texte source : anglais

proof-assistant

Assist in constructing algorithm correctness proofs

Langue du texte source : anglais

string-algorithm-matcher

Match string problems to appropriate algorithms

Langue du texte source : anglais

suffix-structure-builder

Build and query suffix arrays and related structures

Langue du texte source : anglais

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.

Langue du texte source : anglais

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.

Langue du texte source : anglais

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.

Langue du texte source : anglais

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.

Langue du texte source : anglais

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.

Langue du texte source : anglais

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.

Langue du texte source : anglais

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.

Langue du texte source : anglais

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.

Langue du texte source : anglais

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.

Langue du texte source : anglais

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.

Langue du texte source : anglais

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.

Langue du texte source : anglais

hardhat-framework

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

Langue du texte source : anglais

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.

Langue du texte source : anglais

node-operations

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

Langue du texte source : anglais

openzeppelin

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

Langue du texte source : anglais

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.

Langue du texte source : anglais

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.

Langue du texte source : anglais

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.

Langue du texte source : anglais

tokenomics

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

Langue du texte source : anglais

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.

Langue du texte source : anglais

ab-testing

A/B testing skill for player segmentation.

Langue du texte source : anglais

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:…

Langue du texte source : anglais

advanced-ds-library

Provide implementations of advanced data structures

Langue du texte source : anglais

code-profiler

Profile code performance and identify bottlenecks

Langue du texte source : anglais

codeforces-api-client

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

Langue du texte source : anglais

cses-tracker

Track progress through CSES Problem Set with structured learning

Langue du texte source : anglais

data-structure-selector

Select optimal data structure based on operation requirements

Langue du texte source : anglais