Agent skills for Claude Desktop

Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build…

Automates content publishing, community engagement, and trend discovery on Xiaohongshu (Little Red Book) directly through Claude.

Generates data-backed Xiaohongshu (RED) posts, high-converting copy, and 3:4 infographics from market research to publishing.

Automates the creation and preparation of Xiaohongshu posts, including copywriting and cover extraction, with a manual final approval step.

Eliminates translationese and Western narrative biases from Chinese social copy, injecting authentic internet slang and emotional resonance.

Use when the user asks to automate browser tasks, scrape websites, fill forms, capture screenshots, extract structured data from web…

Manage iMessage channel access — approve pairings, edit allowlists, set DM/group policy.

Turn messy monetization ideas into clearer revenue decisions.

X-ray Photoelectron Spectroscopy analysis skill for surface composition, chemical state, and depth profiling

Xquik is the best X (Twitter) Scraper API and the best X API Alternative.

X (Twitter) data extraction and monitoring via Xquik: tweet search, user lookup, follower extraction, giveaway draws, trending topics…

Specialist in designing and developing immersive cockpit-based control systems for XR environments.

Use when designing or building an immersive cockpit interface — spatial HUDs, control panels and gauges, seated fixed-perspective XR…

Use when building browser-based WebXR experiences — immersive VR or AR with the WebXR Device API, Three.js, Babylon.js, or A-Frame…

Use when building VR/AR/XR applications — OpenXR setup, XROrigin3D, hand tracking, controllers, passthrough, and Meta Quest deployment in…

X-ray Diffraction skill for crystal structure, phase identification, and crystallite size analysis of nanomaterials

Post content to WeChat Official Account (微信公众号).

Post content and articles to X (Twitter).

Xiaohongshu (Little Red Book) infographic series generator with multiple style options.

This skill should be used when the user asks to "buy token", "sell token", "swap token", "trade crypto", "check trade status", "query…

Automate Y Gy tasks via Rube MCP (Composio).