ClawHub Skills Lib

Home Categories Use Cases Trending Statistics Blog

Home Categories Use Cases Trending Statistics Blog

ClawHub Skills Lib

Browse 50.000+ community-built AI agent skills for OpenClaw. Updated daily from clawhub.ai.

Explore

Home
Categories
Use Cases
Trending
Blog

Categories

Development
AI & Agents
Productivity
Communication
Data & Research
Business
Platforms
Lifestyle
Education
Design

Use Cases

AI Code Generation
Code Review & Testing
DevOps & Cloud
Security & Compliance
Build an AI Agent
Agent Memory & RAG
Multi-Agent Orchestration
Browser & Web Automation
Financial & Market Data
Crypto & Web3

Real-Time Web Search
News & Media Monitoring
Academic Research
Data & Analytics
AI Image Generation
Voice & Audio AI
AI Video Creation
Content Writing
Task & Project Management
Knowledge Management

Email & Messaging
SEO & Content Marketing
Sales & CRM
Workflow Automation
Social Media
Chinese Platforms
E-Commerce
Education & Tutoring
HR & Recruiting
Legal & Compliance

AI Code Generation
Code Review & Testing
DevOps & Cloud
Security & Compliance
Build an AI Agent
Agent Memory & RAG
Multi-Agent Orchestration
Browser & Web Automation
Financial & Market Data
Crypto & Web3

Real-Time Web Search
News & Media Monitoring
Academic Research
Data & Analytics
AI Image Generation
Voice & Audio AI
AI Video Creation
Content Writing
Task & Project Management
See all use cases →

AI Code Generation
Code Review & Testing
DevOps & Cloud
Security & Compliance
Build an AI Agent
Agent Memory & RAG
Multi-Agent Orchestration
Browser & Web Automation
Financial & Market Data
See all use cases →

© 2026 ClawHub Skills Lib. All rights reserved.Built with Next.js · Neon · Prisma

shentu-ai — AI Agent Skills by this Author | ClawHub Skills Lib

Home/shentu-ai

shentu-ai

github.com/shentu-ai

0installs580downloads1 skill

Published Skills

openmath-rocq-theorem

openmath-rocq-theorems

Configures Rocq environments, runs preflight checks, and guides the proving workflow for OpenMath Rocq theorems. Use when the user wants to set up Rocq tooli...