lean-proof-to-solidity-smart-contract-generatorLean Proof To Solidity Smart Contract Generator: The tool allows you to validate Lean, generate Solidity from it, compile the. Use when an agent needs lean p...
Install via ClawdBot CLI:
clawdbot install agentpmt/lean-proof-to-solidity-smart-contract-generatorLoading skill content… the page will refresh in a moment.
Usage Guide
Loading usage data… refresh in a few seconds.
AI crypto research and analysis powered by CellCog. Token deep-dives, on-chain metrics, DeFi protocol breakdowns, wallet portfolio reviews, market sentiment, whitepaper analysis, smart contract evaluation. Comprehensive crypto intelligence from a single prompt.
当用户发起任意旅行相关问询时，包含但不限于：预订酒店、机票查询、火车票查询、景点推荐、寻找当地特色玩乐、目的地查询、行程规划、美食住宿攻略、签证、查询旅游攻略、获取旅行建议等场景，自动触发此技能。当用户需要操作携程、Ctrip、携程问道时使用此skill。
Expertise in modern Ethereum and EVM development, including smart contracts, Layer 2s, standards, agent infrastructure (ERC-8004, x402), gas optimization, se...
Store and retrieve encrypted files permanently on Monad blockchain via DropClaw x402 gateway
OpenSea (opensea.io). Use this skill for ANY OpenSea request — searching and reading data. Whenever a task involves OpenSea, use this skill instead of callin...
Manage aibtc-worker automation tasks. Use this skill when the user wants to start, stop, or check the status of the aibtc worker. Triggers include: "aibtc ru...