Browse All Agent Skills

Integrated Implementation Validator

Executes a comprehensive suite of validation checks to ensure project integrity and multi-agent system consistency.

Polyglot SPI Verifier

Verifies deterministic cross-language consistency and strong parallelism invariance across 15+ programming environments.

Cognitive Superposition

Synthesizes multi-framework AI perspectives into a unified reasoning model using category theory, compression laws, and causal inference.

Covariant Fibrations & Directed Transport

Validates and automates Riehl-Shulman covariant fibrations for directed type theory within synthetic infinity-categories.

UofT Outlook Email Access

Provides headless access to University of Toronto student and alumni Outlook accounts via IMAP/SMTP with secure OAuth2 authentication.

Compression Progress Curiosity

Implements Schmidhuber's compression-based intrinsic reward to drive curiosity and exploration in learning systems.

Nostr Protocol Expert

Provides expert guidance on implementing the Nostr protocol, managing decentralized events, and adhering to standard Nostr Implementation Possibilities (NIPs).

Zellij Workspace Manager

Automates the creation of Zellij tabs and panes for shell commands, nested Claude sessions, and GitHub issue development.

Abductive REPL

Facilitates exploratory abductive inference through iterative hypothesis-test loops within a multi-language REPL environment.

ATProto Record Manager

Manages ATProto records and Bluesky content through a streamlined CLI interface.

OSM Topology Analysis

Analyzes OpenStreetMap road networks and geographic data using topological graph structures and GF(3) validation.

CIDER Semantic Code Embedding

Enhances Clojure development by providing semantic code navigation and similarity search via CIDER embeddings.

Cognitive Superposition

Synthesizes category theory, compression-driven intelligence, and generative flow networks into a unified framework for advanced AI research and reasoning.

Rama Colored Scalable Backends

Accelerates high-scale backend development using Rama's 100x efficiency combined with deterministic Gay.jl color streams for visual debugging and data flow tracing.

Unpark Workflow Resume

Resumes interrupted development tasks by locating, validating, and summarizing parked handoff documents.

Möbius Inversion & Poset Analysis

Implements advanced Möbius inversion on posets and lattices to solve complex combinatorial, graph-theoretic, and number-theoretic problems.

Midjourney Expert

Generates high-quality AI imagery and design assets using optimized Midjourney prompts and Discord workflows.

Codex Peer Review

Facilitates collaborative AI reasoning by integrating OpenAI's Codex CLI for second opinions on code architecture, security analysis, and design decisions.

Manager Review

Enforces a mandatory quality gate to review proposed responses for accuracy, alignment, and proper skill usage before delivery.

Compositional ACSet Comparison

Compare database schemas and data structures using algebraic databases and persistent homology coverage analysis.

Compositional ACSet Comparison

Compares complex data structures like DuckDB and LanceDB using algebraic databases and category-theoretic analysis.

ASI Transient Agenda

Orchestrates repository navigation and AI skill management through Emacs-based transient menus and ClojureScript scripting.

Reafference Behavioral Verification

Implements von Holst’s reafference theory to distinguish self-generated AI interactions from external anomalies and security threats.

Android Emulator QA Expert

Automates Android application testing and visual quality assurance using emulator control and screenshot analysis.

Linear PRD Generator

Transforms feature descriptions into structured Linear projects and prioritized issues for seamless project planning and AI-driven development.

MCP Server Builder

Builds high-quality Model Context Protocol (MCP) servers to enable seamless LLM interaction with external APIs and services.

GFlowNet (Generative Flow Networks)

Implements Bengio's Generative Flow Networks for diverse, reward-proportional sampling in molecule design and causal discovery.

Epistemic Arbitrage Engine

Facilitates cross-domain knowledge synthesis using propagator-based networks to bridge conceptual gaps between different fields of study.

Temporal Coalgebra Verification

Verifies infinite system behaviors and observational equivalence using coalgebraic bisimulation and stream analysis.

Repository Cleanup

Maintains repository health by identifying and removing technical debt, stale artifacts, and redundant code using validated cleanup workflows.