community

kim-em

Use when Lean 4 proofs involve ByteArray, Array, List indexing, getElem, length lemmas, take/drop, or roundtrip proofs over byte collections.

BuilderIO

A framework for building agent-native applications.

msbaek

This skill provides comprehensive guidance for using GitHub CLI (gh) to streamline GitHub workflows, benefiting developers with automated PR management and issue tracking.

onevcat

Code, illuminated. Syntax highlighting for Swift TUI and CLI applications.

yoloshii

Enhanced MCP code execution. Agent framework-agnostic (optimized for Claude Code). Skills framework (99.6% token reduction), multi-transport, sandboxing

tranhieutt

Software Development Department

dlupiak

Claude Code Session Dashboard — local observability for ~/.claude sessions

rubys

Compare ERB and JavaScript template outputs for the offline scoring SPA. Use when working on ERB-to-JS conversion, debugging template parity issues, or verifying that changes to scoring views work correctly in both ERB and SPA modes.

lemline

runner-dev 是一个 Serverless Workflow DSL 运行时，用于实现事件驱动的工作流

kdeldycke

🏭 Automate repository maintenance, releases, and CI/CD workflows

yi-john-huang

简单任务是指在项目中实现小功能、修复bug和快速增强的任务

proffesor-for-testing

AI Agentic API Testing Platform - Automated testing with specialized ephemeral agents