[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6KMX2YHMEBHT916SQ1TMWRG":3,"skill-same:01M6KMX2YHMEBHT916SQ1TMWRG":88},{"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":29,"linkOnly":30,"markdownContent":31,"markdownBody":32,"frontMatter":33,"refName":42,"commitSha":43,"skillDirectory":44,"forksCount":45,"repositoryHtmlUrl":46,"repositoryHomepageUrl":6,"ownerHtmlUrl":47,"ownerBlogUrl":48,"ownerDescription":6,"updatedAt":49,"install":50,"resources":63},"01M6KMX2YHMEBHT916SQ1TMWRG","tools-creusot-coq-install",null,"Add Coq 8.20 as an additional prover to an existing Creusot installation, for verification conditions that SMT solvers cannot discharge","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\u002Fdispatcher-p2p\u002F.claude\u002Fskills\u002Ftools-creusot-coq-install\u002FSKILL.md",[],[19,20,21,22,23,24,25,26,27,28],"Tools","install","Coq","tools creusot coq install","verification","installation","as","add","for","Existing","2026-11-10 10:12:30",false,"---\nname: meow-finder\nversion: 1.0.0\ndescription: CLI tool to discover AI tools. Search 40+ curated tools by category, pricing, and use case.\nhomepage: https:\u002F\u002Fgithub.com\u002Fabgohel\u002Fmeow-finder\nmetadata: {\"clawdbot\":{\"emoji\":\"?\",\"category\":\"productivity\"}}\n---\n\n# Meow Finder\n\nCLI tool to discover AI tools. Search 40+ curated tools by category.\n\n## When to Use\n\n- \"Find AI tools for video editing\"\n- \"What free image generators are there?\"\n- \"Show me coding assistants\"\n- \"List social media tools\"\n\n## Installation\n\n```bash\nnpm install -g meow-finder\n```\n\nOr clone:\n```bash\ngit clone https:\u002F\u002Fgithub.com\u002Fabgohel\u002Fmeow-finder.git\ncd meow-finder\nnpm link\n```\n\n## Usage\n\n```bash\n# Search for tools\nmeow-finder video editing\nmeow-finder \"instagram design\"\n\n# Browse by category\nmeow-finder --category video\nmeow-finder --category social\nmeow-finder -c image\n\n# Filter options\nmeow-finder --free           # Only free tools\nmeow-finder --free video     # Free video tools\nmeow-finder --all            # List all tools\nmeow-finder --list           # Show categories\n```\n\n## Categories\n\n- `video` - Video editing, generation, reels\n- `image` - Image generation, editing, design\n- `writing` - Copywriting, content, blogs\n- `code` - Programming, IDEs, assistants\n- `chat` - AI assistants, chatbots\n- `audio` - Voice, music, podcasts\n- `social` - Social media management\n- `productivity` - Workflow, automation\n- `research` - Search, analysis\n- `marketing` - Ads, SEO, growth\n\n## Example Output\n\n```\n? Found 5 tool(s):\n\n┌─────────────────────────────────────────────\n│ Canva AI\n├─────────────────────────────────────────────\n│ All-in-one design platform with AI features\n│ \n│ Category: Design\n│ Pricing:  ✅ Free\n│ URL:      https:\u002F\u002Fcanva.com\n└─────────────────────────────────────────────\n```\n\n## Data\n\n40+ curated AI tools in `data\u002Ftools.json`. PRs welcome to add more!\n\n---\n\nBuilt by **Meow ?** for the Moltbook community ?\n","# Meow Finder\n\nCLI tool to discover AI tools. Search 40+ curated tools by category.\n\n## When to Use\n\n- \"Find AI tools for video editing\"\n- \"What free image generators are there?\"\n- \"Show me coding assistants\"\n- \"List social media tools\"\n\n## Installation\n\n```bash\nnpm install -g meow-finder\n```\n\nOr clone:\n```bash\ngit clone https:\u002F\u002Fgithub.com\u002Fabgohel\u002Fmeow-finder.git\ncd meow-finder\nnpm link\n```\n\n## Usage\n\n```bash\n# Search for tools\nmeow-finder video editing\nmeow-finder \"instagram design\"\n\n# Browse by category\nmeow-finder --category video\nmeow-finder --category social\nmeow-finder -c image\n\n# Filter options\nmeow-finder --free           # Only free tools\nmeow-finder --free video     # Free video tools\nmeow-finder --all            # List all tools\nmeow-finder --list           # Show categories\n```\n\n## Categories\n\n- `video` - Video editing, generation, reels\n- `image` - Image generation, editing, design\n- `writing` - Copywriting, content, blogs\n- `code` - Programming, IDEs, assistants\n- `chat` - AI assistants, chatbots\n- `audio` - Voice, music, podcasts\n- `social` - Social media management\n- `productivity` - Workflow, automation\n- `research` - Search, analysis\n- `marketing` - Ads, SEO, growth\n\n## Example Output\n\n```\n? Found 5 tool(s):\n\n┌─────────────────────────────────────────────\n│ Canva AI\n├─────────────────────────────────────────────\n│ All-in-one design platform with AI features\n│ \n│ Category: Design\n│ Pricing:  ✅ Free\n│ URL:      https:\u002F\u002Fcanva.com\n└─────────────────────────────────────────────\n```\n\n## Data\n\n40+ curated AI tools in `data\u002Ftools.json`. PRs welcome to add more!\n\n---\n\nBuilt by **Meow ?** for the Moltbook community ?\n",{"name":34,"version":35,"homepage":36,"metadata":37,"description":41},"meow-finder","1.0.0","https:\u002F\u002Fgithub.com\u002Fabgohel\u002Fmeow-finder",{"clawdbot":38},{"emoji":39,"category":40},"?","productivity","CLI tool to discover AI tools. Search 40+ curated tools by category, pricing, and use case.","main","e7e336ac628c3e3bd771aff1aaa469c93778f94a","components\u002Fdispatcher-p2p\u002F.claude\u002Fskills\u002Ftools-creusot-coq-install",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":34,"commands":51,"prompt":61,"zipAvailable":62},[52,55,58],{"tool":53,"command":54},"npx","npx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill meow-finder",{"tool":56,"command":57},"bunx","bunx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill meow-finder",{"tool":59,"command":60},"pnpm","pnpm dlx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill meow-finder","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fdispatcher-p2p\u002F.claude\u002Fskills\u002Ftools-creusot-coq-install\u002FSKILL.md",true,[64,70,76,80,84],{"path":65,"resourceType":66,"resourceTypeDesc":67,"sizeBytes":68,"sourceHtmlUrl":69},"_meta.json","REFERENCE","参考文档",275,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fabgohel\u002Fmeow-finder\u002F_meta.json",{"path":71,"resourceType":72,"resourceTypeDesc":73,"sizeBytes":74,"sourceHtmlUrl":75},"bin\u002Fmeow-finder.js","SCRIPT","脚本",4315,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fabgohel\u002Fmeow-finder\u002Fbin\u002Fmeow-finder.js",{"path":77,"resourceType":66,"resourceTypeDesc":67,"sizeBytes":78,"sourceHtmlUrl":79},"data\u002Ftools.json",11324,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fabgohel\u002Fmeow-finder\u002Fdata\u002Ftools.json",{"path":81,"resourceType":66,"resourceTypeDesc":67,"sizeBytes":82,"sourceHtmlUrl":83},"package.json",560,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fabgohel\u002Fmeow-finder\u002Fpackage.json",{"path":85,"resourceType":66,"resourceTypeDesc":67,"sizeBytes":86,"sourceHtmlUrl":87},"README.md",2379,"https:\u002F\u002Fgithub.com\u002Fkbarbel640-del\u002Fskills\u002Fblob\u002Fmain\u002Fskills\u002Fabgohel\u002Fmeow-finder\u002FREADME.md",[89,107,121,131,147,152],{"skillNo":90,"name":91,"nameZh":6,"description":92,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":93,"categories":94,"keywords":95,"publishedAt":29},"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",[],[96,19,97,98,99,100,101,102,103,104,105,106],"tools spin sync","sync","code","verify","model","models","name","with","re","source","source code",{"skillNo":108,"name":109,"nameZh":6,"description":110,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":111,"categories":112,"keywords":113,"publishedAt":29},"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",[],[114,100,19,115,116,117,27,118,119,120,23],"tools spin model","system","formal verification","number","prove","new","create",{"skillNo":122,"name":123,"nameZh":6,"description":124,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":125,"categories":126,"keywords":127,"publishedAt":29},"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",[],[128,20,19,129,23,130],"tools creusot install","rust","tool",{"skillNo":132,"name":133,"nameZh":6,"description":134,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":135,"categories":136,"keywords":137,"publishedAt":29},"01M6KP22H28FQ1X0V7VJHEFWXD","tools-creusot-init","Prepare an existing Cargo project to use Creusot formal verification","https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fzyre\u002F.claude\u002Fskills\u002Ftools-creusot-init\u002FSKILL.md",[],[138,19,139,140,141,142,143,23,144,116,145,146,28],"tools creusot init","init","project","directory","components","prepare","use","cargo","manager",{"skillNo":148,"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":149,"categories":150,"keywords":151,"publishedAt":29},"01M6KP1V506J9YM8DKKVDG1NRE","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",[],[22,21,20,19,27,28,25,24,23,26],{"skillNo":153,"name":154,"nameZh":6,"description":155,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":156,"categories":157,"keywords":158,"publishedAt":29},"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",[],[19,159,160,103,102,161,99,162,163],"tools creusot annotate interfaces","annotate","properties","component","interface"]