Agent skills for Grok Build

Automates the negotiation process on the Xianyu (Goofish) marketplace using intelligent LLM-driven chat strategies and browser automation.

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

Rigorous mathematical proof verification and fixing workflow.

Automates Xiaohongshu account authentication using QR codes, SMS verification, and automated session monitoring.

Analyzes Xiaohongshu (RED) trends, deconstructs viral notes, extracts audience pain points from comments, and screens KOC/KOL influencers…

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

Generates contextual in-article illustrations and diagrams starring consistent IP characters for in-depth Chinese technical and analytical…

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.

XML tag structure patterns for Claude Code agents and commands.

Flutter patterns — widget architecture, state management, Impeller renderer, platform-adaptive design

X API & Twitter scraper skill for AI coding agents.

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

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

Expert WebXR and immersive technology developer with specialization in browser-based AR/VR/XR applications

Execute this skill enables AI assistant to automatically scan for xss

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

Post content and articles to X (Twitter).

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

Manages real-time audio transcription, long-text TTS, and WebSocket message protocols for AI-driven meeting platforms.

Guide for creating effective skills. This skill should be used when users want to create a new skill (or update an existing skill) that…