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

原文の言語: 英語