Explore our collection of Agent Skills to enhance your AI workflow.
Diagnoses and fixes failures in Keboola Python components using specialized MCP tools, logs, and local testing environments.
Architects and validates Keboola configuration schemas with advanced conditional logic and specialized UI elements.
Generates photorealistic AI video content and provides specialized prompting guidance for the Kling 2.0 model.
Transforms mathematical proofs into interactive games using Gödel's Dialectica interpretation for formal verification and strategy extraction.
Implements Generative Flow Networks to sample diverse, high-reward candidates for molecule design, causal discovery, and combinatorial optimization.
Verifies the global consistency of modular code structures and data schemas using mathematical Čech cohomology principles.
Validates Intent-Driven Development (IDD) files and synchronizes specifications with code implementation to ensure architectural consistency.
Enables professional Common Lisp development workflows by integrating SLIME-style interactive evaluation and environment management.
Transforms logical proofs into interactive game-theoretic strategies for witness extraction and formal verification.
Provides headless access to University of Toronto student and alumni Outlook accounts via IMAP/SMTP with secure OAuth2 authentication.
Builds, trains, and validates high-fidelity psychological models from interaction patterns to predict cognitive trajectories and generate authentic responses.
Coordinates programmable chemical synthesis by executing Turing-complete XDL programs on modular robotic hardware.
Constructs category-theoretic knowledge representations to define rigorous database schemas and conceptual models.
Ensures local-to-global signal consistency in Brain-Computer Interface data using cellular sheaves and Cech cohomology.
Audits and validates Claude Code skills using a structured framework to ensure high standards of clarity, accuracy, and production-readiness.
Facilitates peer-to-peer file sharing across Tailscale mesh networks using game-theoretic semantics and bidirectional lens optics.
Generates and analyzes chemical reaction network (CRN) topologies to predict dynamical behaviors through graph theory and linear algebra.
Implements higher topos theory and ∞-sheaf logic to provide a rigorous mathematical framework for complex systems and BCI data modeling.
Generates, validates, and fixes professional Mermaid diagrams from text-based markup files.
Provides comprehensive PowerShell expertise for cross-platform scripting, cloud automation, and enterprise CI/CD pipelines.
Publishes static web content, directories, or ZIP archives directly to the MyVibe platform from the command line.
Implements lightweight, interactive animations for web and mobile using Lottie and Rive frameworks.
Provides a curated index of applied category theory, MCP servers, and advanced mathematical computing resources.
Enhances subthreshold signal detection using noise-optimization techniques and Kramers escape rate calculations.
Facilitates collaborative deep-thinking sessions through progressive questioning, strategic recommendations, and structured synthesis.
Identifies missing requirements and ambiguities in project specifications by generating product-focused clarifying questions for stakeholders.
Crafts enforceable project constitutions and governance frameworks to maintain architectural integrity and team alignment through testable principles.
Generates technology-agnostic functional requirements and measurable success criteria using standardized RFC 2119 syntax.
Generates prioritized evolution roadmaps and gap analysis cards to systematically modernize brownfield codebases.
Models and composes complex strategic games using categorical Para/Optic structures and game theory semantics.
Scroll for more results...