a5c-ai/babysitter - الصفحة ٤٨

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

لغة النص الأصلي: الإنجليزية