a5c-ai/babysitter - Seite 48

flow-network-builder

Model optimization problems as network flow problems

Quellsprache: Englisch

geometry-algorithm-library

Implement computational geometry algorithms

Quellsprache: Englisch

geometry-primitive-library

Provide robust computational geometry primitives

Quellsprache: Englisch

graph-algorithm-selector

Select optimal graph algorithm based on problem constraints

Quellsprache: Englisch

graph-modeler

Convert problem descriptions into graph representations

Quellsprache: Englisch

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.

Quellsprache: Englisch

invariant-analyzer

Identify and verify loop invariants for correctness proofs

Quellsprache: Englisch

micro-optimizer

Apply language-specific micro-optimizations

Quellsprache: Englisch

number-theory-toolkit

Provide number theory algorithm implementations and guidance

Quellsprache: Englisch

prime-sieve-generator

Generate optimized prime sieves and factorization routines

Quellsprache: Englisch

proof-assistant

Assist in constructing algorithm correctness proofs

Quellsprache: Englisch

string-algorithm-matcher

Match string problems to appropriate algorithms

Quellsprache: Englisch

suffix-structure-builder

Build and query suffix arrays and related structures

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

hardhat-framework

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

Quellsprache: Englisch

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.

Quellsprache: Englisch

node-operations

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

Quellsprache: Englisch

openzeppelin

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

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

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.

Quellsprache: Englisch

tokenomics

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

Quellsprache: Englisch

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.

Quellsprache: Englisch

ab-testing

A/B testing skill for player segmentation.

Quellsprache: Englisch

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

Quellsprache: Englisch

advanced-ds-library

Provide implementations of advanced data structures

Quellsprache: Englisch

code-profiler

Profile code performance and identify bottlenecks

Quellsprache: Englisch

codeforces-api-client

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

Quellsprache: Englisch

cses-tracker

Track progress through CSES Problem Set with structured learning

Quellsprache: Englisch

data-structure-selector

Select optimal data structure based on operation requirements

Quellsprache: Englisch