This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proof patterns, failed approaches, project conventions, and user preferences across sessions using MCP memory server integration
日本語の概要は準備中です。原文の説明を表示しています。
benchflow-ai/skillsbench☆ 1,8502026年10月13日 更新
Materials science toolkit. Crystal structures (CIF, POSCAR), phase diagrams, band structure, DOS, Materials Project integration, format conversion, for computational materials science.
日本語の概要は準備中です。原文の説明を表示しています。
benchflow-ai/skillsbench☆ 1,8502026年10月13日 更新
Set up MCP Inspector for debugging and testing MCP servers with request logging, response inspection, and protocol validation.
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Integrate dotenv for environment variable loading with validation and type coercion.
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Pinecone vector database setup, configuration, and operations for RAG applications
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Integrates MCP App UI with host theming system. Applies host CSS variables, handles onhostcontextchanged, safe area insets, display mode detection, and fullscreen configuration.
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Qdrant vector database with filtering, payloads, and quantization support
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Rasa NLU pipeline configuration and training for intent and entity extraction
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Milvus distributed vector database configuration for large-scale RAG applications
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Weaviate vector database setup with GraphQL queries and hybrid search
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Content moderation API integration using OpenAI Moderation, Perspective API, and others
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Human-in-the-loop integration for LangGraph workflows with approval and intervention points
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
LangChain memory integration including ConversationBufferMemory, ConversationSummaryMemory, and vector-based memory
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
LangChain tool creation and integration utilities for agent systems
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Chroma local vector database setup and operations for development and production
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Coordinate external AI tool integration (OpenAI Codex, Google Gemini) for cross-model adversarial review and delegated implementation.
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Git commit patterns, formats, and conventions for GSD methodology. Provides atomic commits per task, structured commit messages, planning file commits, branch management, and milestone tag operations.
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
PM2 process management, backend/frontend cascade execution, parallel worktree builds, and cross-service integration testing.
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
System and API design guidance covering component boundaries, data flow, integration patterns, and scalability considerations.
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Process the Refinery merge queue - collect agent work, detect and resolve conflicts, merge in dependency order, and verify integration.
日本語の概要は準備中です。原文の説明を表示しています。
a5c-ai/babysitter☆ 1,8462026年9月17日 更新
Guide for creating effective skills. This skill should be used when users want to create a new skill (or update an existing skill) that extends Claude's capabilities with specialized knowledge, workflows, or tool integrations.
日本語の概要は準備中です。原文の説明を表示しています。
Prat011/awesome-llm-skills☆ 1,8012026年7月14日 更新
Keep Figma and code in sync — map the 3-tier DTCG tokens to Figma Variables (collections + modes), sync in either direction, use the Figma MCP when connected, and verify component parity (variants/states). Use when the user wants to push tokens/components to Figma, pull a design into code, set up token↔Variable sync, or check design-code drift.
日本語の概要は準備中です。原文の説明を表示しています。
plugin87/ux-ui-agent-skills☆ 1,7932026年10月11日 更新
Use after writing tests to assess coverage quality across structural, mutation, requirements, and API/integration dimensions; organized knowledge for choosing and interpreting coverage analyses.
日本語の概要は準備中です。原文の説明を表示しています。
NeoLabHQ/context-engineering-kit☆ 1,7682026年8月27日 更新
Interactive assistant for creating new Claude commands with proper structure, patterns, and MCP tool integration
日本語の概要は準備中です。原文の説明を表示しています。
NeoLabHQ/context-engineering-kit☆ 1,7682026年8月27日 更新