Agent skills
Skills you can use with AI coding agents, indexed from public GitHub repositories.
-
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.
a5c-ai/babysitter 514
-
tokenomics
Token economics simulation and analysis. Supports supply modeling, staking mechanisms, liquidity mining, governance dynamics, agent-based simulations, and cadCAD integration.
a5c-ai/babysitter 514
-
zk-circuits
Zero-knowledge circuit development using Circom and Noir languages. Supports constraint optimization, ZK-friendly cryptographic primitives, proof generation (Groth16, PLONK), and Merkle tree implementations.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
hardhat-framework
Expert usage of Hardhat for smart contract development, testing, and deployment. Includes TypeChain generation, plugin ecosystem, network forking, and deployment management.
a5c-ai/babysitter 514
-
node-operations
Blockchain node deployment and operations. Supports Ethereum execution and consensus clients, validator operations, node monitoring, MEV-Boost configuration, and archive node management.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
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.
a5c-ai/babysitter 514
-
qsharp-compiler
Microsoft Q# skill for quantum algorithm development with the Q# language and Azure Quantum integration
a5c-ai/babysitter 514
-
tensor-network-simulator
Tensor network-based simulation skill for large circuit approximation
a5c-ai/babysitter 514
-
calibration-analyzer
Hardware calibration data analysis skill for optimal qubit selection
a5c-ai/babysitter 514
-
resource-estimator
Quantum resource estimation skill for algorithm feasibility analysis
a5c-ai/babysitter 514
-
rb-benchmarker
Randomized benchmarking skill for gate fidelity characterization
a5c-ai/babysitter 514
-
pyzx-simplifier
ZX-calculus based circuit simplification skill for advanced quantum circuit optimization
a5c-ai/babysitter 514