Model optimization problems as network flow problems
原文语言:英语
菜单
这个仓库中的 skills
SkillsMP 已收集 a5c-ai/babysitter 中的 2,079 个 Skill。打开任一 Skill 可查看来源和详情。
a5c-ai/babysitter已展示 40 / 2,079 个已收集 Skill。
Model optimization problems as network flow problems
原文语言:英语
Implement computational geometry algorithms
原文语言:英语
Provide robust computational geometry primitives
原文语言:英语
Select optimal graph algorithm based on problem constraints
原文语言:英语
Convert problem descriptions into graph representations
原文语言:英语
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.
原文语言:英语
Identify and verify loop invariants for correctness proofs
原文语言:英语
Apply language-specific micro-optimizations
原文语言:英语
Provide number theory algorithm implementations and guidance
原文语言:英语
Generate optimized prime sieves and factorization routines
原文语言:英语
Assist in constructing algorithm correctness proofs
原文语言:英语
Match string problems to appropriate algorithms
原文语言:英语
Build and query suffix arrays and related structures
原文语言:英语
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 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.
原文语言:英语
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.
原文语言:英语
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 bridge and multi-chain development expertise. Supports LayerZero, Chainlink CCIP, Wormhole, and Axelar for omnichain messaging, token bridging, and cross-chain state verification.
原文语言:英语
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.
原文语言:英语
Integration expertise for major DeFi protocols including Uniswap, Aave, Compound, Chainlink, Curve, and Balancer. Supports swaps, liquidity provision, lending, borrowing, oracles, and flash loans.
原文语言:英语
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.
原文语言:英语
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.
原文语言:英语
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.
原文语言:英语
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.
原文语言:英语
Expert usage of Hardhat for smart contract development, testing, and deployment. Includes TypeChain generation, plugin ecosystem, network forking, and deployment management.
原文语言:英语
Symbolic execution analysis using Mythril for deep vulnerability detection in smart contracts. Supports configurable transaction depth, timeout settings, and proof-of-concept exploit generation.
原文语言:英语
Blockchain node deployment and operations. Supports Ethereum execution and consensus clients, validator operations, node monitoring, MEV-Boost configuration, and archive node management.
原文语言:英语
Expert usage of OpenZeppelin Contracts library for secure smart contract development. Covers access control, token standards, governance, upgrades, and security utilities.
原文语言:英语
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.
原文语言:英语
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 development for The Graph protocol. Includes manifest configuration, GraphQL schema design, AssemblyScript handlers, entity relationships, and deployment to hosted and decentralized networks.
原文语言:英语
Token economics simulation and analysis. Supports supply modeling, staking mechanisms, liquidity mining, governance dynamics, agent-based simulations, and cadCAD integration.
原文语言:英语
Wallet connection and transaction management for dApps using wagmi and viem. Supports multiple connectors, chain switching, EIP-712 signing, and hardware wallet integration.
原文语言:英语
A/B testing skill for player segmentation.
原文语言:英语
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:…
原文语言:英语
Provide implementations of advanced data structures
原文语言:英语
Profile code performance and identify bottlenecks
原文语言:英语
Interface with Codeforces API for contest data, problem sets, and submissions
原文语言:英语
Track progress through CSES Problem Set with structured learning
原文语言:英语
Select optimal data structure based on operation requirements
原文语言:英语