Browse All Agent Skills

Formal Verification AI

Ensures the reliability and mathematical correctness of AI models through automated theorem proving, interval arithmetic, and categorical proofs.

Libghostty Terminal Recording

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

Invariant Set Dynamics

Analyzes and defines sets preserved by flows in dynamical systems to model long-term stability and system behavior.

Scientific Schematics AI

Generates publication-quality scientific diagrams and neural network architectures using AI-driven iterative refinement and quality scoring.

Derangement Reflow Control

Optimizes agentic workflows by enforcing derangement constraints to prevent circular validation and ensure healthy information flow.

Aptos Trading Executor

Automates Aptos mainnet trading strategies including price-triggered profit-taking and dip-buying via Liquidswap.

SICP Computer Science Foundations

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

Directed Interval Type Theory

Axiomatizes the directed interval (0 → 1) to model irreversible processes, time-directed homotopy, and chemical reaction pathways.

GitHub Workflow Automation

Automates complex GitHub Actions workflows and repository management using AI-driven swarm coordination for self-healing CI/CD pipelines.

Amp Interruption Analyzer

Analyzes tool rejection patterns and agent interruption history to optimize AI behavior and reduce repetitive errors.

Adversarial Code Reviewer

Conducts rigorous code quality checks and adversarial testing to identify edge cases and ensure production-grade software.

E2B665 Ergodic Observer

Observes and records ergodic thread networks to facilitate autopoietic skill evolution and pattern recognition within Claude.

Covariant Fibrations

Automates the validation and construction of covariant fibrations for directed type theory and infinity-categorical transport.

Dialectica Logic Game Engine

Transforms formal logic proofs into interactive games based on Gödel's Dialectica interpretation for strategy extraction and verification.

Session Info & Metadata

Retrieves comprehensive details about the current Claude Code session, including UUIDs, project paths, and session chain history.

Geometric Algebra Visualization

Renders complex Geometric Algebra elements into interactive SVG and WebGL graphics using ganja.js.

Design Document Maintenance

Structures and refactors technical design documentation to be clear, concise, and easily discoverable.

MCP Protocol Spec Checker

Performs predicate-level semantic diffing and triadic verification for Model Context Protocol specifications to ensure version compatibility.

Aptos GF(3) Society

Implements triadic balanced governance and staking on the Aptos blockchain using GF(3) conservation principles.

Möbius Inversion & Poset Analysis

Calculates Möbius functions and alternating sums on posets to solve complex combinatorial, graph theory, and network centrality problems.

Address Sanitizer

Detects memory safety bugs and vulnerabilities in C and C++ programs through runtime instrumentation guidance.

Browser Navigation & Automation

Automates comprehensive browser interactions, web testing, and data extraction using the agent-browser toolkit.

Transcritical Dynamics

Models and analyzes dynamical systems where stability exchanges between equilibria during bifurcation events.

MQL5 Indicator Patterns

Develop high-performance MetaTrader 5 indicators using battle-tested architectural patterns and buffer management techniques.

Markdown Link Validator

Validates Markdown links and enforces directory path policies automatically at the end of every Claude Code session.

Sheaf Laplacian Coordination

Implements sheaf neural network coordination and distributed consensus using graph Laplacians for complex agent topologies.

Skill Architecture & Creation Framework

Standardizes the development, validation, and evolution of specialized Claude Code skills using official Anthropic patterns and security best practices.

Netlify Deployment

Deploys web projects to Netlify using the Netlify CLI with automated configuration and environment detection.

NeuroKit2 Biosignal Processing

Analyzes and processes complex physiological signals including ECG, EEG, and EDA using the NeuroKit2 Python toolkit.

Categorical Composition Architecture

Implements category theory abstractions to enable compositional learning and structured parameter transfer between complex systems.