搜索结果: "区块链"
Owl协议自动化Skill owl-protocol-automation
这个技能使用 Rube MCP 和 Composio 工具集来自动化 Owl Protocol 的操作，包括发现可用工具、管理连接和执行特定任务，适用于 Web3 和区块链开发中的自动化流程。关键词：Owl Protocol, Rube MCP, Composio, 自动化, 工具集成, Web3, 区块链。
Bankrx402SDK：余额查询Skill Bankrx402SDK-BalanceQueries
Bankr x402 SDK是一个用于查询多链代币余额和投资组合数据的开发工具。它通过自然语言提示，帮助用户快速获取在Base、Ethereum、Polygon和Solana等区块链上的代币余额、NFT持有信息，以及计算投资组合的美元价值。关键词：区块链、多链、余额查询、代币、NFT、投资组合价值、自然语言处理、SDK、Web3、DApp开发。
查找区块信息Skill lookup-block-info
查找区块信息技能用于从BSV（比特币SV）区块链检索详细的区块数据，支持通过高度或哈希查询，提供JSON和默认格式输出，适用于区块链开发和数据分析。关键词：BSV、区块链、区块信息、查询、API、节点运维、加密数据。
ArbitrumdApp开发技能指南Skill arbitrum-dapp-skill
本技能指南是关于如何在 Arbitrum 区块链上使用 Stylus (Rust) 和 Solidity 开发去中心化应用 (dApp) 的完整教程。内容涵盖从本地开发环境搭建 (nitro-devnode)、智能合约编写与测试 (Rust/Solidity)、到前端 (React/Next.js) 集成 (viem/wagmi) 的全栈工作流。关键词：Arbitrum, dApp开发, 智能合约, Stylus, Rust, Solidity, 区块链开发, 前端集成, 本地测试, 部署指南。
Rust与Anchor开发模式指南Skill rust-patterns
这是一份关于Rust编程语言和Anchor框架在Solana区块链上开发智能合约的实用模式指南。内容涵盖账户验证、PDA（程序派生地址）推导、跨程序调用（CPI）安全以及通用Rust最佳实践。适用于智能合约开发者、区块链工程师和安全审计人员，旨在提升代码安全性、可读性和性能。关键词：Rust, Anchor, Solana, 智能合约, 区块链开发, PDA, CPI, 账户安全, 最佳实践。
Web3前端开发模式Skill web3-frontend
Web3前端开发模式是用于构建去中心化应用(dApp)前端界面的最佳实践集合。该技能涵盖钱包连接集成（EVM和Solana生态）、交易状态管理、大数字显示格式化、区块链错误信息翻译、链切换用户体验优化以及域名解析等功能实现。关键词：Web3前端、dApp开发、钱包连接、区块链交易、用户体验优化、Ethereum、Solana、React、TypeScript、智能合约交互。
Web3身份验证SDK模式Skill web3-privy
Privy SDK 是一个用于Web3应用的身份验证解决方案，提供钱包登录、嵌入式钱包、社交登录和服务器端验证功能。关键词：Web3身份验证、区块链登录、嵌入式钱包、Privy SDK、多链支持、React集成、DeFi应用开发。
Certora形式化验证器Skill certora-prover
Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。
链上取证分析Skill chain-forensics
链上取证分析技能是用于区块链安全调查的专业工具，提供交易追踪、可疑模式识别、MEV分析、地址聚类和跨链资产追踪等功能。该技能能够生成详细的取证报告，帮助安全团队进行事件响应和调查分析。关键词：区块链安全、链上分析、交易取证、资金追踪、MEV分析、地址聚类、跨链追踪、安全调查、取证报告、DeFi安全。
密码学原语Skill crypto-primitives
本技能提供区块链和网络安全应用中核心密码学原语的实现与安全使用指南。涵盖数字签名（ECDSA、BLS、Schnorr）、密钥派生（BIP-32/39/44）、秘密共享（Shamir）、哈希函数（Keccak、Poseidon）、承诺方案（Pedersen）、安全随机数生成以及抗侧信道攻击的恒定时间操作。适用于区块链开发者、安全工程师和密码学研究人员，确保密码学实现的安全性和正确性。关键词：密码学原语、区块链安全、数字签名、密钥管理、秘密共享、零知识证明、侧信道防护、安全随机数。
刺猬智能合约模糊测试技能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部署。