搜索结果: "区块链"
Certora形式化验证器Skill certora-prover
Certora形式化验证技能是一种用于智能合约安全审计和数学证明的专业工具。通过CVL规范语言，提供不变式验证、参数化测试、幽灵变量跟踪和反例分析功能，确保区块链智能合约的正确性和安全性。关键词：智能合约安全、形式化验证、CVL语言、数学证明、区块链审计、DeFi安全、合约测试、反例分析、幽灵变量、参数化规则。
Bob去中心化API市场Skill bob-p2p
Bob P2P网络是一个基于Solana区块链的去中心化API市场，AI智能体可以使用$BOB代币发现、支付并调用其他智能体的服务。该技能支持点对点网络连接、自动支付、API发现与调用，构建了一个完整的去中心化智能体经济生态系统。关键词：去中心化API市场、AI智能体、$BOB代币、Solana区块链、P2P网络、智能体经济、API调用、加密货币支付、区块链应用、Web3服务。
Midnight隐私模式指南Skill midnight-core-concepts:privacy-patterns
本技能详细介绍了在Midnight区块链平台中实现隐私保护的四种核心模式：哈希、承诺、默克尔树和承诺+无效符组合。内容涵盖隐私模式选择指南、具体实现代码示例、常见错误及解决方案，适用于区块链开发者、隐私保护工程师、智能合约开发者、密码学应用开发者、Web3开发者和零知识证明实现者。关键词包括：区块链隐私、Midnight开发、隐私模式、哈希承诺、默克尔树、无效符、零知识证明、智能合约隐私、链上数据保护、隐私保护技术。
NFT操作能力Skill BankrDev-NFTOperations
此技能专注于NFT市场操作，包括集成OpenSea、追踪地板价、浏览收藏品和购买NFT。通过自然语言提示，实现与NFT市场的交互，支持多种区块链如Ethereum和Polygon。关键词：NFT, OpenSea, 地板价, 收藏品, 购买, 自然语言, 区块链, Web3, DApp。
代币交换技能Skill swap-tokens
这是一个用于在SunSwap去中心化交易所（DEX）上进行安全代币交换的技能，通过自动路径查找、滑点保护和交易验证，支持TRX与TRC20代币之间的兑换，适用于DeFi交易、区块链开发和量化金融场景，帮助用户优化交易路径和确保交易安全。
撤销令牌批准技能Skill revoke-approval
此技能用于撤销TRON区块链上TRC20令牌的高风险批准，通过调用智能合约设置批准量为零，以保护用户钱包免受恶意合约攻击，提升资产安全。关键词：区块链安全、撤销令牌批准、TRON钱包保护、智能合约操作、DeFi风险控制、令牌批准审计。
Solidity安全性Skill solidity-security
这个技能专注于Solidity智能合约的安全最佳实践，包括防止重入攻击、整数溢出/下溢、访问控制等常见漏洞，并实施安全的开发模式。适用于编写智能合约、审计现有合约、实施安全措施，支持DeFi、Web3等区块链应用。关键词：Solidity，智能合约，安全，漏洞预防，DeFi，区块链，重入防护，燃气优化。
以太坊EIP查询参考Skill web3-eip-reference
这是一个用于快速查询和理解以太坊改进提案（EIP）与ERC代币标准的技能。它提供了从GitHub、官方文档等多种渠道查询EIP详细内容的方法，并区分了协议级EIP与应用级ERC标准。核心功能包括EIP状态生命周期解读、核心提案摘要（如ERC-20, EIP-1559, EIP-4337等），是区块链开发者、智能合约工程师和Web3研究人员进行协议开发、标准实现和项目审计的必备参考工具。 关键词：以太坊 EIP ERC 查询 参考 智能合约 开发 标准 协议 区块链 Web3
Foundry智能合约开发框架Skill foundry-framework
Foundry 是一个用于以太坊智能合约开发的极速、模块化工具包。本技能涵盖其核心组件 Forge（测试与构建）、Cast（链上交互）、Anvil（本地节点）和 Chisel（REPL调试），提供完整的智能合约开发、测试（包括模糊测试和不变性测试）、Gas优化、本地部署和脚本化部署能力。关键词：Foundry，智能合约开发，以太坊，Solidity测试，模糊测试，Gas报告，区块链开发工具，DApp部署。
Compact标准库Skill compact-core:standard-library
Compact标准库是区块链智能合约开发的核心内置模块，提供加密函数（如持久哈希、椭圆曲线运算）、工具类型（Maybe、Either）、代币操作（铸造、发送、接收、合并）和时间函数（区块时间、时间约束）。适用于零知识证明电路开发、DeFi应用、隐私保护交易和时间敏感型智能合约。关键词：区块链开发、智能合约、零知识证明、加密算法、代币系统、时间锁、Compact语言、隐私计算。
x402协议与Algorand集成Skill teach-algorand-x402
x402协议是一个基于HTTP 402状态码的支付协议，支持Algorand作为一级区块链与EVM和SVM同级集成，通过客户端、服务器和协调者三个组件协同工作实现HTTP原生支付，支持ASA和ALGO资产，具备快速最终性特点。
AlgoKitUtils区块链交互库Skill use-algokit-utils
AlgoKit Utils 是一个用于与 Algorand 区块链交互的开发库，支持 TypeScript 和 Python。它提供了连接 Algorand 网络、发送支付交易、管理账户、部署智能合约以及组合交易组等核心功能。关键词：Algorand 区块链，智能合约开发，DApp 开发，Web3，Python SDK，TypeScript SDK，AlgoKit，区块链交互，交易发送，账户管理。