Skill UI

This skill details advanced techniques for enhancing the effective context capacity of LLMs. It outlines four core strategies—Compaction, Observation Masking, KV-Cache Optimization, and Context Partitioning—to prevent context limits from constraining task complexity. By strategically managing token usage, users can reduce operational costs, minimize latency, and implement robust, long-running agent systems for handling large documents or conversations.

Learn how to monitor, analyze, and optimize the expenditure of Large Language Models (LLMs) using Langfuse's advanced analytics suite. This guide covers techniques like automatic token tracking, programmatic cost reporting via the Metrics API, and implementing smart model routing to automatically select the most cost-effective model based on task complexity and input length. Essential for any developer managing AI budgets and ensuring operational efficiency.

This skill provides advanced guidelines for designing robust and effective tools specifically for autonomous AI agents. It shifts the focus from traditional developer APIs to contracts optimized for Language Models (LLMs). Key topics covered include treating tool descriptions as prompt engineering, implementing namespacing, applying the Consolidation Principle, and utilizing Architectural Reduction patterns (like file system access) to maximize agent reliability and workflow complexity.

Reads `.agent.md` or `.prompt.md` files, assesses task complexity, tooling, and requirements, then recommends the most cost-efficient GitHub Copilot model(s) (e.g., GPT-5, Claude Sonnet) with rationale for users across different subscription tiers and priorities.

A comprehensive guide detailing five robust architectural patterns for building applications powered by Claude, including Chatbot, RAG, Agent, Content Pipeline, and Evaluation. It provides complete code examples and decision matrices to help developers select the optimal architecture based on project requirements, cost, and complexity.

This skill intercepts the AI response flow to allow users to explicitly control the desired depth, length, and token usage of the generated answer before the model begins writing. By analyzing the prompt's complexity and the user's intent (e.g., 'short version', 'detailed answer'), it estimates the appropriate token range and prompts the user to select a granularity level (25%, 50%, 75%, or 100%).

A detailed guide for authors structuring the 'Related Work' section of theoretical machine learning papers. It shifts focus from qualitative prose to quantitative comparison, instructing users to build explicit tables comparing prior bounds versus new bounds, and systematically covering diverse literature lanes like complexity theory, statistics, and open problems to rigorously establish novelty.

This guide helps authors strategically position their computer science manuscript for the International Conference on Theory and Applications of Satisfiability Testing (SAT). It covers core topics including MaxSAT, SMT interfaces, and proof complexity, advising on necessary evidence, proper framing, and aligning the contribution with the specific requirements of this highly specialized venue.