formal-logic-reasoner
Skill for formal logical reasoning and argument validation
Browse curated skills with source links, package snapshots, README assets and install signals in one calm, searchable catalog.
Skill for formal logical reasoning and argument validation
Generate mind maps in Obsidian MarkMind Rich format from any content (books, articles, topics, notes, conversations). Use this skill whenever the user asks to create a mind map, mappa mentale, mappa c…
Build Retrieval-Augmented Generation (RAG) systems for LLM applications with vector databases and semantic search. Use when implementing knowledge-grounded AI, building document Q&A systems, or integr…
Memory is the cornerstone of intelligent agents. Without it, every interaction starts from zero. This skill covers the architecture of agent memory: short-term (context window), long-term (vector stor…
Quickly generate 2-3 video script outline proposals, including title suggestions, thumbnail design recommendations, and a complete structural design. Use this skill when the user mentions 'video outli…
Search web using Claude Sonnet with web_search tool. Returns a single text Note with synthesized findings.
Persistent memory systems for LLM conversations including short-term, long-term, and entity-based memory Use when: conversation memory, remember, memory persistence, long-term memory, chat history.
Select and optimize embedding models for semantic search and RAG applications. Use when choosing embedding models, implementing chunking strategies, or optimizing embedding quality for specific dom...
AI Director skill for pacing control and dynamic difficulty.
Process multimodal inputs (images, video, audio, PDFs) with Gemini 3 Pro. Covers image understanding, video analysis, audio processing, document extraction, media resolution control, OCR, and token op…
Details of the RAG Chatbot, including UI and backend logic.
Autonomous agents are AI systems that can independently decompose goals, plan actions, execute tools, and self-correct without constant human guidance. The challenge isn't making them capable - it's m…
Generate 3D paper pop-up book style illustrations with a sense of depth, bright and warm tones, suitable for technology, education, brand presentations, and other scenarios.
Generates Xiaohongshu (Little Red Book) infographic series with 10 visual styles and 8 layouts. Breaks content into 1-10 cartoon-style images optimized for XHS engagement. Use when user mentions "小红书图…
This skill should be used when the user asks to "compress context", "summarize conversation history", "implement compaction", "reduce token usage", or mentions context compression, structured summariz…
AI-powered animation tool for creating motion in logos, UI, icons, and social media assets.
On-device translation: Translation framework, system translation sheet, TranslationSession API, language detection. Use when adding text translation, language switching, or on-device ML translation fe…
Ligand-aware protein sequence design using LigandMPNN. Use this skill when: (1) Designing sequences around small molecules, (2) Enzyme active site design, (3) Ligand binding pocket optimization, (4) M…
The visual language model of Zhipu AI, used for image analysis, content recognition, and visual question answering
Analyze text and images for harmful content using Azure AI Content Safety (@azure-rest/ai-content-safety). Use when moderating user-generated content, detecting hate speech, violence, sexual content, …
A product video creation system with 10 intelligent agents working collaboratively, featuring a full-process quality loop (creation → quality inspection → feedback iteration), and mandating the use of…
Analyze text and images for harmful content using Azure AI Content Safety (@azure-rest/ai-content-safety). Use when moderating user-generated content, detecting hate speech, violence, sexual content..…
Strategies for managing LLM context windows including summarization, trimming, routing, and avoiding context rot Use when: context window, token limit, context management, context engineering, long...
Build end-to-end MLOps pipelines from data preparation through model training, validation, and production deployment. Use when creating ML pipelines, implementing MLOps practices, or automating mod...