Local context tooling for AI agents. Use it to select, shape, reuse, recover, and inspect context before inference when reading files…
Code search via LeanKG MCP when HTTP :9699 is healthy; otherwise skip LeanKG and use default Grep/Glob/Read.
Turn an uploaded PDF, paper, book chapter, document, URL, or user-provided topic into a structured, interactive learning course.
Generates structured HTML study plans with interactive Mermaid diagrams from pre-analyzed video data.
Extract a learned skill from the current conversation
Use when a user asks conceptual questions about Shuriken — what it does, what features exist, how a feature works, or "what is X on…
Use when the user invokes /learn or asks to remember, save, or capture a pattern, decision, gotcha, procedure, or feature dossier from…
[Beta] CI-only learning aggregation workflow using gh-aw (GitHub Agentic Workflows).
Adjusts and refines dynamic learning plans based on learner feedback while preserving existing progress and milestones.
Operate a user-authorized online learning platform to resume eligible courses, use the highest visible allowed playback speed, handle…
Tracks study milestones, mastery evidence, review schedules, and recommended next steps using evidence-based, read-only progress summaries.
Generates standardized, multi-chapter learning project directories and runnable workspaces for interactive coding courses.
For factual learning: assigns norm, burden of proof and counter-argument; result: test product with risk and next step.
Converts structured knowledge into interactive diagrams using 5 core visualization types
Move a family photo library off Google Photos onto self-hosted Immich, with a backup that actually restores.
Global TypeScript-first engineering router.
This skill should be used when working with NWConnection patterns for iOS 12-25, supporting apps that can't use async/await yet, or…
Automates browser interactions for web testing, form filling, screenshots, and data extraction.
For legal aid: Lawyer before a lawsuit (almost) free of charge: clarifies the legal standard, burden of proof, and counter-arguments…
For legal aid with installment payments: establishes the standard, burden of proof and counter-argument; result: test product with risk…
Skills required for structured analysis of Brazilian contracts to support legal counsel.