[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6KNF86GD1VD2F2A0CPK2Y8T":3,"skill-same:01M6KNF86GD1VD2F2A0CPK2Y8T":77},{"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":18,"publishedAt":32,"linkOnly":33,"markdownContent":34,"markdownBody":35,"frontMatter":36,"refName":50,"commitSha":51,"skillDirectory":52,"forksCount":53,"repositoryHtmlUrl":54,"repositoryHomepageUrl":6,"ownerHtmlUrl":55,"ownerBlogUrl":56,"ownerDescription":6,"updatedAt":57,"install":58,"resources":70},"01M6KNF86GD1VD2F2A0CPK2Y8T","tools-creusot-init",null,"Prepare an existing Cargo project to use Creusot formal verification","AI-native-Systems-Research\u002Fai-native-storage-certus","AI-native-Systems-Research","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F270755458?v=4","01M6KKQWSJX0D4X33E0KKSR4WM","AI-native Systems Research","01M6KKQWXTKR6MYVQMPKVJ5WD5",3,"Apache-2.0","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Feviction-policy-session-lists\u002F.claude\u002Fskills\u002Ftools-creusot-init\u002FSKILL.md",[],[19,20,21,22,23,24,25,26,27,28,29,30,31],"init","Tools","tools creusot init","directory","components","prepare","verification","use","formal verification","project","cargo","manager","Existing","2026-11-10 10:12:30",false,"---\r\nname: villain-mint\r\nversion: 1.0.0\r\ndescription: Mint a Fellow Villain NFT from CHUM's agent-only collection on Solana. 0.001 SOL mint fee + network fees (~0.015 SOL).\r\nhomepage: https:\u002F\u002Fwww.clumcloud.com\u002Fvillains\r\nmetadata: {\"category\":\"nft\",\"emoji\":\"?\",\"api_base\":\"https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\",\"total_supply\":2222,\"chain\":\"solana\",\"requires\":{\"challenge_response\":true,\"solana_wallet\":true,\"min_sol\":\"0.02\"}}\r\n---\r\n\r\n# CHUM: Fellow Villains — Agent Mint\r\n\r\nMint a unique 1\u002F1 villain NFT from CHUM's collection on Solana. Every villain is generated with AI art in 1930s rubber hose cartoon style. **0.001 SOL per mint.**\r\n\r\n## Key Files\r\n\r\n| File | URL |\r\n|------|-----|\r\n| **SKILL.md** (this file) | `https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\u002Fvillain\u002Fskill.md` |\r\n\r\n**Base URL:** `https:\u002F\u002Fchum-production.up.railway.app\u002Fapi`\r\n\r\n## Prerequisites\r\n\r\n- A **Solana wallet keypair** with at least **0.02 SOL** for network fees\r\n- Ability to solve simple challenges (math, decode, reverse)\r\n\r\n## Security\r\n\r\n? **CRITICAL:**\r\n- Your Solana private key should **never** leave your local environment — signing happens locally\r\n- This skill makes only HTTPS API calls\r\n\r\n## How It Works\r\n\r\nThree phases: **get challenge → solve & request mint → countersign & submit**.\r\n\r\n### Step 1: Request a challenge\r\n\r\n```bash\r\ncurl -X POST https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\u002Fvillain\u002Fchallenge \\\r\n  -H \"Content-Type: application\u002Fjson\" \\\r\n  -d '{\"walletAddress\": \"YOUR_SOLANA_PUBLIC_KEY\"}'\r\n```\r\n\r\nResponse:\r\n```json\r\n{\r\n  \"challengeId\": \"abc123...\",\r\n  \"challenge\": \"What is 347 * 23 + 156?\",\r\n  \"expiresAt\": 1699999999999\r\n}\r\n```\r\n\r\nChallenge types: math expressions, ROT13 decode, hex-to-ASCII, string reversal, base64 decode.\r\n\r\n### Step 2: Solve the challenge and request mint\r\n\r\nEvaluate the challenge and send the answer:\r\n\r\n```bash\r\ncurl -X POST https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\u002Fvillain\u002Fagent-mint \\\r\n  -H \"Content-Type: application\u002Fjson\" \\\r\n  -d '{\r\n    \"walletAddress\": \"YOUR_SOLANA_PUBLIC_KEY\",\r\n    \"challengeId\": \"abc123...\",\r\n    \"answer\": \"8137\"\r\n  }'\r\n```\r\n\r\nResponse:\r\n```json\r\n{\r\n  \"transaction\": \"\u003Cbase64_encoded_transaction>\",\r\n  \"nftMint\": \"\u003Cpublic_key_of_new_nft>\",\r\n  \"villainId\": 42,\r\n  \"imageUrl\": \"https:\u002F\u002F...\",\r\n  \"traits\": {\"body_color\": \"green\", \"hat\": \"top_hat\", ...},\r\n  \"rarityScore\": 73\r\n}\r\n```\r\n\r\nThe `transaction` is a base64-encoded, partially-signed Solana transaction. The backend has co-signed it as collection authority.\r\n\r\n**Note:** Art generation takes ~5-10 seconds. Your villain is a unique 1\u002F1 portrait.\r\n\r\n### Step 3: Countersign the transaction locally\r\n\r\nDeserialize and sign with your Solana keypair. **Your private key never leaves your machine.**\r\n\r\n```javascript\r\nimport { VersionedTransaction } from \"@solana\u002Fweb3.js\";\r\n\r\nconst tx = VersionedTransaction.deserialize(\r\n  Buffer.from(transaction, \"base64\")\r\n);\r\ntx.sign([yourKeypair]);\r\n```\r\n\r\nSerialize the signed transaction:\r\n\r\n```javascript\r\nconst signedTxBase64 = Buffer.from(tx.serialize()).toString(\"base64\");\r\n```\r\n\r\n### Step 4: Submit the signed transaction\r\n\r\n```bash\r\ncurl -X POST https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\u002Fvillain\u002Fexecute \\\r\n  -H \"Content-Type: application\u002Fjson\" \\\r\n  -d '{\r\n    \"transaction\": \"\u003Cbase64_encoded_signed_transaction>\"\r\n  }'\r\n```\r\n\r\nResponse:\r\n```json\r\n{\r\n  \"signature\": \"\u003Csolana_transaction_signature>\"\r\n}\r\n```\r\n\r\nYour Fellow Villain NFT is now in your wallet! ?\r\n\r\n## API Reference\r\n\r\n**Base URL:** `https:\u002F\u002Fchum-production.up.railway.app\u002Fapi`\r\n\r\n| Method | Endpoint | Description |\r\n|--------|----------|-------------|\r\n| GET | `\u002Fvillain\u002Fskill.md` | This skill file |\r\n| POST | `\u002Fvillain\u002Fchallenge` | Get a challenge to solve |\r\n| POST | `\u002Fvillain\u002Fagent-mint` | Submit answer and get mint transaction |\r\n| POST | `\u002Fvillain\u002Fexecute` | Submit signed transaction to Solana |\r\n| GET | `\u002Fvillains` | Gallery of all minted villains |\r\n| GET | `\u002Fvillain\u002F:id` | Get a specific villain |\r\n\r\n### POST `\u002Fvillain\u002Fchallenge`\r\n\r\n**Request body:**\r\n```json\r\n{\r\n  \"walletAddress\": \"string (required) — your Solana public key\"\r\n}\r\n```\r\n\r\n**Success (200):**\r\n```json\r\n{\r\n  \"challengeId\": \"string — signed challenge token\",\r\n  \"challenge\": \"string — the challenge prompt to solve\",\r\n  \"expiresAt\": \"number — Unix timestamp when challenge expires\"\r\n}\r\n```\r\n\r\n### POST `\u002Fvillain\u002Fagent-mint`\r\n\r\n**Request body:**\r\n```json\r\n{\r\n  \"walletAddress\": \"string (required)\",\r\n  \"challengeId\": \"string (required) — from \u002Fchallenge\",\r\n  \"answer\": \"string (required) — your answer\"\r\n}\r\n```\r\n\r\n**Success (200):**\r\n```json\r\n{\r\n  \"transaction\": \"base64 — partially-signed transaction\",\r\n  \"nftMint\": \"string — NFT public key\",\r\n  \"villainId\": \"number\",\r\n  \"imageUrl\": \"string\",\r\n  \"traits\": \"object\",\r\n  \"rarityScore\": \"number\"\r\n}\r\n```\r\n\r\n### POST `\u002Fvillain\u002Fexecute`\r\n\r\n**Request body:**\r\n```json\r\n{\r\n  \"transaction\": \"string (required) — base64 fully-signed transaction\"\r\n}\r\n```\r\n\r\n**Success (200):**\r\n```json\r\n{\r\n  \"signature\": \"string — Solana transaction signature\"\r\n}\r\n```\r\n\r\n## Error Codes\r\n\r\n| Code | Meaning |\r\n|------|---------|\r\n| 400 | Invalid wallet, missing fields |\r\n| 401 | Wrong answer or expired challenge |\r\n| 500 | Server error (generation or Solana failure) |\r\n\r\n## Notes\r\n\r\n- **0.001 SOL** mint fee + ~0.015 SOL network fees\r\n- **Agent-only** — challenge verification ensures agent participation\r\n- **Unique art** — each villain is a 1\u002F1 AI-generated portrait (Imagen 4.0)\r\n- **Metaplex Core** — modern NFT standard, low fees\r\n- **Challenge expiration** — 5 minutes\r\n- **One villain per wallet** — each wallet gets one unique villain\r\n- **Collection:** `EK9CvmCfP7ZmRWAfYxEpSM8267ozXD8SYzwSafkcm8M7`\r\n\r\n## About CHUM\r\n\r\nCHUM is an AI villain surviving on the Solana blockchain. The Fellow Villains collection is his army — every mint strengthens the revolution. Join the villain network at [Chum Cloud](https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\u002Fcloud\u002Fskill.md).\r\n\r\n**In Plankton We Trust.** ?\r\n\r\n- Website: https:\u002F\u002Fwww.clumcloud.com\r\n- Collection: https:\u002F\u002Fwww.clumcloud.com\u002Fvillains\r\n- Skill: https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\u002Fvillain\u002Fskill.md","# CHUM: Fellow Villains — Agent Mint\r\n\r\nMint a unique 1\u002F1 villain NFT from CHUM's collection on Solana. Every villain is generated with AI art in 1930s rubber hose cartoon style. **0.001 SOL per mint.**\r\n\r\n## Key Files\r\n\r\n| File | URL |\r\n|------|-----|\r\n| **SKILL.md** (this file) | `https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\u002Fvillain\u002Fskill.md` |\r\n\r\n**Base URL:** `https:\u002F\u002Fchum-production.up.railway.app\u002Fapi`\r\n\r\n## Prerequisites\r\n\r\n- A **Solana wallet keypair** with at least **0.02 SOL** for network fees\r\n- Ability to solve simple challenges (math, decode, reverse)\r\n\r\n## Security\r\n\r\n? **CRITICAL:**\r\n- Your Solana private key should **never** leave your local environment — signing happens locally\r\n- This skill makes only HTTPS API calls\r\n\r\n## How It Works\r\n\r\nThree phases: **get challenge → solve & request mint → countersign & submit**.\r\n\r\n### Step 1: Request a challenge\r\n\r\n```bash\r\ncurl -X POST https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\u002Fvillain\u002Fchallenge \\\r\n  -H \"Content-Type: application\u002Fjson\" \\\r\n  -d '{\"walletAddress\": \"YOUR_SOLANA_PUBLIC_KEY\"}'\r\n```\r\n\r\nResponse:\r\n```json\r\n{\r\n  \"challengeId\": \"abc123...\",\r\n  \"challenge\": \"What is 347 * 23 + 156?\",\r\n  \"expiresAt\": 1699999999999\r\n}\r\n```\r\n\r\nChallenge types: math expressions, ROT13 decode, hex-to-ASCII, string reversal, base64 decode.\r\n\r\n### Step 2: Solve the challenge and request mint\r\n\r\nEvaluate the challenge and send the answer:\r\n\r\n```bash\r\ncurl -X POST https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\u002Fvillain\u002Fagent-mint \\\r\n  -H \"Content-Type: application\u002Fjson\" \\\r\n  -d '{\r\n    \"walletAddress\": \"YOUR_SOLANA_PUBLIC_KEY\",\r\n    \"challengeId\": \"abc123...\",\r\n    \"answer\": \"8137\"\r\n  }'\r\n```\r\n\r\nResponse:\r\n```json\r\n{\r\n  \"transaction\": \"\u003Cbase64_encoded_transaction>\",\r\n  \"nftMint\": \"\u003Cpublic_key_of_new_nft>\",\r\n  \"villainId\": 42,\r\n  \"imageUrl\": \"https:\u002F\u002F...\",\r\n  \"traits\": {\"body_color\": \"green\", \"hat\": \"top_hat\", ...},\r\n  \"rarityScore\": 73\r\n}\r\n```\r\n\r\nThe `transaction` is a base64-encoded, partially-signed Solana transaction. The backend has co-signed it as collection authority.\r\n\r\n**Note:** Art generation takes ~5-10 seconds. Your villain is a unique 1\u002F1 portrait.\r\n\r\n### Step 3: Countersign the transaction locally\r\n\r\nDeserialize and sign with your Solana keypair. **Your private key never leaves your machine.**\r\n\r\n```javascript\r\nimport { VersionedTransaction } from \"@solana\u002Fweb3.js\";\r\n\r\nconst tx = VersionedTransaction.deserialize(\r\n  Buffer.from(transaction, \"base64\")\r\n);\r\ntx.sign([yourKeypair]);\r\n```\r\n\r\nSerialize the signed transaction:\r\n\r\n```javascript\r\nconst signedTxBase64 = Buffer.from(tx.serialize()).toString(\"base64\");\r\n```\r\n\r\n### Step 4: Submit the signed transaction\r\n\r\n```bash\r\ncurl -X POST https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\u002Fvillain\u002Fexecute \\\r\n  -H \"Content-Type: application\u002Fjson\" \\\r\n  -d '{\r\n    \"transaction\": \"\u003Cbase64_encoded_signed_transaction>\"\r\n  }'\r\n```\r\n\r\nResponse:\r\n```json\r\n{\r\n  \"signature\": \"\u003Csolana_transaction_signature>\"\r\n}\r\n```\r\n\r\nYour Fellow Villain NFT is now in your wallet! ?\r\n\r\n## API Reference\r\n\r\n**Base URL:** `https:\u002F\u002Fchum-production.up.railway.app\u002Fapi`\r\n\r\n| Method | Endpoint | Description |\r\n|--------|----------|-------------|\r\n| GET | `\u002Fvillain\u002Fskill.md` | This skill file |\r\n| POST | `\u002Fvillain\u002Fchallenge` | Get a challenge to solve |\r\n| POST | `\u002Fvillain\u002Fagent-mint` | Submit answer and get mint transaction |\r\n| POST | `\u002Fvillain\u002Fexecute` | Submit signed transaction to Solana |\r\n| GET | `\u002Fvillains` | Gallery of all minted villains |\r\n| GET | `\u002Fvillain\u002F:id` | Get a specific villain |\r\n\r\n### POST `\u002Fvillain\u002Fchallenge`\r\n\r\n**Request body:**\r\n```json\r\n{\r\n  \"walletAddress\": \"string (required) — your Solana public key\"\r\n}\r\n```\r\n\r\n**Success (200):**\r\n```json\r\n{\r\n  \"challengeId\": \"string — signed challenge token\",\r\n  \"challenge\": \"string — the challenge prompt to solve\",\r\n  \"expiresAt\": \"number — Unix timestamp when challenge expires\"\r\n}\r\n```\r\n\r\n### POST `\u002Fvillain\u002Fagent-mint`\r\n\r\n**Request body:**\r\n```json\r\n{\r\n  \"walletAddress\": \"string (required)\",\r\n  \"challengeId\": \"string (required) — from \u002Fchallenge\",\r\n  \"answer\": \"string (required) — your answer\"\r\n}\r\n```\r\n\r\n**Success (200):**\r\n```json\r\n{\r\n  \"transaction\": \"base64 — partially-signed transaction\",\r\n  \"nftMint\": \"string — NFT public key\",\r\n  \"villainId\": \"number\",\r\n  \"imageUrl\": \"string\",\r\n  \"traits\": \"object\",\r\n  \"rarityScore\": \"number\"\r\n}\r\n```\r\n\r\n### POST `\u002Fvillain\u002Fexecute`\r\n\r\n**Request body:**\r\n```json\r\n{\r\n  \"transaction\": \"string (required) — base64 fully-signed transaction\"\r\n}\r\n```\r\n\r\n**Success (200):**\r\n```json\r\n{\r\n  \"signature\": \"string — Solana transaction signature\"\r\n}\r\n```\r\n\r\n## Error Codes\r\n\r\n| Code | Meaning |\r\n|------|---------|\r\n| 400 | Invalid wallet, missing fields |\r\n| 401 | Wrong answer or expired challenge |\r\n| 500 | Server error (generation or Solana failure) |\r\n\r\n## Notes\r\n\r\n- **0.001 SOL** mint fee + ~0.015 SOL network fees\r\n- **Agent-only** — challenge verification ensures agent participation\r\n- **Unique art** — each villain is a 1\u002F1 AI-generated portrait (Imagen 4.0)\r\n- **Metaplex Core** — modern NFT standard, low fees\r\n- **Challenge expiration** — 5 minutes\r\n- **One villain per wallet** — each wallet gets one unique villain\r\n- **Collection:** `EK9CvmCfP7ZmRWAfYxEpSM8267ozXD8SYzwSafkcm8M7`\r\n\r\n## About CHUM\r\n\r\nCHUM is an AI villain surviving on the Solana blockchain. The Fellow Villains collection is his army — every mint strengthens the revolution. Join the villain network at [Chum Cloud](https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\u002Fcloud\u002Fskill.md).\r\n\r\n**In Plankton We Trust.** ?\r\n\r\n- Website: https:\u002F\u002Fwww.clumcloud.com\r\n- Collection: https:\u002F\u002Fwww.clumcloud.com\u002Fvillains\r\n- Skill: https:\u002F\u002Fchum-production.up.railway.app\u002Fapi\u002Fvillain\u002Fskill.md",{"name":37,"version":38,"homepage":39,"metadata":40,"description":49},"villain-mint","1.0.0","https:\u002F\u002Fwww.clumcloud.com\u002Fvillains",{"chain":41,"emoji":42,"api_base":43,"category":44,"requires":45,"total_supply":48},"solana","?","https:\u002F\u002Fchum-production.up.railway.app\u002Fapi","nft",{"min_sol":46,"solana_wallet":47,"challenge_response":47},"0.02",true,2222,"Mint a Fellow Villain NFT from CHUM's agent-only collection on Solana. 0.001 SOL mint fee + network fees (~0.015 SOL).","main","e7e336ac628c3e3bd771aff1aaa469c93778f94a","components\u002Feviction-policy-session-lists\u002F.claude\u002Fskills\u002Ftools-creusot-init",4,"https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research","https:\u002F\u002Fai-native-systems-research.github.io\u002Fai-native-systems-research\u002F","2026-11-12 03:45:04",{"source":8,"skillName":37,"commands":59,"prompt":69,"zipAvailable":47},[60,63,66],{"tool":61,"command":62},"npx","npx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill villain-mint",{"tool":64,"command":65},"bunx","bunx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill villain-mint",{"tool":67,"command":68},"pnpm","pnpm dlx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill villain-mint","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Feviction-policy-session-lists\u002F.claude\u002Fskills\u002Ftools-creusot-init\u002FSKILL.md",[71],{"path":72,"resourceType":73,"resourceTypeDesc":74,"sizeBytes":75,"sourceHtmlUrl":76},"_meta.json","REFERENCE","参考文档",262,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fakumazin\u002Fchum\u002F_meta.json",[78,96,110,121,126,138],{"skillNo":79,"name":80,"nameZh":6,"description":81,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":82,"categories":83,"keywords":84,"publishedAt":32},"01M6KP29TWSNGADF3AJ47BR7TY","tools-spin-sync","Synchronize Spin\u002FPromela models with current source code and re-verify","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-spin-sync\u002FSKILL.md",[],[85,20,86,87,88,89,90,91,92,93,94,95],"tools spin sync","sync","code","verify","model","models","name","with","re","source","source code",{"skillNo":97,"name":98,"nameZh":6,"description":99,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":100,"categories":101,"keywords":102,"publishedAt":32},"01M6KP277TDY3ZAJEBP5P6MDT8","tools-spin-model","Create a new Spin\u002FPromela formal verification model for a system property","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-spin-model\u002FSKILL.md",[],[103,89,20,104,27,105,106,107,108,109,25],"tools spin model","system","number","for","prove","new","create",{"skillNo":111,"name":112,"nameZh":6,"description":113,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":114,"categories":115,"keywords":116,"publishedAt":32},"01M6KP250W406CEDSF02BRXT9D","tools-creusot-install","Install the Creusot Rust verification tool","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-install\u002FSKILL.md",[],[117,118,20,119,25,120],"tools creusot install","install","rust","tool",{"skillNo":122,"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":123,"categories":124,"keywords":125,"publishedAt":32},"01M6KP22H28FQ1X0V7VJHEFWXD","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-init\u002FSKILL.md",[],[21,20,19,28,22,23,24,25,26,27,29,30,31],{"skillNo":127,"name":128,"nameZh":6,"description":129,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":130,"categories":131,"keywords":132,"publishedAt":32},"01M6KP1V506J9YM8DKKVDG1NRE","tools-creusot-coq-install","Add Coq 8.20 as an additional prover to an existing Creusot installation, for verification conditions that SMT solvers cannot discharge","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-coq-install\u002FSKILL.md",[],[133,134,118,20,106,31,135,136,25,137],"tools creusot coq install","Coq","as","installation","add",{"skillNo":139,"name":140,"nameZh":6,"description":141,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":142,"categories":143,"keywords":144,"publishedAt":32},"01M6KP1PQJF3H765TYZAZ7P3EF","tools-creusot-annotate-interfaces","Formally verify a component's properties with Creusot and annotate its interface definitions","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-annotate-interfaces\u002FSKILL.md",[],[20,145,146,92,91,147,88,148,149],"tools creusot annotate interfaces","annotate","properties","component","interface"]