AI Agent Skills

University of Washington

Repository to accompany RSS 2018 paper on dexterous hand manipulation

Retrieval-Augmented Theorem Provers for Lean

Accompanying code for Paperspace tutorial "Build an AI to play Dino Run"

Crypto Trading Strategies for the freqtrade.io trading bot

Strategies for Freqtrade

A tool for exporting Yuque documents as markdown.

<혼자 공부하는 머신러닝+딥러닝>의 코드 저장소입니다.

The Ultimate & smart JS animation library! Simple fast , flexible & easy to integrate.

ROS/ROS 2 package for Ultralytics YOLOv8 real-time object detection and segmentation. https://github.com/ultralytics/ultralytics

This is a wencai crawler.（i问财的策略回测接口的Pythonic工具包）

Maintain durable, evidence-based repository context whenever an agent initializes a repository, implements or fixes behavior, refactors code, changes an interface, check…

🚀 Give Claude AI superpowers for GitHub workflows. Transform "fix stuff" commits into professional messages, generate intelligent changelogs, and get AI code reviews -…

🛠 MLOps end-to-end guide and tutorial website, using IBM Watson, DVC, CML, Terraform, Github Actions and more.

Explore the relationships between convex regular-faced polyhedra.

Export tools for Plex