Learning & Documentation Claude 스킬

Use Case Specification Writer

Generates structured use case specifications with main scenarios, alternative flows, and business rules for professional project documentation.

Lambda Calculus Foundations

Implements Church’s lambda calculus to provide a mathematical foundation for functional programming and formal term reduction.

German Translation Coordinator

Manages bi-directional translation between German and English for technical and mathematical terminology using structured GF(3) routing.

Unison ACSet Logic & Documentation

Structures Unison language constructs and documentation using algebraic C-set schemas and SPI trajectory tracking.

Scientific Manuscript Review

Provides systematic review and editing of research papers to enhance scientific clarity, logical structure, and journal readiness.

Sense Video Lecture Indexer

Extracts structured knowledge, LaTeX equations, and diagrammatic data from video lectures using subtitle alignment and OCR.

Scientific Peer Review Toolkit

Conducts systematic, rigorous evaluations of scientific manuscripts and grant proposals using standardized review frameworks and statistical rigor assessments.

Technical Specification Creator

Generates standardized technical architecture specifications with automated versioning and RFC linking.

Teglon DeepWiki

Automates repository documentation management and semantic wiki querying to maintain an up-to-date codebase knowledge base.

Paperproof Validator

Visualizes and verifies formal Lean 4 proofs by transforming abstract code into intuitive, paper-like proof trees.

Citation Management

Streamlines academic research by searching scholarly databases, extracting metadata from identifiers, and generating validated BibTeX entries.

Friendly Greeting Assistant

Greets users with a welcoming, standardized message to demonstrate basic interaction capabilities within Claude Code.

Scholar Evaluation

Evaluates scholarly research and academic papers using the systematic ScholarEval framework to ensure rigor, quality, and publication readiness.

Academic Citation Management

Simplifies academic research by automating paper discovery, metadata extraction, and BibTeX bibliography management.

SICP Computer Science Foundations

Provides deep access to the Structure and Interpretation of Computer Programs (SICP) framework for advanced computational abstraction and language design.

Repository Contributor Guide Initializer

Generates a standardized AGENTS.md file to establish clear contributor guidelines and project structure documentation.

Medical Treatment Plan Generator

Generates professional, evidence-based medical treatment plans in LaTeX and PDF formats for all clinical specialties.

Glide Learning History

Maintains a chronological record of expert tips and architectural patterns integrated into the Glide plugin.

Anna's Archive Research Integration

Streamlines academic research by retrieving books and papers from shadow libraries like Library Genesis and Sci-Hub.

CTP-Yoneda: Category Theory Programming

Maps abstract category theory concepts to Racket programming constructs using a GF(3) colored awareness protocol.

Libghostty Terminal Recording

Records and streams libghostty-vt terminal sessions into LLM-friendly formats for documentation, debugging, and automated training.

Product Design Quick Start

Accelerates the initial phase of new product development by providing instant access to standardized design and implementation workflows.

Professional Code Documentation

Generates standardized READMEs, API references, and architecture decision records to improve project maintainability.

Tech Spec Lifecycle Manager

Manages the progression of technical specifications by tracking statuses, validating transitions, and automating document organization.

Ecosystem Guide

Navigates and selects the optimal tools within the spences10 Claude Code ecosystem to streamline development workflows.

Code Documentation Architect

Standardizes and automates the creation of professional READMEs, API references, and architectural records.

Paperproof Validator

Visualizes and verifies formal Lean 4 proofs by transforming abstract code into intuitive, paper-like proof trees.

Kimi Code CLI Helper

Simplifies the Kimi Code CLI experience by providing real-time documentation, configuration assistance, and troubleshooting support.

Student Activity Analysis

Automates the tracking and reporting of student git activity, lab completion, and project contributions for software engineering courses.

LaTeX Build Automation

Streamlines the compilation and management of LaTeX documents through automated build cycles and live preview synchronization.