Learning & Documentation Agent Skills

Lean 4 Memories

Accumulates and retrieves persistent knowledge of successful proof patterns and project conventions to accelerate Lean 4 theorem proving.

Claude Skill Template

Provides a standardized boilerplate for creating new Claude Code skills with consistent documentation and instruction structures.

Skill Development Template

Provides a standardized blueprint and comprehensive guide for building well-structured Claude Code skills and protocol integrations.

Solana Kit Migration Assistant

Guides developers through migrating Solana applications from legacy web3.js v1 to the modern, high-performance @solana/kit SDK.

Code Fundamentals & Quality Mentor

Enforces clean code standards by reviewing naming conventions, function architecture, and DRY principles through a Socratic mentoring approach.

MCP Tools Catalog Generator

Generates and maintains a standardized Markdown catalog of all active Model Context Protocol (MCP) servers and their available tool functions.

CLAUDE.md Optimizer

Optimizes and synchronizes CLAUDE.md project instructions with the current state of your codebase to improve AI performance.

Professional README Generator

Automates the creation of high-quality, professional README files by interviewing the developer and scanning project metadata.

Axiom Getting Started

Guides new users to the most relevant Axiom skills for their project and development focus through an interactive onboarding experience.

ISO 13485 QMS Quality Manager

Implements and maintains ISO 13485 Quality Management Systems for medical device organizations through guided documentation and audit workflows.

EU MDR 2017/745 Compliance Specialist

Guides medical device classification, technical documentation, and clinical evidence strategies to ensure EU MDR 2017/745 regulatory compliance.

Knowledge Extraction & Documentation

Automates the extraction of project insights from thread histories to synchronize and update technical documentation.

Add Neon Docs

Integrates Neon database best practices and documentation links into project-level AI instruction files like CLAUDE.md.

Specification Techniques

Master techniques for creating clear, actionable product requirements and technical specifications to align teams and reduce ambiguity.

Conversation Log

Documents technical sessions with factual accuracy, capturing decisions, outcomes, and next steps for precise project tracking.

Navigator Interactive Onboarding

Provides a hands-on, interactive learning experience to master the Navigator Just-in-Time documentation workflow within Claude Code.

Navigator Slash Command Generator

Automates the creation of standardized, high-quality slash commands for the Navigator JIT documentation plugin.

Navigator SOP Creator

Automates the generation of structured Standard Operating Procedures from development conversations to capture tribal knowledge and prevent recurring issues.

Navigator Initializer

Bootstraps the Navigator Just-in-Time Documentation structure to optimize Claude Code's performance and token efficiency.

Agent Brain Search

Enables advanced RAG-based document and codebase searching using semantic, keyword, hybrid, and knowledge graph retrieval modes.

API Documentation Grounding

Verifies external library syntax, API methods, and framework patterns against real-time documentation to ensure production-ready code accuracy.

Mermaid Diagram Templates

Generates professional Mermaid.js diagrams for technical documentation and system architecture directly within your workflow.

Documentation Link Validator

Validates and repairs internal documentation links, anchor targets, and orphaned files to ensure documentation integrity.

Documentation Example Verifier

Audits and synchronizes documentation code blocks with actual source code to prevent outdated or broken examples.

PHP GRASP Architecture Guide

Implements GRASP principles to optimize responsibility assignment and software design in PHP 8.4 applications.

Business Process Explainer

Translates complex technical code sequences into clear, natural language business workflows with actors, steps, and outcomes.

Technical Diagramming & C4 Architecture

Provides a comprehensive knowledge base for creating professional technical diagrams using Mermaid syntax and the C4 model.

Project Context Maintenance

Synchronizes project documentation files with code changes to ensure architectural contracts and domain context remain accurate.

Internet Research Agent

Conducts deep technical research and hypothesis testing to inform architectural decisions and API integration using current web data.

Skill Writing & TDD Framework

Applies Test-Driven Development principles to the creation of Claude Code skills to ensure robust, loophole-free AI directives.