Browse skills

Semantic search across codebase using LEANN vector index

The English summary is being prepared. Showing the original description.

Problem-solving strategies for convergence in real analysis

The English summary is being prepared. Showing the original description.

Get a token-efficient overview of any project using the TLDR stack

The English summary is being prepared. Showing the original description.

Problem-solving strategies for channel capacity in information theory

The English summary is being prepared. Showing the original description.

Problem-solving strategies for rings in abstract algebra

The English summary is being prepared. Showing the original description.

Problem-solving strategies for boundary value problems in odes pdes

The English summary is being prepared. Showing the original description.

Problem-solving strategies for graph algorithms in graph number theory

The English summary is being prepared. Showing the original description.

Wiring Verification

The English summary is being prepared. Showing the original description.

Problem-solving strategies for residues in complex analysis

The English summary is being prepared. Showing the original description.

Goal-based workflow orchestration - routes tasks to specialist agents based on user goals

The English summary is being prepared. Showing the original description.

Show full session token usage, costs, TLDR savings, and hook activity

The English summary is being prepared. Showing the original description.

Problem-solving strategies for natural transformations in category theory

The English summary is being prepared. Showing the original description.

Problem-solving strategies for contour integrals in complex analysis

The English summary is being prepared. Showing the original description.

Problem-solving strategies for hilbert spaces in functional analysis

The English summary is being prepared. Showing the original description.

Problem-solving strategies for operator theory in functional analysis

The English summary is being prepared. Showing the original description.

Problem-solving strategies for modular arithmetic in graph number theory

The English summary is being prepared. Showing the original description.

Problem-solving strategies for entropy in information theory

The English summary is being prepared. Showing the original description.

Problem-solving strategies for proof theory in mathematical logic

The English summary is being prepared. Showing the original description.

Problem-solving strategies for propositional logic in mathematical logic

The English summary is being prepared. Showing the original description.

Problem-solving strategies for convex optimization in optimization

The English summary is being prepared. Showing the original description.

Problem-solving strategies for continuity in real analysis

The English summary is being prepared. Showing the original description.

Routes problems to appropriate mathematical frameworks using expert heuristics

The English summary is being prepared. Showing the original description.

Problem-solving strategies for lebesgue measure in measure theory

The English summary is being prepared. Showing the original description.

Problem-solving strategies for limits colimits in category theory

The English summary is being prepared. Showing the original description.