搜索结果: "区块链"
规范到代码合规性检查器Skill spec-to-code-compliance
该技能用于区块链审计，通过对比规范文档（如白皮书）与实际代码，检查代码是否严格符合规范要求。适用于智能合约审计、协议实现合规性检查，旨在发现规范与实现之间的差异，确保安全性和正确性。关键词：区块链审计、智能合约、规范检查、代码合规性、安全审计。
dApp预发布审计Skill qa
此技能用于审核基于Scaffold-ETH 2构建的以太坊去中心化应用（dApp）在发布前的常见错误，确保dApp质量，覆盖钱包连接、按钮流程、品牌移除等关键点。关键词：dApp审计、Scaffold-ETH 2、钱包连接、按钮流程、品牌移除、区块链测试、移动端深度链接、智能合约、QA检查。
ETHSKILLS技能Skill ethskills-master
ETHSKILLS技能提供了AI代理与生产以太坊之间的缺失知识，专注于链上开发、智能合约、dApp部署、Gas优化和L2集成，帮助开发者高效构建安全可靠的区块链应用，关键词包括：以太坊、链上、开发、AI代理、智能合约、dApp、Gas、L2、SEO优化。
智能合约部署前审计清单Skill smart-contract-audit
这是一个用于在区块链智能合约部署到测试网或主网之前，进行系统性安全审计的检查清单。它涵盖了从静态代码分析、访问控制、重入攻击防护、升级安全性、经济模型风险、Gas优化、外部依赖管理到事件与文档的完整审计维度。关键词：智能合约审计、区块链安全、DeFi安全、Solidity、合约部署、安全清单、漏洞检查。
Solidity智能合约安全指南Skill solidity-security
本指南提供Solidity智能合约开发的核心安全模式与漏洞防范措施，涵盖重入攻击防护、访问控制、整数安全、预言机安全、闪电贷风险及Gas优化等关键领域。适用于以太坊智能合约开发者、安全审计员和区块链工程师，帮助构建安全可靠的DeFi、NFT及链上应用。关键词：Solidity安全，智能合约审计，重入攻击，访问控制，预言机，闪电贷，Gas优化，区块链安全。
刺猬智能合约模糊测试技能Skill echidna-fuzzer
Echidna智能合约模糊测试技能是一个专门用于以太坊智能合约安全测试的工具集。它通过基于属性的测试和模糊测试技术，自动发现智能合约中的漏洞和安全问题。主要功能包括不变式定义、语料库管理、覆盖率分析和CI/CD集成，帮助开发者进行全面的安全测试。关键词：智能合约安全测试、Echidna模糊测试、基于属性测试、不变式验证、区块链安全审计、DeFi安全测试、智能合约漏洞挖掘、自动化安全测试、覆盖率分析、CI/CD集成。
SushiSwapSDKSkill sushiswap-sdk
SushiSwap SDK 是一个用于去中心化交易所（DEX）聚合器交互的 TypeScript 开发工具包。它提供强类型安全、精确的算术运算和便捷的 API 封装，帮助开发者高效构建 Web3 应用、DeFi 协议和 DApp，实现代币交换、价格查询和交易生成等功能。关键词：SushiSwap SDK, TypeScript, 区块链开发, DeFi, 代币交换, Web3, 智能合约, DApp, 量化交易接口。
MidnightDApp错误处理Skill midnight-dapp:error-handling
Midnight DApp错误处理技能专注于为基于零知识证明的区块链去中心化应用提供完整的错误管理解决方案。该技能涵盖错误分类、用户友好消息转换、恢复策略实现、React错误边界集成等技术要点，帮助开发者优雅处理证明生成失败、交易拒绝、网络断开等各类异常情况，提升DApp的稳定性和用户体验。关键词：Midnight DApp、错误处理、零知识证明、区块链错误分类、用户友好消息、React错误边界、交易错误恢复、网络错误处理、ZK证明失败、DApp开发。
零知识证明验证Skill midnight-proofs:proof-verification
零知识证明验证技能专注于在区块链交易提交前，在服务器端对ZK-SNARKs或ZK-STARKs等零知识证明进行密码学验证。该技能用于构建验证网关、实现批量验证、优化交易成功率，并确保来自不受信任客户端的证明有效性。关键词：零知识证明、ZK验证、区块链安全、密码学验证、交易预验证、批量验证、证明网关、Gas优化。
CoingeckoAPI开发助手Skill coingecko
Coingecko API 开发助手是一个专注于加密货币市场数据接口的集成工具。提供完整的 CoinGecko API 文档支持、代码示例和最佳实践指南，帮助开发者快速构建加密货币价格追踪器、市场分析工具和区块链数据应用。关键词：CoinGecko API, 加密货币数据, 数字货币价格, 市场数据接口, 区块链开发, 价格追踪, 量化交易数据源
x402协议与Algorand集成Skill teach-algorand-x402
x402协议是一个基于HTTP 402状态码的支付协议，支持Algorand作为一级区块链与EVM和SVM同级集成，通过客户端、服务器和协调者三个组件协同工作实现HTTP原生支付，支持ASA和ALGO资产，具备快速最终性特点。
环境配置向导Skill setup
环境配置向导是一个交互式引导工具，用于检查和配置量化交易系统所需的各种技能环境。它通过扫描环境变量，按类别（如DeFi、期货、预测市场、Solana、AI等）分组展示技能状态，并提供一键配置命令。该工具帮助用户快速完成系统初始化，确保所有依赖模块（如API密钥、节点连接、策略参数）正确设置，是启动量化交易、算法交易和自动化策略部署前的必备步骤。关键词：量化交易环境配置，自动化交易设置，DeFi配置工具，AI策略初始化，区块链交易系统搭建。