[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6E7XGNFD3CXS6H2ZDM4MB7S":3,"skill-same:01M6E7XGNFD3CXS6H2ZDM4MB7S":521},{"skillNo":4,"name":5,"nameZh":6,"description":7,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":16,"categories":17,"keywords":23,"publishedAt":35,"linkOnly":36,"markdownContent":37,"markdownBody":38,"frontMatter":39,"refName":43,"commitSha":44,"skillDirectory":45,"forksCount":46,"repositoryHtmlUrl":47,"repositoryHomepageUrl":48,"ownerHtmlUrl":49,"ownerBlogUrl":6,"ownerDescription":50,"updatedAt":51,"install":52,"resources":65},"01M6E7XGNFD3CXS6H2ZDM4MB7S","conversion-tools-automation",null,"Automate Conversion Tools tasks via Rube MCP (Composio). Always search tools first for current schemas.","ComeOnOliver\u002Fskillshub","ComeOnOliver","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F43215937?v=4","01M6E5JNFECJAAVFE0W7SMWWD2","Haoran Shu","01M6E5JNNDQS7AJZDYFQ8TPZCK",67,"MIT","https:\u002F\u002Fgithub.com\u002FComeOnOliver\u002Fskillshub\u002Fblob\u002Fmain\u002Fskills\u002FComposioHQ\u002Fawesome-claude-skills\u002Fconversion-tools-automation\u002FSKILL.md",[18],{"categoryNo":19,"categoryName":20,"taxonomyType":21,"taxonomyTypeDesc":22},"01JBSEEDCAT000000000000023","Skill与智能体开发","SCENARIO","使用场景",[24,25,26,27,28,29,30,31,32,33,34],"automation","Tools","conversion","conversion tools automation","MCP","tasks","search","first","automate","composio","via","2026-11-10 10:12:30",false,"---\nname: conversion-tools-automation\ndescription: \"Automate Conversion Tools tasks via Rube MCP (Composio). Always search tools first for current schemas.\"\nrequires:\n  mcp: [rube]\n---\n\n# Conversion Tools Automation via Rube MCP\n\nAutomate Conversion Tools operations through Composio's Conversion Tools toolkit via Rube MCP.\n\n**Toolkit docs**: [composio.dev\u002Ftoolkits\u002Fconversion_tools](https:\u002F\u002Fcomposio.dev\u002Ftoolkits\u002Fconversion_tools)\n\n## Prerequisites\n\n- Rube MCP must be connected (RUBE_SEARCH_TOOLS available)\n- Active Conversion Tools connection via `RUBE_MANAGE_CONNECTIONS` with toolkit `conversion_tools`\n- Always call `RUBE_SEARCH_TOOLS` first to get current tool schemas\n\n## Setup\n\n**Get Rube MCP**: Add `https:\u002F\u002Frube.app\u002Fmcp` as an MCP server in your client configuration. No API keys needed — just add the endpoint and it works.\n\n1. Verify Rube MCP is available by confirming `RUBE_SEARCH_TOOLS` responds\n2. Call `RUBE_MANAGE_CONNECTIONS` with toolkit `conversion_tools`\n3. If connection is not ACTIVE, follow the returned auth link to complete setup\n4. Confirm connection status shows ACTIVE before running any workflows\n\n## Tool Discovery\n\nAlways discover available tools before executing workflows:\n\n```\nRUBE_SEARCH_TOOLS\nqueries: [{use_case: \"Conversion Tools operations\", known_fields: \"\"}]\nsession: {generate_id: true}\n```\n\nThis returns available tool slugs, input schemas, recommended execution plans, and known pitfalls.\n\n## Core Workflow Pattern\n\n### Step 1: Discover Available Tools\n\n```\nRUBE_SEARCH_TOOLS\nqueries: [{use_case: \"your specific Conversion Tools task\"}]\nsession: {id: \"existing_session_id\"}\n```\n\n### Step 2: Check Connection\n\n```\nRUBE_MANAGE_CONNECTIONS\ntoolkits: [\"conversion_tools\"]\nsession_id: \"your_session_id\"\n```\n\n### Step 3: Execute Tools\n\n```\nRUBE_MULTI_EXECUTE_TOOL\ntools: [{\n  tool_slug: \"TOOL_SLUG_FROM_SEARCH\",\n  arguments: {\u002F* schema-compliant args from search results *\u002F}\n}]\nmemory: {}\nsession_id: \"your_session_id\"\n```\n\n## Known Pitfalls\n\n- **Always search first**: Tool schemas change. Never hardcode tool slugs or arguments without calling `RUBE_SEARCH_TOOLS`\n- **Check connection**: Verify `RUBE_MANAGE_CONNECTIONS` shows ACTIVE status before executing tools\n- **Schema compliance**: Use exact field names and types from the search results\n- **Memory parameter**: Always include `memory` in `RUBE_MULTI_EXECUTE_TOOL` calls, even if empty (`{}`)\n- **Session reuse**: Reuse session IDs within a workflow. Generate new ones for new workflows\n- **Pagination**: Check responses for pagination tokens and continue fetching until complete\n\n## Quick Reference\n\n| Operation | Approach |\n|-----------|----------|\n| Find tools | `RUBE_SEARCH_TOOLS` with Conversion Tools-specific use case |\n| Connect | `RUBE_MANAGE_CONNECTIONS` with toolkit `conversion_tools` |\n| Execute | `RUBE_MULTI_EXECUTE_TOOL` with discovered tool slugs |\n| Bulk ops | `RUBE_REMOTE_WORKBENCH` with `run_composio_tool()` |\n| Full schema | `RUBE_GET_TOOL_SCHEMAS` for tools with `schemaRef` |\n\n---\n*Powered by [Composio](https:\u002F\u002Fcomposio.dev)*\n\n","# Conversion Tools Automation via Rube MCP\n\nAutomate Conversion Tools operations through Composio's Conversion Tools toolkit via Rube MCP.\n\n**Toolkit docs**: [composio.dev\u002Ftoolkits\u002Fconversion_tools](https:\u002F\u002Fcomposio.dev\u002Ftoolkits\u002Fconversion_tools)\n\n## Prerequisites\n\n- Rube MCP must be connected (RUBE_SEARCH_TOOLS available)\n- Active Conversion Tools connection via `RUBE_MANAGE_CONNECTIONS` with toolkit `conversion_tools`\n- Always call `RUBE_SEARCH_TOOLS` first to get current tool schemas\n\n## Setup\n\n**Get Rube MCP**: Add `https:\u002F\u002Frube.app\u002Fmcp` as an MCP server in your client configuration. No API keys needed — just add the endpoint and it works.\n\n1. Verify Rube MCP is available by confirming `RUBE_SEARCH_TOOLS` responds\n2. Call `RUBE_MANAGE_CONNECTIONS` with toolkit `conversion_tools`\n3. If connection is not ACTIVE, follow the returned auth link to complete setup\n4. Confirm connection status shows ACTIVE before running any workflows\n\n## Tool Discovery\n\nAlways discover available tools before executing workflows:\n\n```\nRUBE_SEARCH_TOOLS\nqueries: [{use_case: \"Conversion Tools operations\", known_fields: \"\"}]\nsession: {generate_id: true}\n```\n\nThis returns available tool slugs, input schemas, recommended execution plans, and known pitfalls.\n\n## Core Workflow Pattern\n\n### Step 1: Discover Available Tools\n\n```\nRUBE_SEARCH_TOOLS\nqueries: [{use_case: \"your specific Conversion Tools task\"}]\nsession: {id: \"existing_session_id\"}\n```\n\n### Step 2: Check Connection\n\n```\nRUBE_MANAGE_CONNECTIONS\ntoolkits: [\"conversion_tools\"]\nsession_id: \"your_session_id\"\n```\n\n### Step 3: Execute Tools\n\n```\nRUBE_MULTI_EXECUTE_TOOL\ntools: [{\n  tool_slug: \"TOOL_SLUG_FROM_SEARCH\",\n  arguments: {\u002F* schema-compliant args from search results *\u002F}\n}]\nmemory: {}\nsession_id: \"your_session_id\"\n```\n\n## Known Pitfalls\n\n- **Always search first**: Tool schemas change. Never hardcode tool slugs or arguments without calling `RUBE_SEARCH_TOOLS`\n- **Check connection**: Verify `RUBE_MANAGE_CONNECTIONS` shows ACTIVE status before executing tools\n- **Schema compliance**: Use exact field names and types from the search results\n- **Memory parameter**: Always include `memory` in `RUBE_MULTI_EXECUTE_TOOL` calls, even if empty (`{}`)\n- **Session reuse**: Reuse session IDs within a workflow. Generate new ones for new workflows\n- **Pagination**: Check responses for pagination tokens and continue fetching until complete\n\n## Quick Reference\n\n| Operation | Approach |\n|-----------|----------|\n| Find tools | `RUBE_SEARCH_TOOLS` with Conversion Tools-specific use case |\n| Connect | `RUBE_MANAGE_CONNECTIONS` with toolkit `conversion_tools` |\n| Execute | `RUBE_MULTI_EXECUTE_TOOL` with discovered tool slugs |\n| Bulk ops | `RUBE_REMOTE_WORKBENCH` with `run_composio_tool()` |\n| Full schema | `RUBE_GET_TOOL_SCHEMAS` for tools with `schemaRef` |\n\n---\n*Powered by [Composio](https:\u002F\u002Fcomposio.dev)*\n\n",{"name":5,"requires":40,"description":7},{"mcp":41},[42],"rube","main","def8531e65114c0fca8fb8551c1871ee0eed705c","skills\u002FComposioHQ\u002Fawesome-claude-skills\u002Fconversion-tools-automation",24,"https:\u002F\u002Fgithub.com\u002FComeOnOliver\u002Fskillshub","https:\u002F\u002Fskillshub.wtf","https:\u002F\u002Fgithub.com\u002FComeOnOliver","AI & Blockchain Engineer\r\n","2026-06-24 22:07:19",{"source":8,"skillName":5,"commands":53,"prompt":63,"zipAvailable":64},[54,57,60],{"tool":55,"command":56},"npx","npx skills add ComeOnOliver\u002Fskillshub --skill conversion-tools-automation",{"tool":58,"command":59},"bunx","bunx skills add ComeOnOliver\u002Fskillshub --skill conversion-tools-automation",{"tool":61,"command":62},"pnpm","pnpm dlx skills add ComeOnOliver\u002Fskillshub --skill conversion-tools-automation","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002FComeOnOliver\u002Fskillshub\u002Fblob\u002Fmain\u002Fskills\u002FComposioHQ\u002Fawesome-claude-skills\u002Fconversion-tools-automation\u002FSKILL.md",true,[66,72,76,80,84,88,94,98,102,106,110,114,117,121,125,129,133,137,141,145,149,155,159,163,167,171,175,179,183,186,190,194,198,202,206,210,214,220,224,228,231,235,239,243,246,250,254,258,262,266,270,274,277,280,283,286,289,292,295,298,301,304,307,311,315,319,323,327,331,335,339,343,347,351,355,359,363,367,371,375,378,381,384,387,390,393,396,399,402,405,408,412,416,422,426,430,434,438,442,446,450,454,458,462,466,470,474,478,482,486,490,494,498,502,506,510,513,517],{"path":67,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":70,"sourceHtmlUrl":71},".gitignore","OTHER","其他",753,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002F.gitignore",{"path":73,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":74,"sourceHtmlUrl":75},".npmignore",352,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002F.npmignore",{"path":77,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":78,"sourceHtmlUrl":79},"bin\u002Fleanstral",6500816,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fbin\u002Fleanstral",{"path":81,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":82,"sourceHtmlUrl":83},"Cargo.lock",47144,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002FCargo.lock",{"path":85,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":86,"sourceHtmlUrl":87},"Cargo.toml",307,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002FCargo.toml",{"path":89,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":92,"sourceHtmlUrl":93},"claude.md","REFERENCE","参考文档",6953,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fclaude.md",{"path":95,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":96,"sourceHtmlUrl":97},"crates\u002Fqedgen\u002FCargo.toml",544,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002FCargo.toml",{"path":99,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":100,"sourceHtmlUrl":101},"crates\u002Fqedgen\u002Flean_support\u002Flake-manifest.json",119,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002Flake-manifest.json",{"path":103,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":104,"sourceHtmlUrl":105},"crates\u002Fqedgen\u002Flean_support\u002Flakefile.lean",112,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002Flakefile.lean",{"path":107,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":108,"sourceHtmlUrl":109},"crates\u002Fqedgen\u002Flean_support\u002Flean-toolchain",25,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002Flean-toolchain",{"path":111,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":112,"sourceHtmlUrl":113},"crates\u002Fqedgen\u002Flean_support\u002FQEDGen.lean",166,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002FQEDGen.lean",{"path":115,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":112,"sourceHtmlUrl":116},"crates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana.lean",{"path":118,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":119,"sourceHtmlUrl":120},"crates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana\u002FAccount.lean",4050,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana\u002FAccount.lean",{"path":122,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":123,"sourceHtmlUrl":124},"crates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana\u002FAuthority.lean",285,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana\u002FAuthority.lean",{"path":126,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":127,"sourceHtmlUrl":128},"crates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana\u002FCpi.lean",3361,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana\u002FCpi.lean",{"path":130,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":131,"sourceHtmlUrl":132},"crates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana\u002FState.lean",1960,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana\u002FState.lean",{"path":134,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":135,"sourceHtmlUrl":136},"crates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana\u002FToken.lean",1430,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana\u002FToken.lean",{"path":138,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":139,"sourceHtmlUrl":140},"crates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana\u002FValid.lean",2032,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002FQEDGen\u002FSolana\u002FValid.lean",{"path":142,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":143,"sourceHtmlUrl":144},"crates\u002Fqedgen\u002Flean_support\u002FREADME.md",2913,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002FREADME.md",{"path":146,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":147,"sourceHtmlUrl":148},"crates\u002Fqedgen\u002Flean_support\u002Ftest_lemmas.lean",1235,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Flean_support\u002Ftest_lemmas.lean",{"path":150,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":153,"sourceHtmlUrl":154},"crates\u002Fqedgen\u002Fsrc\u002Fapi.rs","SCRIPT","脚本",33096,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Fsrc\u002Fapi.rs",{"path":156,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":157,"sourceHtmlUrl":158},"crates\u002Fqedgen\u002Fsrc\u002Fconsolidate.rs",7104,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Fsrc\u002Fconsolidate.rs",{"path":160,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":161,"sourceHtmlUrl":162},"crates\u002Fqedgen\u002Fsrc\u002Fmain.rs",4163,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Fsrc\u002Fmain.rs",{"path":164,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":165,"sourceHtmlUrl":166},"crates\u002Fqedgen\u002Fsrc\u002Fproject.rs",3192,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Fsrc\u002Fproject.rs",{"path":168,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":169,"sourceHtmlUrl":170},"crates\u002Fqedgen\u002Fsrc\u002Fspec.rs",19798,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Fsrc\u002Fspec.rs",{"path":172,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":173,"sourceHtmlUrl":174},"crates\u002Fqedgen\u002Fsrc\u002Fvalidate.rs",5730,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Fsrc\u002Fvalidate.rs",{"path":176,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":177,"sourceHtmlUrl":178},"crates\u002Fqedgen\u002Ftemplates\u002F.gitignore",29,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Ftemplates\u002F.gitignore",{"path":180,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":181,"sourceHtmlUrl":182},"crates\u002Fqedgen\u002Ftemplates\u002Flakefile.lean",293,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Ftemplates\u002Flakefile.lean",{"path":184,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":108,"sourceHtmlUrl":185},"crates\u002Fqedgen\u002Ftemplates\u002Flean-toolchain","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Ftemplates\u002Flean-toolchain",{"path":187,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":188,"sourceHtmlUrl":189},"crates\u002Fqedgen\u002Ftemplates\u002FMain.lean",154,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Ftemplates\u002FMain.lean",{"path":191,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":192,"sourceHtmlUrl":193},"crates\u002Fqedgen\u002Ftemplates\u002FPROMPT_TEMPLATE.md",3301,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Ftemplates\u002FPROMPT_TEMPLATE.md",{"path":195,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":196,"sourceHtmlUrl":197},"crates\u002Fqedgen\u002Ftemplates\u002FREADME.lean.md",1595,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fcrates\u002Fqedgen\u002Ftemplates\u002FREADME.lean.md",{"path":199,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":200,"sourceHtmlUrl":201},"docs\u002FCNAME",10,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fdocs\u002FCNAME",{"path":203,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":204,"sourceHtmlUrl":205},"docs\u002Findex.html",11153,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fdocs\u002Findex.html",{"path":207,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":208,"sourceHtmlUrl":209},"docs\u002Fllms-full.txt",8919,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fdocs\u002Fllms-full.txt",{"path":211,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":212,"sourceHtmlUrl":213},"docs\u002Fllms.txt",2177,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fdocs\u002Fllms.txt",{"path":215,"resourceType":216,"resourceTypeDesc":217,"sizeBytes":218,"sourceHtmlUrl":219},"docs\u002Flogo-dark.png","ASSET","资产文件",15441,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fdocs\u002Flogo-dark.png",{"path":221,"resourceType":216,"resourceTypeDesc":217,"sizeBytes":222,"sourceHtmlUrl":223},"docs\u002Flogo-dark.svg",648,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fdocs\u002Flogo-dark.svg",{"path":225,"resourceType":216,"resourceTypeDesc":217,"sizeBytes":226,"sourceHtmlUrl":227},"docs\u002Flogo-light.png",15474,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fdocs\u002Flogo-light.png",{"path":229,"resourceType":216,"resourceTypeDesc":217,"sizeBytes":222,"sourceHtmlUrl":230},"docs\u002Flogo-light.svg","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fdocs\u002Flogo-light.svg",{"path":232,"resourceType":216,"resourceTypeDesc":217,"sizeBytes":233,"sourceHtmlUrl":234},"docs\u002Flogo.png",153119,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fdocs\u002Flogo.png",{"path":236,"resourceType":216,"resourceTypeDesc":217,"sizeBytes":237,"sourceHtmlUrl":238},"docs\u002Fog.png",39108,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fdocs\u002Fog.png",{"path":240,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":241,"sourceHtmlUrl":242},"docs\u002Fstyle.css",7814,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fdocs\u002Fstyle.css",{"path":244,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":14,"sourceHtmlUrl":245},"example\u002Fescrow\u002F.gitignore","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002F.gitignore",{"path":247,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":248,"sourceHtmlUrl":249},"example\u002Fescrow\u002F.prettierignore",61,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002F.prettierignore",{"path":251,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":252,"sourceHtmlUrl":253},"example\u002Fescrow\u002FAnchor.toml",353,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002FAnchor.toml",{"path":255,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":256,"sourceHtmlUrl":257},"example\u002Fescrow\u002FCargo.lock",74497,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002FCargo.lock",{"path":259,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":260,"sourceHtmlUrl":261},"example\u002Fescrow\u002FCargo.toml",215,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002FCargo.toml",{"path":263,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":264,"sourceHtmlUrl":265},"example\u002Fescrow\u002Fformal_verification\u002F.gitignore",87,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002F.gitignore",{"path":267,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":268,"sourceHtmlUrl":269},"example\u002Fescrow\u002Fformal_verification\u002FEscrowProofs.lean",8842,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002FEscrowProofs.lean",{"path":271,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":272,"sourceHtmlUrl":273},"example\u002Fescrow\u002Fformal_verification\u002Flakefile.lean",264,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002Flakefile.lean",{"path":275,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":104,"sourceHtmlUrl":276},"example\u002Fescrow\u002Fformal_verification\u002Flean_support\u002Flakefile.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002Flean_support\u002Flakefile.lean",{"path":278,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":108,"sourceHtmlUrl":279},"example\u002Fescrow\u002Fformal_verification\u002Flean_support\u002Flean-toolchain","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002Flean_support\u002Flean-toolchain",{"path":281,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":112,"sourceHtmlUrl":282},"example\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen.lean",{"path":284,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":112,"sourceHtmlUrl":285},"example\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana.lean",{"path":287,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":119,"sourceHtmlUrl":288},"example\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FAccount.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FAccount.lean",{"path":290,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":123,"sourceHtmlUrl":291},"example\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FAuthority.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FAuthority.lean",{"path":293,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":127,"sourceHtmlUrl":294},"example\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FCpi.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FCpi.lean",{"path":296,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":131,"sourceHtmlUrl":297},"example\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FState.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FState.lean",{"path":299,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":135,"sourceHtmlUrl":300},"example\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FToken.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FToken.lean",{"path":302,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":139,"sourceHtmlUrl":303},"example\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FValid.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FValid.lean",{"path":305,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":108,"sourceHtmlUrl":306},"example\u002Fescrow\u002Fformal_verification\u002Flean-toolchain","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002Flean-toolchain",{"path":308,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":309,"sourceHtmlUrl":310},"example\u002Fescrow\u002Fformal_verification\u002FREADME.md",675,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002FREADME.md",{"path":312,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":313,"sourceHtmlUrl":314},"example\u002Fescrow\u002Fformal_verification\u002FSPEC.md",6686,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002FSPEC.md",{"path":316,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":317,"sourceHtmlUrl":318},"example\u002Fescrow\u002Fformal_verification\u002FVERIFICATION_SCOPE.md",5062,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fformal_verification\u002FVERIFICATION_SCOPE.md",{"path":320,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":321,"sourceHtmlUrl":322},"example\u002Fescrow\u002Fmigrations\u002Fdeploy.ts",428,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fmigrations\u002Fdeploy.ts",{"path":324,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":325,"sourceHtmlUrl":326},"example\u002Fescrow\u002Fpackage.json",528,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fpackage.json",{"path":328,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":329,"sourceHtmlUrl":330},"example\u002Fescrow\u002Fprograms\u002Fescrow\u002FCargo.toml",376,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fprograms\u002Fescrow\u002FCargo.toml",{"path":332,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":333,"sourceHtmlUrl":334},"example\u002Fescrow\u002Fprograms\u002Fescrow\u002Fsrc\u002Flib.rs",6878,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fprograms\u002Fescrow\u002Fsrc\u002Flib.rs",{"path":336,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":337,"sourceHtmlUrl":338},"example\u002Fescrow\u002Fprograms\u002Fescrow\u002FXargo.toml",62,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Fprograms\u002Fescrow\u002FXargo.toml",{"path":340,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":341,"sourceHtmlUrl":342},"example\u002Fescrow\u002Ftests\u002Fescrow.ts",8826,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Ftests\u002Fescrow.ts",{"path":344,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":345,"sourceHtmlUrl":346},"example\u002Fescrow\u002Ftsconfig.json",205,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fescrow\u002Ftsconfig.json",{"path":348,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":349,"sourceHtmlUrl":350},"example\u002Fpercolator\u002F.cargo\u002Fconfig.toml",33,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002F.cargo\u002Fconfig.toml",{"path":352,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":353,"sourceHtmlUrl":354},"example\u002Fpercolator\u002F.gitignore",320,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002F.gitignore",{"path":356,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":357,"sourceHtmlUrl":358},"example\u002Fpercolator\u002FCargo.lock",8654,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002FCargo.lock",{"path":360,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":361,"sourceHtmlUrl":362},"example\u002Fpercolator\u002FCargo.toml",639,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002FCargo.toml",{"path":364,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":365,"sourceHtmlUrl":366},"example\u002Fpercolator\u002Fexamples\u002Foffsets.rs",1380,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fexamples\u002Foffsets.rs",{"path":368,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":369,"sourceHtmlUrl":370},"example\u002Fpercolator\u002Fformal_verification\u002Flake-manifest.json",3311,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flake-manifest.json",{"path":372,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":373,"sourceHtmlUrl":374},"example\u002Fpercolator\u002Fformal_verification\u002Flakefile.lean",282,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flakefile.lean",{"path":376,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":104,"sourceHtmlUrl":377},"example\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002Flakefile.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002Flakefile.lean",{"path":379,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":108,"sourceHtmlUrl":380},"example\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002Flean-toolchain","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002Flean-toolchain",{"path":382,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":112,"sourceHtmlUrl":383},"example\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen.lean",{"path":385,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":112,"sourceHtmlUrl":386},"example\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana.lean",{"path":388,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":119,"sourceHtmlUrl":389},"example\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FAccount.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FAccount.lean",{"path":391,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":123,"sourceHtmlUrl":392},"example\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FAuthority.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FAuthority.lean",{"path":394,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":127,"sourceHtmlUrl":395},"example\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FCpi.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FCpi.lean",{"path":397,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":131,"sourceHtmlUrl":398},"example\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FState.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FState.lean",{"path":400,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":135,"sourceHtmlUrl":401},"example\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FToken.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FToken.lean",{"path":403,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":139,"sourceHtmlUrl":404},"example\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FValid.lean","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flean_support\u002FQEDGen\u002FSolana\u002FValid.lean",{"path":406,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":108,"sourceHtmlUrl":407},"example\u002Fpercolator\u002Fformal_verification\u002Flean-toolchain","https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002Flean-toolchain",{"path":409,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":410,"sourceHtmlUrl":411},"example\u002Fpercolator\u002Fformal_verification\u002FPercolatorProofs.lean",7733,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002FPercolatorProofs.lean",{"path":413,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":414,"sourceHtmlUrl":415},"example\u002Fpercolator\u002Fformal_verification\u002FSPEC.md",4745,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fformal_verification\u002FSPEC.md",{"path":417,"resourceType":418,"resourceTypeDesc":419,"sizeBytes":420,"sourceHtmlUrl":421},"example\u002Fpercolator\u002FLICENSE","LICENSE","许可证",11357,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002FLICENSE",{"path":423,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":424,"sourceHtmlUrl":425},"example\u002Fpercolator\u002FREADME.md",5022,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002FREADME.md",{"path":427,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":428,"sourceHtmlUrl":429},"example\u002Fpercolator\u002Fscripts\u002Faudit-proof-strength.md",6540,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fscripts\u002Faudit-proof-strength.md",{"path":431,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":432,"sourceHtmlUrl":433},"example\u002Fpercolator\u002Fscripts\u002Fproof-strength-audit-results.md",91364,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fscripts\u002Fproof-strength-audit-results.md",{"path":435,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":436,"sourceHtmlUrl":437},"example\u002Fpercolator\u002Fscripts\u002Frun_kani_full_audit.sh",1203,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fscripts\u002Frun_kani_full_audit.sh",{"path":439,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":440,"sourceHtmlUrl":441},"example\u002Fpercolator\u002Fspec.md",110983,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fspec.md",{"path":443,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":444,"sourceHtmlUrl":445},"example\u002Fpercolator\u002Fsrc\u002Fi128.rs",20915,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fsrc\u002Fi128.rs",{"path":447,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":448,"sourceHtmlUrl":449},"example\u002Fpercolator\u002Fsrc\u002Fpercolator.rs",142541,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fsrc\u002Fpercolator.rs",{"path":451,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":452,"sourceHtmlUrl":453},"example\u002Fpercolator\u002Fsrc\u002Fwide_math.rs",61237,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Fsrc\u002Fwide_math.rs",{"path":455,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":456,"sourceHtmlUrl":457},"example\u002Fpercolator\u002Ftests\u002Famm_tests.rs",7576,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Famm_tests.rs",{"path":459,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":460,"sourceHtmlUrl":461},"example\u002Fpercolator\u002Ftests\u002Fcommon\u002Fmod.rs",4835,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Fcommon\u002Fmod.rs",{"path":463,"resourceType":68,"resourceTypeDesc":69,"sizeBytes":464,"sourceHtmlUrl":465},"example\u002Fpercolator\u002Ftests\u002Ffuzzing.proptest-regressions",4815,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Ffuzzing.proptest-regressions",{"path":467,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":468,"sourceHtmlUrl":469},"example\u002Fpercolator\u002Ftests\u002Ffuzzing.rs",44167,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Ffuzzing.rs",{"path":471,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":472,"sourceHtmlUrl":473},"example\u002Fpercolator\u002Ftests\u002Fproofs_arithmetic.rs",17497,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Fproofs_arithmetic.rs",{"path":475,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":476,"sourceHtmlUrl":477},"example\u002Fpercolator\u002Ftests\u002Fproofs_audit.rs",35809,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Fproofs_audit.rs",{"path":479,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":480,"sourceHtmlUrl":481},"example\u002Fpercolator\u002Ftests\u002Fproofs_instructions.rs",66315,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Fproofs_instructions.rs",{"path":483,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":484,"sourceHtmlUrl":485},"example\u002Fpercolator\u002Ftests\u002Fproofs_invariants.rs",21549,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Fproofs_invariants.rs",{"path":487,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":488,"sourceHtmlUrl":489},"example\u002Fpercolator\u002Ftests\u002Fproofs_lazy_ak.rs",22940,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Fproofs_lazy_ak.rs",{"path":491,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":492,"sourceHtmlUrl":493},"example\u002Fpercolator\u002Ftests\u002Fproofs_liveness.rs",17558,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Fproofs_liveness.rs",{"path":495,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":496,"sourceHtmlUrl":497},"example\u002Fpercolator\u002Ftests\u002Fproofs_safety.rs",106654,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Fproofs_safety.rs",{"path":499,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":500,"sourceHtmlUrl":501},"example\u002Fpercolator\u002Ftests\u002Fproofs_v1131.rs",26015,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Fproofs_v1131.rs",{"path":503,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":504,"sourceHtmlUrl":505},"example\u002Fpercolator\u002Ftests\u002Funit_tests.rs",96036,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fexample\u002Fpercolator\u002Ftests\u002Funit_tests.rs",{"path":507,"resourceType":151,"resourceTypeDesc":152,"sizeBytes":508,"sourceHtmlUrl":509},"install.sh",4996,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Finstall.sh",{"path":418,"resourceType":418,"resourceTypeDesc":419,"sizeBytes":511,"sourceHtmlUrl":512},1063,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002FLICENSE",{"path":514,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":515,"sourceHtmlUrl":516},"package.json",1085,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002Fpackage.json",{"path":518,"resourceType":90,"resourceTypeDesc":91,"sizeBytes":519,"sourceHtmlUrl":520},"README.md",3750,"https:\u002F\u002Fgithub.com\u002Fclawdsolana\u002FOpenClawd\u002Fblob\u002Fmain\u002Fskills\u002Fsolana-formal-verification\u002FREADME.md",[522,532,541,550,556,563],{"skillNo":523,"name":524,"nameZh":6,"description":6,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":525,"categories":526,"keywords":528,"publishedAt":35},"01M6FKJN13GMG4KY57J3QD8GY5","model-hierarchy-skill","https:\u002F\u002Fgithub.com\u002FComeOnOliver\u002Fskillshub\u002Fblob\u002Fmain\u002Fskills\u002Fzscole\u002Fmodel-hierarchy-skill\u002Fmodel-hierarchy-skill\u002FSKILL.md",[527],{"categoryNo":19,"categoryName":20,"taxonomyType":21,"taxonomyTypeDesc":22},[529,530,531],"model","model hierarchy","model hierarchy skill",{"skillNo":533,"name":534,"nameZh":6,"description":6,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":535,"categories":536,"keywords":538,"publishedAt":35},"01M6FKJJJ6GCAMR4PPPRD12M5X","zoom-mcp","https:\u002F\u002Fgithub.com\u002FComeOnOliver\u002Fskillshub\u002Fblob\u002Fmain\u002Fskills\u002Fzoom\u002Fskills\u002Fzoom-mcp\u002FSKILL.md",[537],{"categoryNo":19,"categoryName":20,"taxonomyType":21,"taxonomyTypeDesc":22},[28,539,540],"zoom","zoom mcp",{"skillNo":542,"name":543,"nameZh":6,"description":6,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":544,"categories":545,"keywords":546,"publishedAt":35},"01M6FKJE3KYT3KPEZMEEHYKA6K","zoom-apps-sdk","https:\u002F\u002Fgithub.com\u002FComeOnOliver\u002Fskillshub\u002Fblob\u002Fmain\u002Fskills\u002Fzoom\u002Fskills\u002Fzoom-apps-sdk\u002FSKILL.md",[],[547,548,549,539],"sdk","zoom apps sdk","apps",{"skillNo":551,"name":552,"nameZh":6,"description":6,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":553,"categories":554,"keywords":555,"publishedAt":35},"01M6FKJ9EDH9Q5VWDF8HAJRSP0","windows","https:\u002F\u002Fgithub.com\u002FComeOnOliver\u002Fskillshub\u002Fblob\u002Fmain\u002Fskills\u002Fzoom\u002Fskills\u002Fwindows\u002FSKILL.md",[],[552],{"skillNo":557,"name":558,"nameZh":6,"description":6,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":559,"categories":560,"keywords":562,"publishedAt":35},"01M6FKJ666BEEFC3AE9GJ72Q93","whiteboard","https:\u002F\u002Fgithub.com\u002FComeOnOliver\u002Fskillshub\u002Fblob\u002Fmain\u002Fskills\u002Fzoom\u002Fskills\u002Fwhiteboard\u002FSKILL.md",[561],{"categoryNo":19,"categoryName":20,"taxonomyType":21,"taxonomyTypeDesc":22},[558],{"skillNo":564,"name":565,"nameZh":6,"description":6,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":566,"categories":567,"keywords":568,"publishedAt":35},"01M6FKJ21WFCDGTJQ2Q91T9DVW","websockets","https:\u002F\u002Fgithub.com\u002FComeOnOliver\u002Fskillshub\u002Fblob\u002Fmain\u002Fskills\u002Fzoom\u002Fskills\u002Fwebsockets\u002FSKILL.md",[],[565]]