[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6KKTDVWS6W7MV7SW9ABFSTA":3,"skill-same:01M6KKTDVWS6W7MV7SW9ABFSTA":58},{"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":26,"linkOnly":27,"markdownContent":28,"markdownBody":29,"frontMatter":30,"refName":36,"commitSha":37,"skillDirectory":38,"forksCount":39,"repositoryHtmlUrl":40,"repositoryHomepageUrl":6,"ownerHtmlUrl":41,"ownerBlogUrl":42,"ownerDescription":6,"updatedAt":43,"install":44,"resources":57},"01M6KKTDVWS6W7MV7SW9ABFSTA","component-like-existing",null,"Bootstrap a new component from an existing one, preserving its provided interfaces and receptacles under a different component name.","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\u002F.claude\u002Fskills\u002Fcomponent-like-existing\u002FSKILL.md",[],[19,20,21,22,23,24,25],"component","Existing","component like existing","bootstrap","name","new component","new","2026-11-10 10:12:30",false,"---\nname: Clockify Automation\ndescription: \"Automate time tracking workflows in Clockify -- create and manage time entries, workspaces, and users through natural language commands.\"\nrequires:\n  mcp:\n    - rube\n---\n\n# Clockify Automation\n\nAutomate your Clockify time tracking operations directly from Claude Code. Log time entries, query historical data, manage workspaces, and audit team activity -- all without leaving your terminal.\n\n**Toolkit docs:** [composio.dev\u002Ftoolkits\u002Fclockify](https:\u002F\u002Fcomposio.dev\u002Ftoolkits\u002Fclockify)\n\n---\n\n## Setup\n\n1. Add the Rube MCP server to your Claude Code config with URL: `https:\u002F\u002Frube.app\u002Fmcp`\n2. When prompted, authenticate your Clockify account through the connection link provided\n3. Start automating your time tracking workflows with natural language\n\n---\n\n## Core Workflows\n\n### 1. Create Time Entries\n\nLog time with project, task, and tag associations, plus billable status.\n\n**Tool:** `CLOCKIFY_CREATE_TIME_ENTRY`\n\n```\nLog 2 hours of work on project 64a687e2 in workspace 64a687e3 starting at 9am UTC today with description \"API development\"\n```\n\nKey parameters:\n- `workspaceId` (required) -- workspace where the entry is created\n- `start` (required) -- ISO 8601 start time (e.g., `2026-02-11T09:00:00Z`)\n- `end` -- ISO 8601 end time; omit to create a running timer\n- `projectId` -- associate with a project\n- `taskId` -- associate with a task\n- `description` -- work description (0-3000 chars)\n- `tagIds` -- array of tag IDs\n- `billable` -- whether the entry is billable\n- `customFieldValues` -- array of custom field entries with `customFieldId` and `value`\n\n### 2. Query Time Entries\n\nRetrieve historical time entries for reporting, auditing, and invoicing.\n\n**Tool:** `CLOCKIFY_GET_TIME_ENTRIES`\n\n```\nGet all time entries for user abc123 in workspace xyz789 from January 2026\n```\n\nKey parameters:\n- `workspaceId` (required) -- workspace to query\n- `userId` (required) -- user whose entries to retrieve\n- `start` \u002F `end` -- ISO 8601 date range filters\n- `project` -- filter by project ID\n- `task` -- filter by task ID\n- `tags` -- comma-separated tag IDs\n- `description` -- text filter (partial match)\n- `hydrated` -- set `true` to get full project\u002Ftask\u002Ftag objects instead of just IDs\n- `in-progress` -- set `true` to return only the running timer\n- `page` \u002F `page-size` -- pagination (default 50 per page)\n\n### 3. Delete Time Entries\n\nRemove erroneous, duplicate, or cancelled time entries.\n\n**Tool:** `CLOCKIFY_DELETE_TIME_ENTRY`\n\n```\nDelete time entry 5b715448 from workspace 64a687e3\n```\n\n- Requires `workspaceId` and `id` (the time entry ID)\n- Use for cleanup of bad imports or duplicates\n\n### 4. Manage Workspaces\n\nList all workspaces the authenticated user belongs to.\n\n**Tool:** `CLOCKIFY_GET_ALL_MY_WORKSPACES`\n\n```\nShow me all my Clockify workspaces\n```\n\n- Optional `roles` filter -- array of roles like `[\"WORKSPACE_ADMIN\", \"OWNER\"]`\n- Use this to discover workspace IDs before creating or querying entries\n\n### 5. User Information\n\nRetrieve current user details and list workspace members.\n\n**Tools:** `CLOCKIFY_GET_CURRENTLY_LOGGED_IN_USER_INFO`, `CLOCKIFY_FIND_ALL_USERS_ON_WORKSPACE`\n\n```\nWho am I logged in as? Then list all users in workspace 64a687e3\n```\n\n- `CLOCKIFY_GET_CURRENTLY_LOGGED_IN_USER_INFO` returns the authenticated user's profile (no parameters needed)\n- `CLOCKIFY_FIND_ALL_USERS_ON_WORKSPACE` requires `workspaceId`; supports `name`, `email` filters and pagination (`page`, `page-size` max 100)\n\n### 6. Running Timer Management\n\nStart a timer by omitting `end` in create, or check for running entries.\n\n**Tools:** `CLOCKIFY_CREATE_TIME_ENTRY`, `CLOCKIFY_GET_TIME_ENTRIES`\n\n```\nStart a timer on project abc in workspace xyz with description \"Working on bug fix\"\n```\n\n- Create without `end` to start a running timer\n- Use `CLOCKIFY_GET_TIME_ENTRIES` with `in-progress: true` to check if a timer is running\n\n---\n\n## Known Pitfalls\n\n- **Workspace and user IDs are required:** Most Clockify tools require both `workspaceId` and `userId`. Always call `CLOCKIFY_GET_ALL_MY_WORKSPACES` and `CLOCKIFY_GET_CURRENTLY_LOGGED_IN_USER_INFO` first to resolve these IDs.\n- **ISO 8601 timestamps:** All time parameters must be in ISO 8601 format with timezone (e.g., `2026-02-11T09:00:00Z`). Omitting the timezone causes unpredictable behavior.\n- **Running timers:** Only one timer can run at a time. Creating a new entry without `end` will fail if another timer is already active. Stop the existing timer first.\n- **Pagination defaults:** `CLOCKIFY_GET_TIME_ENTRIES` defaults to 50 entries per page. For full exports, loop through pages until no more results are returned.\n- **Tag IDs are workspace-scoped:** Tag IDs from one workspace cannot be used in another. Always resolve tags within the target workspace context.\n\n---\n\n## Quick Reference\n\n| Tool Slug | Description |\n|---|---|\n| `CLOCKIFY_CREATE_TIME_ENTRY` | Create a time entry or start a timer (requires `workspaceId`, `start`) |\n| `CLOCKIFY_GET_TIME_ENTRIES` | List time entries with filters (requires `workspaceId`, `userId`) |\n| `CLOCKIFY_DELETE_TIME_ENTRY` | Delete a time entry (requires `workspaceId`, `id`) |\n| `CLOCKIFY_GET_ALL_MY_WORKSPACES` | List all workspaces for the authenticated user |\n| `CLOCKIFY_GET_CURRENTLY_LOGGED_IN_USER_INFO` | Get current user profile info |\n| `CLOCKIFY_FIND_ALL_USERS_ON_WORKSPACE` | List all users in a workspace (requires `workspaceId`) |\n\n---\n\n*Powered by [Composio](https:\u002F\u002Fcomposio.dev)*\n","# Clockify Automation\n\nAutomate your Clockify time tracking operations directly from Claude Code. Log time entries, query historical data, manage workspaces, and audit team activity -- all without leaving your terminal.\n\n**Toolkit docs:** [composio.dev\u002Ftoolkits\u002Fclockify](https:\u002F\u002Fcomposio.dev\u002Ftoolkits\u002Fclockify)\n\n---\n\n## Setup\n\n1. Add the Rube MCP server to your Claude Code config with URL: `https:\u002F\u002Frube.app\u002Fmcp`\n2. When prompted, authenticate your Clockify account through the connection link provided\n3. Start automating your time tracking workflows with natural language\n\n---\n\n## Core Workflows\n\n### 1. Create Time Entries\n\nLog time with project, task, and tag associations, plus billable status.\n\n**Tool:** `CLOCKIFY_CREATE_TIME_ENTRY`\n\n```\nLog 2 hours of work on project 64a687e2 in workspace 64a687e3 starting at 9am UTC today with description \"API development\"\n```\n\nKey parameters:\n- `workspaceId` (required) -- workspace where the entry is created\n- `start` (required) -- ISO 8601 start time (e.g., `2026-02-11T09:00:00Z`)\n- `end` -- ISO 8601 end time; omit to create a running timer\n- `projectId` -- associate with a project\n- `taskId` -- associate with a task\n- `description` -- work description (0-3000 chars)\n- `tagIds` -- array of tag IDs\n- `billable` -- whether the entry is billable\n- `customFieldValues` -- array of custom field entries with `customFieldId` and `value`\n\n### 2. Query Time Entries\n\nRetrieve historical time entries for reporting, auditing, and invoicing.\n\n**Tool:** `CLOCKIFY_GET_TIME_ENTRIES`\n\n```\nGet all time entries for user abc123 in workspace xyz789 from January 2026\n```\n\nKey parameters:\n- `workspaceId` (required) -- workspace to query\n- `userId` (required) -- user whose entries to retrieve\n- `start` \u002F `end` -- ISO 8601 date range filters\n- `project` -- filter by project ID\n- `task` -- filter by task ID\n- `tags` -- comma-separated tag IDs\n- `description` -- text filter (partial match)\n- `hydrated` -- set `true` to get full project\u002Ftask\u002Ftag objects instead of just IDs\n- `in-progress` -- set `true` to return only the running timer\n- `page` \u002F `page-size` -- pagination (default 50 per page)\n\n### 3. Delete Time Entries\n\nRemove erroneous, duplicate, or cancelled time entries.\n\n**Tool:** `CLOCKIFY_DELETE_TIME_ENTRY`\n\n```\nDelete time entry 5b715448 from workspace 64a687e3\n```\n\n- Requires `workspaceId` and `id` (the time entry ID)\n- Use for cleanup of bad imports or duplicates\n\n### 4. Manage Workspaces\n\nList all workspaces the authenticated user belongs to.\n\n**Tool:** `CLOCKIFY_GET_ALL_MY_WORKSPACES`\n\n```\nShow me all my Clockify workspaces\n```\n\n- Optional `roles` filter -- array of roles like `[\"WORKSPACE_ADMIN\", \"OWNER\"]`\n- Use this to discover workspace IDs before creating or querying entries\n\n### 5. User Information\n\nRetrieve current user details and list workspace members.\n\n**Tools:** `CLOCKIFY_GET_CURRENTLY_LOGGED_IN_USER_INFO`, `CLOCKIFY_FIND_ALL_USERS_ON_WORKSPACE`\n\n```\nWho am I logged in as? Then list all users in workspace 64a687e3\n```\n\n- `CLOCKIFY_GET_CURRENTLY_LOGGED_IN_USER_INFO` returns the authenticated user's profile (no parameters needed)\n- `CLOCKIFY_FIND_ALL_USERS_ON_WORKSPACE` requires `workspaceId`; supports `name`, `email` filters and pagination (`page`, `page-size` max 100)\n\n### 6. Running Timer Management\n\nStart a timer by omitting `end` in create, or check for running entries.\n\n**Tools:** `CLOCKIFY_CREATE_TIME_ENTRY`, `CLOCKIFY_GET_TIME_ENTRIES`\n\n```\nStart a timer on project abc in workspace xyz with description \"Working on bug fix\"\n```\n\n- Create without `end` to start a running timer\n- Use `CLOCKIFY_GET_TIME_ENTRIES` with `in-progress: true` to check if a timer is running\n\n---\n\n## Known Pitfalls\n\n- **Workspace and user IDs are required:** Most Clockify tools require both `workspaceId` and `userId`. Always call `CLOCKIFY_GET_ALL_MY_WORKSPACES` and `CLOCKIFY_GET_CURRENTLY_LOGGED_IN_USER_INFO` first to resolve these IDs.\n- **ISO 8601 timestamps:** All time parameters must be in ISO 8601 format with timezone (e.g., `2026-02-11T09:00:00Z`). Omitting the timezone causes unpredictable behavior.\n- **Running timers:** Only one timer can run at a time. Creating a new entry without `end` will fail if another timer is already active. Stop the existing timer first.\n- **Pagination defaults:** `CLOCKIFY_GET_TIME_ENTRIES` defaults to 50 entries per page. For full exports, loop through pages until no more results are returned.\n- **Tag IDs are workspace-scoped:** Tag IDs from one workspace cannot be used in another. Always resolve tags within the target workspace context.\n\n---\n\n## Quick Reference\n\n| Tool Slug | Description |\n|---|---|\n| `CLOCKIFY_CREATE_TIME_ENTRY` | Create a time entry or start a timer (requires `workspaceId`, `start`) |\n| `CLOCKIFY_GET_TIME_ENTRIES` | List time entries with filters (requires `workspaceId`, `userId`) |\n| `CLOCKIFY_DELETE_TIME_ENTRY` | Delete a time entry (requires `workspaceId`, `id`) |\n| `CLOCKIFY_GET_ALL_MY_WORKSPACES` | List all workspaces for the authenticated user |\n| `CLOCKIFY_GET_CURRENTLY_LOGGED_IN_USER_INFO` | Get current user profile info |\n| `CLOCKIFY_FIND_ALL_USERS_ON_WORKSPACE` | List all users in a workspace (requires `workspaceId`) |\n\n---\n\n*Powered by [Composio](https:\u002F\u002Fcomposio.dev)*\n",{"name":31,"requires":32,"description":35},"Clockify Automation",{"mcp":33},[34],"rube","Automate time tracking workflows in Clockify -- create and manage time entries, workspaces, and users through natural language commands.","main","4180cbf3e82c49da08cab01820d0c559313b3761",".claude\u002Fskills\u002Fcomponent-like-existing",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-10 09:17:37",{"source":8,"skillName":31,"commands":45,"prompt":55,"zipAvailable":56},[46,49,52],{"tool":47,"command":48},"npx","npx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill \"Clockify Automation\"",{"tool":50,"command":51},"bunx","bunx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill \"Clockify Automation\"",{"tool":53,"command":54},"pnpm","pnpm dlx skills add AI-native-Systems-Research\u002Fai-native-storage-certus --skill \"Clockify Automation\"","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002FAI-native-Systems-Research\u002Fai-native-storage-certus\u002Fblob\u002Funstable\u002F.claude\u002Fskills\u002Fcomponent-like-existing\u002FSKILL.md",true,[],[59,77,92,103,119,131],{"skillNo":60,"name":61,"nameZh":6,"description":62,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":63,"categories":64,"keywords":65,"publishedAt":26},"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",[],[66,67,68,69,70,71,72,23,73,74,75,76],"tools spin sync","Tools","sync","code","verify","model","models","with","re","source","source code",{"skillNo":78,"name":79,"nameZh":6,"description":80,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":81,"categories":82,"keywords":83,"publishedAt":26},"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",[],[84,71,67,85,86,87,88,89,25,90,91],"tools spin model","system","formal verification","number","for","prove","create","verification",{"skillNo":93,"name":94,"nameZh":6,"description":95,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":96,"categories":97,"keywords":98,"publishedAt":26},"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",[],[99,100,67,101,91,102],"tools creusot install","install","rust","tool",{"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":26},"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",[],[110,67,111,112,113,114,115,91,116,86,117,118,20],"tools creusot init","init","project","directory","components","prepare","use","cargo","manager",{"skillNo":120,"name":121,"nameZh":6,"description":122,"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":26},"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",[],[126,127,100,67,88,20,128,129,91,130],"tools creusot coq install","Coq","as","installation","add",{"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":26},"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",[],[67,138,139,73,23,140,70,19,141],"tools creusot annotate interfaces","annotate","properties","interface"]