[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6KMCT887PCNHHY30D1CJS0Y":3,"skill-same:01M6KMCT887PCNHHY30D1CJS0Y":69},{"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":37,"linkOnly":38,"markdownContent":39,"markdownBody":40,"frontMatter":41,"refName":47,"commitSha":48,"skillDirectory":49,"forksCount":50,"repositoryHtmlUrl":51,"repositoryHomepageUrl":6,"ownerHtmlUrl":52,"ownerBlogUrl":53,"ownerDescription":6,"updatedAt":54,"install":55,"resources":68},"01M6KMCT887PCNHHY30D1CJS0Y","speckit-git-feature",null,"Create a feature branch with sequential or timestamp numbering","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\u002Fblock-device-filesys\u002F.claude\u002Fskills\u002Fspeckit-git-feature\u002FSKILL.md",[],[19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36],"speckit","git","feature","speckit git feature","timestamp","kit","with","spec-kit","commands","project","structure","directory","branch","specify","create","project structure","github","spec","2026-11-10 10:12:30",false,"---\nname: Facebook Automation\ndescription: \"Automate Facebook Page management including post creation, scheduling, video uploads, Messenger conversations, and audience engagement via Composio\"\nrequires:\n  mcp:\n    - rube\n---\n\n# Facebook Automation\n\nAutomate Facebook Page operations -- create and schedule posts, upload videos, manage Messenger conversations, retrieve page insights, and handle scheduled content -- all orchestrated through the Composio MCP integration.\n\n**Toolkit docs:** [composio.dev\u002Ftoolkits\u002Ffacebook](https:\u002F\u002Fcomposio.dev\u002Ftoolkits\u002Ffacebook)\n\n---\n\n## Setup\n\n1. Connect your Facebook account through the Composio MCP server at `https:\u002F\u002Frube.app\u002Fmcp`\n2. The agent will prompt you with an authentication link if no active connection exists\n3. Once connected, all `FACEBOOK_*` tools become available for execution\n4. **Note:** This toolkit supports Facebook Pages only, not personal Facebook accounts\n\n---\n\n## Core Workflows\n\n### 1. Discover Managed Pages\nList all Facebook Pages you manage to get page IDs and access tokens for subsequent operations.\n\n**Tool:** `FACEBOOK_LIST_MANAGED_PAGES`\n\n| Parameter | Type | Required | Description |\n|-----------|------|----------|-------------|\n| `fields` | string | No | Comma-separated fields (default: `id,name,access_token,category,tasks,about,link,picture`) |\n| `limit` | integer | No | Max pages per request (default: 25) |\n| `user_id` | string | No | User ID (default: `me`) |\n\n**Always run this first** to cache `page_id` values. Avoid repeating discovery calls -- cache the results.\n\n---\n\n### 2. Create & Schedule Posts\nPublish or schedule text posts with optional links on a Facebook Page.\n\n**Tool:** `FACEBOOK_CREATE_POST`\n\n| Parameter | Type | Required | Description |\n|-----------|------|----------|-------------|\n| `page_id` | string | Yes | Numeric Page ID from managed pages |\n| `message` | string | Yes | Text content of the post |\n| `published` | boolean | No | `true` to publish immediately, `false` for draft\u002Fscheduled (default: true) |\n| `scheduled_publish_time` | integer | No | Unix UTC timestamp; must be at least 10 minutes in the future |\n| `link` | string | No | URL to include in the post |\n| `targeting` | object | No | Audience targeting specifications |\n\n**When scheduling:** Set `published=false` and provide `scheduled_publish_time` as a Unix UTC timestamp.\n\n---\n\n### 3. Create & Schedule Video Posts\nUpload and schedule video content on a Facebook Page.\n\n**Tool:** `FACEBOOK_CREATE_VIDEO_POST`\n\n| Parameter | Type | Required | Description |\n|-----------|------|----------|-------------|\n| `page_id` | string | Yes | Numeric Page ID |\n| `file_url` | string | Conditional | URL of the video file (provide `file_url` or `video`) |\n| `video` | object | Conditional | Local file upload with `name`, `mimetype`, `s3key` |\n| `title` | string | No | Video title |\n| `description` | string | No | Video description |\n| `published` | boolean | No | Publish immediately (default: true) |\n| `scheduled_publish_time` | integer | No | Unix timestamp for scheduled publishing |\n\n---\n\n### 4. Manage Scheduled Posts\nReview, reschedule, update, or publish scheduled content.\n\n**Tools:**\n\n- **`FACEBOOK_GET_SCHEDULED_POSTS`** -- List scheduled\u002Funpublished posts for a page\n  - `page_id` (required), `fields`, `limit` (max 100)\n- **`FACEBOOK_RESCHEDULE_POST`** -- Change the scheduled publish time\n- **`FACEBOOK_UPDATE_POST`** -- Edit caption\u002Ftext on an existing post\n- **`FACEBOOK_PUBLISH_SCHEDULED_POST`** -- Publish a scheduled post immediately\n\n---\n\n### 5. Read Page Messenger Conversations\nRetrieve inbox conversations and message threads between users and your Page.\n\n**Tool:** `FACEBOOK_GET_PAGE_CONVERSATIONS`\n\n| Parameter | Type | Required | Description |\n|-----------|------|----------|-------------|\n| `page_id` | string | Yes | The Facebook Page ID |\n| `fields` | string | No | Fields to return (default: `participants,updated_time,id`) |\n| `limit` | integer | No | Conversations to return, max 25 |\n\nThen retrieve full message threads:\n\n**Tool:** `FACEBOOK_GET_CONVERSATION_MESSAGES`\n\n| Parameter | Type | Required | Description |\n|-----------|------|----------|-------------|\n| `page_id` | string | Yes | Page ID that owns the conversation |\n| `conversation_id` | string | Yes | Conversation ID in `t_` format (e.g., `t_3638640842939952`) |\n| `fields` | string | No | Default: `id,created_time,from,to,message` |\n| `limit` | integer | No | Messages to return, max 25 |\n\n---\n\n### 6. Send Messages & Mark as Seen\nRespond to users via Messenger and mark messages as read.\n\n**Tools:**\n\n- **`FACEBOOK_SEND_MESSAGE`** -- Send a text message from the Page to a user via Messenger\n- **`FACEBOOK_MARK_MESSAGE_SEEN`** -- Mark a user's message as seen by the Page\n\n**Warning:** Both tools cause user-visible side effects. Only call after explicit confirmation.\n\n---\n\n## Known Pitfalls\n\n| Pitfall | Details |\n|---------|---------|\n| **Scheduling too close to now** | `FACEBOOK_CREATE_POST` with `scheduled_publish_time` less than ~10 minutes in the future returns HTTP 400 -- enforce a larger buffer for bulk runs |\n| **Unix UTC timestamps required** | `scheduled_publish_time` must be Unix UTC -- timezone conversion mistakes cause off-by-hours scheduling or validation failures |\n| **Cursor-based pagination** | `FACEBOOK_GET_SCHEDULED_POSTS` and `FACEBOOK_GET_PAGE_CONVERSATIONS` return subsets -- follow paging cursors to get complete data |\n| **Large conversation payloads** | Requesting embedded messages in conversations creates huge payloads -- use `FACEBOOK_GET_CONVERSATION_MESSAGES` for full threads instead |\n| **Video processing delays** | Uploaded videos may remain in processing state -- only schedule via `FACEBOOK_CREATE_VIDEO_POST` after the upload is usable |\n| **Cache page IDs** | Repeating `FACEBOOK_LIST_MANAGED_PAGES` calls adds latency -- cache `page_id` per workspace\u002Frun |\n| **Pages only** | This toolkit does not support personal Facebook accounts -- only Facebook Pages |\n| **Write operations need confirmation** | `FACEBOOK_SEND_MESSAGE` and `FACEBOOK_MARK_MESSAGE_SEEN` cause user-visible side effects -- only call after explicit user confirmation |\n\n---\n\n## Quick Reference\n\n| Tool Slug | Purpose |\n|-----------|---------|\n| `FACEBOOK_LIST_MANAGED_PAGES` | List Pages you manage with access tokens |\n| `FACEBOOK_GET_PAGE_DETAILS` | Get detailed info about a specific Page |\n| `FACEBOOK_CREATE_POST` | Create or schedule a text\u002Flink post |\n| `FACEBOOK_CREATE_VIDEO_POST` | Create or schedule a video post |\n| `FACEBOOK_GET_SCHEDULED_POSTS` | List scheduled\u002Funpublished posts |\n| `FACEBOOK_RESCHEDULE_POST` | Change scheduled publish time |\n| `FACEBOOK_UPDATE_POST` | Edit an existing post |\n| `FACEBOOK_PUBLISH_SCHEDULED_POST` | Publish a scheduled post immediately |\n| `FACEBOOK_UPLOAD_VIDEO` | Upload a video file to a Page |\n| `FACEBOOK_GET_PAGE_CONVERSATIONS` | List Messenger inbox conversations |\n| `FACEBOOK_GET_CONVERSATION_MESSAGES` | Retrieve messages from a conversation |\n| `FACEBOOK_SEND_MESSAGE` | Send a Messenger message from the Page |\n| `FACEBOOK_MARK_MESSAGE_SEEN` | Mark a message as seen |\n| `FACEBOOK_GET_PAGE_POSTS` | Retrieve posts from a Page feed |\n| `FACEBOOK_GET_USER_PAGES` | List Pages with tasks and tokens |\n\n---\n\n*Powered by [Composio](https:\u002F\u002Fcomposio.dev)*\n","# Facebook Automation\n\nAutomate Facebook Page operations -- create and schedule posts, upload videos, manage Messenger conversations, retrieve page insights, and handle scheduled content -- all orchestrated through the Composio MCP integration.\n\n**Toolkit docs:** [composio.dev\u002Ftoolkits\u002Ffacebook](https:\u002F\u002Fcomposio.dev\u002Ftoolkits\u002Ffacebook)\n\n---\n\n## Setup\n\n1. Connect your Facebook account through the Composio MCP server at `https:\u002F\u002Frube.app\u002Fmcp`\n2. The agent will prompt you with an authentication link if no active connection exists\n3. Once connected, all `FACEBOOK_*` tools become available for execution\n4. **Note:** This toolkit supports Facebook Pages only, not personal Facebook accounts\n\n---\n\n## Core Workflows\n\n### 1. Discover Managed Pages\nList all Facebook Pages you manage to get page IDs and access tokens for subsequent operations.\n\n**Tool:** `FACEBOOK_LIST_MANAGED_PAGES`\n\n| Parameter | Type | Required | Description |\n|-----------|------|----------|-------------|\n| `fields` | string | No | Comma-separated fields (default: `id,name,access_token,category,tasks,about,link,picture`) |\n| `limit` | integer | No | Max pages per request (default: 25) |\n| `user_id` | string | No | User ID (default: `me`) |\n\n**Always run this first** to cache `page_id` values. Avoid repeating discovery calls -- cache the results.\n\n---\n\n### 2. Create & Schedule Posts\nPublish or schedule text posts with optional links on a Facebook Page.\n\n**Tool:** `FACEBOOK_CREATE_POST`\n\n| Parameter | Type | Required | Description |\n|-----------|------|----------|-------------|\n| `page_id` | string | Yes | Numeric Page ID from managed pages |\n| `message` | string | Yes | Text content of the post |\n| `published` | boolean | No | `true` to publish immediately, `false` for draft\u002Fscheduled (default: true) |\n| `scheduled_publish_time` | integer | No | Unix UTC timestamp; must be at least 10 minutes in the future |\n| `link` | string | No | URL to include in the post |\n| `targeting` | object | No | Audience targeting specifications |\n\n**When scheduling:** Set `published=false` and provide `scheduled_publish_time` as a Unix UTC timestamp.\n\n---\n\n### 3. Create & Schedule Video Posts\nUpload and schedule video content on a Facebook Page.\n\n**Tool:** `FACEBOOK_CREATE_VIDEO_POST`\n\n| Parameter | Type | Required | Description |\n|-----------|------|----------|-------------|\n| `page_id` | string | Yes | Numeric Page ID |\n| `file_url` | string | Conditional | URL of the video file (provide `file_url` or `video`) |\n| `video` | object | Conditional | Local file upload with `name`, `mimetype`, `s3key` |\n| `title` | string | No | Video title |\n| `description` | string | No | Video description |\n| `published` | boolean | No | Publish immediately (default: true) |\n| `scheduled_publish_time` | integer | No | Unix timestamp for scheduled publishing |\n\n---\n\n### 4. Manage Scheduled Posts\nReview, reschedule, update, or publish scheduled content.\n\n**Tools:**\n\n- **`FACEBOOK_GET_SCHEDULED_POSTS`** -- List scheduled\u002Funpublished posts for a page\n  - `page_id` (required), `fields`, `limit` (max 100)\n- **`FACEBOOK_RESCHEDULE_POST`** -- Change the scheduled publish time\n- **`FACEBOOK_UPDATE_POST`** -- Edit caption\u002Ftext on an existing post\n- **`FACEBOOK_PUBLISH_SCHEDULED_POST`** -- Publish a scheduled post immediately\n\n---\n\n### 5. Read Page Messenger Conversations\nRetrieve inbox conversations and message threads between users and your Page.\n\n**Tool:** `FACEBOOK_GET_PAGE_CONVERSATIONS`\n\n| Parameter | Type | Required | Description |\n|-----------|------|----------|-------------|\n| `page_id` | string | Yes | The Facebook Page ID |\n| `fields` | string | No | Fields to return (default: `participants,updated_time,id`) |\n| `limit` | integer | No | Conversations to return, max 25 |\n\nThen retrieve full message threads:\n\n**Tool:** `FACEBOOK_GET_CONVERSATION_MESSAGES`\n\n| Parameter | Type | Required | Description |\n|-----------|------|----------|-------------|\n| `page_id` | string | Yes | Page ID that owns the conversation |\n| `conversation_id` | string | Yes | Conversation ID in `t_` format (e.g., `t_3638640842939952`) |\n| `fields` | string | No | Default: `id,created_time,from,to,message` |\n| `limit` | integer | No | Messages to return, max 25 |\n\n---\n\n### 6. Send Messages & Mark as Seen\nRespond to users via Messenger and mark messages as read.\n\n**Tools:**\n\n- **`FACEBOOK_SEND_MESSAGE`** -- Send a text message from the Page to a user via Messenger\n- **`FACEBOOK_MARK_MESSAGE_SEEN`** -- Mark a user's message as seen by the Page\n\n**Warning:** Both tools cause user-visible side effects. Only call after explicit confirmation.\n\n---\n\n## Known Pitfalls\n\n| Pitfall | Details |\n|---------|---------|\n| **Scheduling too close to now** | `FACEBOOK_CREATE_POST` with `scheduled_publish_time` less than ~10 minutes in the future returns HTTP 400 -- enforce a larger buffer for bulk runs |\n| **Unix UTC timestamps required** | `scheduled_publish_time` must be Unix UTC -- timezone conversion mistakes cause off-by-hours scheduling or validation failures |\n| **Cursor-based pagination** | `FACEBOOK_GET_SCHEDULED_POSTS` and `FACEBOOK_GET_PAGE_CONVERSATIONS` return subsets -- follow paging cursors to get complete data |\n| **Large conversation payloads** | Requesting embedded messages in conversations creates huge payloads -- use `FACEBOOK_GET_CONVERSATION_MESSAGES` for full threads instead |\n| **Video processing delays** | Uploaded videos may remain in processing state -- only schedule via `FACEBOOK_CREATE_VIDEO_POST` after the upload is usable |\n| **Cache page IDs** | Repeating `FACEBOOK_LIST_MANAGED_PAGES` calls adds latency -- cache `page_id` per workspace\u002Frun |\n| **Pages only** | This toolkit does not support personal Facebook accounts -- only Facebook Pages |\n| **Write operations need confirmation** | `FACEBOOK_SEND_MESSAGE` and `FACEBOOK_MARK_MESSAGE_SEEN` cause user-visible side effects -- only call after explicit user confirmation |\n\n---\n\n## Quick Reference\n\n| Tool Slug | Purpose |\n|-----------|---------|\n| `FACEBOOK_LIST_MANAGED_PAGES` | List Pages you manage with access tokens |\n| `FACEBOOK_GET_PAGE_DETAILS` | Get detailed info about a specific Page |\n| `FACEBOOK_CREATE_POST` | Create or schedule a text\u002Flink post |\n| `FACEBOOK_CREATE_VIDEO_POST` | Create or schedule a video post |\n| `FACEBOOK_GET_SCHEDULED_POSTS` | List scheduled\u002Funpublished posts |\n| `FACEBOOK_RESCHEDULE_POST` | Change scheduled publish time |\n| `FACEBOOK_UPDATE_POST` | Edit an existing post |\n| `FACEBOOK_PUBLISH_SCHEDULED_POST` | Publish a scheduled post immediately |\n| `FACEBOOK_UPLOAD_VIDEO` | Upload a video file to a Page |\n| `FACEBOOK_GET_PAGE_CONVERSATIONS` | List Messenger inbox conversations |\n| `FACEBOOK_GET_CONVERSATION_MESSAGES` | Retrieve messages from a conversation |\n| `FACEBOOK_SEND_MESSAGE` | Send a Messenger message from the Page |\n| `FACEBOOK_MARK_MESSAGE_SEEN` | Mark a message as seen |\n| `FACEBOOK_GET_PAGE_POSTS` | Retrieve posts from a Page feed |\n| `FACEBOOK_GET_USER_PAGES` | List Pages with tasks and tokens |\n\n---\n\n*Powered by [Composio](https:\u002F\u002Fcomposio.dev)*\n",{"name":42,"requires":43,"description":46},"Facebook Automation",{"mcp":44},[45],"rube","Automate Facebook Page management including post creation, scheduling, video uploads, Messenger conversations, and audience engagement via Composio","main","4180cbf3e82c49da08cab01820d0c559313b3761","components\u002Fblock-device-filesys\u002F.claude\u002Fskills\u002Fspeckit-git-feature",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":42,"commands":56,"prompt":66,"zipAvailable":67},[57,60,63],{"tool":58,"command":59},"npx","npx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill \"Facebook Automation\"",{"tool":61,"command":62},"bunx","bunx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill \"Facebook Automation\"",{"tool":64,"command":65},"pnpm","pnpm dlx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill \"Facebook Automation\"","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002Fcomponents\u002Fblock-device-filesys\u002F.claude\u002Fskills\u002Fspeckit-git-feature\u002FSKILL.md",true,[],[70,88,103,114,129,141],{"skillNo":71,"name":72,"nameZh":6,"description":73,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":74,"categories":75,"keywords":76,"publishedAt":37},"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",[],[77,78,79,80,81,82,83,84,25,85,86,87],"tools spin sync","Tools","sync","code","verify","model","models","name","re","source","source code",{"skillNo":89,"name":90,"nameZh":6,"description":91,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":92,"categories":93,"keywords":94,"publishedAt":37},"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",[],[95,82,78,96,97,98,99,100,101,33,102],"tools spin model","system","formal verification","number","for","prove","new","verification",{"skillNo":104,"name":105,"nameZh":6,"description":106,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":107,"categories":108,"keywords":109,"publishedAt":37},"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",[],[110,111,78,112,102,113],"tools creusot install","install","rust","tool",{"skillNo":115,"name":116,"nameZh":6,"description":117,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":118,"categories":119,"keywords":120,"publishedAt":37},"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",[],[121,78,122,28,30,123,124,102,125,97,126,127,128],"tools creusot init","init","components","prepare","use","cargo","manager","Existing",{"skillNo":130,"name":131,"nameZh":6,"description":132,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":133,"categories":134,"keywords":135,"publishedAt":37},"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",[],[136,137,111,78,99,128,138,139,102,140],"tools creusot coq install","Coq","as","installation","add",{"skillNo":142,"name":143,"nameZh":6,"description":144,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":145,"categories":146,"keywords":147,"publishedAt":37},"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",[],[78,148,149,25,84,150,81,151,152],"tools creusot annotate interfaces","annotate","properties","component","interface"]