a5c-ai/babysitter - 48페이지

flow-network-builder

Model optimization problems as network flow problems

원문 언어: 영어

geometry-algorithm-library

Implement computational geometry algorithms

원문 언어: 영어

geometry-primitive-library

Provide robust computational geometry primitives

원문 언어: 영어

graph-algorithm-selector

Select optimal graph algorithm based on problem constraints

원문 언어: 영어

graph-modeler

Convert problem descriptions into graph representations

원문 언어: 영어

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.

원문 언어: 영어

invariant-analyzer

Identify and verify loop invariants for correctness proofs

원문 언어: 영어

micro-optimizer

Apply language-specific micro-optimizations

원문 언어: 영어

number-theory-toolkit

Provide number theory algorithm implementations and guidance

원문 언어: 영어

prime-sieve-generator

Generate optimized prime sieves and factorization routines

원문 언어: 영어

proof-assistant

Assist in constructing algorithm correctness proofs

원문 언어: 영어

string-algorithm-matcher

Match string problems to appropriate algorithms

원문 언어: 영어

suffix-structure-builder

Build and query suffix arrays and related structures

원문 언어: 영어

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.

원문 언어: 영어

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.

원문 언어: 영어

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.

원문 언어: 영어

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.

원문 언어: 영어

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.

원문 언어: 영어

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.

원문 언어: 영어

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.

원문 언어: 영어

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.

원문 언어: 영어

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.

원문 언어: 영어

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.

원문 언어: 영어

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.

원문 언어: 영어

hardhat-framework

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

원문 언어: 영어

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.

원문 언어: 영어

node-operations

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

원문 언어: 영어

openzeppelin

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

원문 언어: 영어

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.

원문 언어: 영어

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.

원문 언어: 영어

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.

원문 언어: 영어

tokenomics

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

원문 언어: 영어

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.

원문 언어: 영어

ab-testing

A/B testing skill for player segmentation.

원문 언어: 영어

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

원문 언어: 영어

advanced-ds-library

Provide implementations of advanced data structures

원문 언어: 영어

code-profiler

Profile code performance and identify bottlenecks

원문 언어: 영어

codeforces-api-client

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

원문 언어: 영어

cses-tracker

Track progress through CSES Problem Set with structured learning

원문 언어: 영어

data-structure-selector

Select optimal data structure based on operation requirements

원문 언어: 영어