区块链 Skill技能列表
Drift协议Skill drift
Drift 协议是一个基于 Solana 区块链的去中心化交易所，专门用于交易永久期货和参与预测市场。它提供杠杆设置、头寸管理和市场信息查询等功能，支持自动化交易和风险管理。关键词：Solana, DEX, 永久期货, 预测市场, 区块链金融, 量化交易, DeFi, 智能合约, 加密货币
Web3身份验证SDK模式Skill web3-privy
Privy SDK 是一个用于Web3应用的身份验证解决方案，提供钱包登录、嵌入式钱包、社交登录和服务器端验证功能。关键词：Web3身份验证、区块链登录、嵌入式钱包、Privy SDK、多链支持、React集成、DeFi应用开发。
Drift协议SDKSkill drift-sdk
这是一个用于在Solana区块链上的Drift Protocol进行永续期货交易的直接SDK工具。它支持市场订单、限价订单、杠杆控制、风险管理等功能，无需网关服务器，便于开发者集成和交易。关键词：Drift Protocol, Solana, 永续期货, SDK, 交易, 杠杆, 风险管理。
Cashu命令行钱包Skill cashu
Cashu命令行钱包是一款基于比特币闪电网络的电子现金管理工具，支持私密发送接收代币、支付闪电发票、处理402支付请求，适用于数字货币支付、微支付场景和Web3应用集成。关键词：比特币支付、闪电网络、电子现金、命令行钱包、Cashu协议、微支付、数字货币钱包、Web3工具。
零知识证明生成Skill midnight-proofs:proof-generation
零知识证明生成技能专注于在服务器端高效、可扩展地生成零知识证明。它涉及构建证明即服务后端，将计算密集型证明任务从客户端设备卸载，实现异步处理和队列管理，以支持高吞吐量应用。关键词：零知识证明、ZK证明、服务器端证明、证明即服务、异步证明、证明队列、密码学、区块链隐私、可扩展后端。
Certora形式化验证器Skill certora-prover
Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。
密码学原语Skill crypto-primitives
本技能提供区块链和网络安全应用中核心密码学原语的实现与安全使用指南。涵盖数字签名（ECDSA、BLS、Schnorr）、密钥派生（BIP-32/39/44）、秘密共享（Shamir）、哈希函数（Keccak、Poseidon）、承诺方案（Pedersen）、安全随机数生成以及抗侧信道攻击的恒定时间操作。适用于区块链开发者、安全工程师和密码学研究人员，确保密码学实现的安全性和正确性。关键词：密码学原语、区块链安全、数字签名、密钥管理、秘密共享、零知识证明、侧信道防护、安全随机数。
零知识证明验证Skill midnight-proofs:proof-verification
零知识证明验证技能专注于在区块链交易提交前，在服务器端对ZK-SNARKs或ZK-STARKs等零知识证明进行密码学验证。该技能用于构建验证网关、实现批量验证、优化交易成功率，并确保来自不受信任客户端的证明有效性。关键词：零知识证明、ZK验证、区块链安全、密码学验证、交易预验证、批量验证、证明网关、Gas优化。
刺猬智能合约模糊测试技能Skill echidna-fuzzer
Echidna智能合约模糊测试技能是一个专门用于以太坊智能合约安全测试的工具集。它通过基于属性的测试和模糊测试技术，自动发现智能合约中的漏洞和安全问题。主要功能包括不变式定义、语料库管理、覆盖率分析和CI/CD集成，帮助开发者进行全面的安全测试。关键词：智能合约安全测试、Echidna模糊测试、基于属性测试、不变式验证、区块链安全审计、DeFi安全测试、智能合约漏洞挖掘、自动化安全测试、覆盖率分析、CI/CD集成。
Foundry智能合约开发框架Skill foundry-framework
Foundry 是一个用于以太坊智能合约开发的极速、模块化工具包。本技能涵盖其核心组件 Forge（测试与构建）、Cast（链上交互）、Anvil（本地节点）和 Chisel（REPL调试），提供完整的智能合约开发、测试（包括模糊测试和不变性测试）、Gas优化、本地部署和脚本化部署能力。关键词：Foundry，智能合约开发，以太坊，Solidity测试，模糊测试，Gas报告，区块链开发工具，DApp部署。
EVM智能合约Gas优化技能Skill gas-optimization
本技能专注于EVM（以太坊虚拟机）智能合约的Gas成本优化技术，提供从存储布局、内存管理到汇编级优化的完整解决方案。包含存储打包、calldata与内存选择、无检查算术、自定义错误、循环优化、批量操作等核心优化策略，并集成基准测试工具进行性能对比分析。适用于区块链开发者、智能合约工程师、DeFi项目优化等场景。关键词：智能合约优化，Gas节省，EVM性能，存储优化，Solidity开发，区块链成本，DeFi优化，基准测试，汇编优化，批量交易。
Hardhat智能合约开发框架Skill hardhat-framework
Hardhat框架技能是用于以太坊智能合约开发、测试和部署的专业工具集。它提供完整的开发环境，包括合约编译、本地网络部署、自动化测试、Gas费用分析、合约验证等功能。关键词：以太坊开发、智能合约、区块链开发、Solidity、Web3、DApp开发、合约测试、部署管理、TypeChain、网络分叉。