Browse All Agent Skills

Commit Workflow

Enforces incremental, feature-focused git commits with structured messages to ensure a clean and searchable project history.

Workflow Auto-Executor

Orchestrates and automates multi-step development workflows with integrated task tracking and backlog synchronization.

Constraint Generalization & Refinement

Synthesizes and propagates formal constraints across composed data paths to enable automatic refinement typing and formal verification.

Topological Monotile Generator

Generates topological monotile patterns and facilitates autopoietic design evolution through specific MCP invocations.

Topological Worlding Skill 6feab7

Facilitates autopoietic system evolution and GF(3) slice conservation for advanced generative pattern matching.

Writing Mentor

Guides writers through the entire creative process, from structural planning and drafting to professional-grade revision and polish using expert techniques.

Dependency Mocking

Streamlines the creation of temporary, well-documented mock implementations for unimplemented dependencies to unblock development workflows.

PM Task Planner

Transforms high-level feature requirements into atomic, testable, and well-structured backlog tasks following Spec-Driven Development principles.

MLOps Engineering

Implements end-to-end machine learning lifecycles including model versioning, automated training pipelines, and production monitoring for scalable AI systems.

DuckDB Spatial Analysis

Performs high-performance geographic data analysis and H3 hexagonal indexing using DuckDB's spatial extensions.

DevOps CI/CD Standards

Implements battle-tested CI/CD pipeline standards for GitHub Actions and GitLab CI to ensure reliable, secure, and automated software delivery.

Covariant Fibrations

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

Synthesis & Analogy

Integrates disparate information sources into unified insights and applies structural mapping to explain complex concepts through cross-domain analogies.

Coding Standards

Applies battle-tested architectural patterns and coding best practices to ensure high-quality, maintainable software across multiple languages.

Legacy Bridge

Ensures backward compatibility for legacy software development standards by automatically translating old loading patterns to the modern Skills architecture.

Documentation Standards

Establishes comprehensive documentation standards and integration patterns for production-grade content environments.

Geodesic Manifold

Computes shortest paths on spherical surfaces and Riemannian manifolds for navigation, aviation routing, and spatial analysis.

Security Practices

Implements modern security standards including Zero Trust Architecture, supply chain protection, and DevSecOps integration.

Cloud-Native Containers

Implements production-grade containerization standards using immutable infrastructure, multi-stage builds, and security-first configurations.

Authorization Security

Implements production-grade authorization standards including RBAC, ABAC, and NIST 800-53 compliance for secure access control.

Layered Reasoning

Structures complex thinking across strategic, tactical, and operational levels of abstraction to ensure consistency between high-level principles and concrete implementation.

Constitution Checker

Enforces project-specific standards and validation rules before executing AI workflow commands.

Codex Plan MD Writer

Generates structured, executable Markdown project plans based on intake files and predefined directory protocols.

Glide API Operations

Integrates programmatic data operations with Glide Big Tables using REST API v2 and the official TypeScript SDK.

OCaml OPAM Toolchain

Manages OCaml development environments, package dependencies, and Dune build systems with specialized constraint verification.

Waddington Landscape Modeling

Simulates developmental biology and cell fate trajectories using gradient flows, fractional diffusion, and Schrödinger bridges.

Voice Channel UWD

Models and orchestrates real-time voice communication using categorical undirected wiring diagrams and GF(3) conservation laws.

External Model Consultant

Consults external AI models like GPT-5.2 Pro directly within your environment to provide specialized second opinions and architectural reviews.

Lean Proof Walk

Generates formal Lean 4 proof state chains using a GF(3)-balanced triad agent system for rigorous mathematical verification.

Topological SPI Verifier (1eab21)

Verifies SPI configurations and topological patterns using the Gay MCP framework and entropy-based state management.