Browse All Agent Skills

Rama Clojure Backend & Color Tracing

Accelerates backend development using Rama's scalable architecture and Gay.jl's deterministic color-stream tracing for distributed systems.

Year Plan Strategic Assistant

Guides founders through interactive annual strategic planning, defining financial targets, OKRs, and quarterly execution roadmaps integrated with Notion.

Dual-Channel Watchexec Notifications

Automates multi-channel alerts via Telegram and Pushover for watchexec events and process restarts.

PolicyEngine Analysis

Simplifies the creation of policy impact analyses, research dashboards, and tax-benefit microsimulations using standardized patterns.

Plan Directory Manager

Automates the creation and management of structured, verifiable project plans with dedicated task tracking files and status synchronization.

Shadow Goblin

Integrates advanced topological graph theory and bicomodule structures into Claude for complex scientific computing and algebraic modeling.

Rubato Composer: Mathematical Music Theory

Integrates Guerino Mazzola's Topos of Music framework to enable categorical music analysis and mathematical composition.

Hy-Emacs Hylang Environment

Integrates Hylang into Emacs with LSP support, advanced REPL capabilities, and category-theoretic S-expression coloring.

Python Testing Patterns

Implements professional Python testing strategies using pytest, advanced fixtures, and comprehensive mocking techniques.

Documentation Standards & Criteria

Standardizes technical documentation workflows by providing templates and logic-based criteria for PRDs, ADRs, and design docs.

LLM Evaluation Framework

Implements rigorous evaluation strategies for LLM applications using automated metrics, human-in-the-loop feedback, and advanced benchmarking.

SLO Implementation Framework

Defines and implements measurable reliability targets using Service Level Indicators (SLIs) and Service Level Objectives (SLOs).

Error Tracking

Implements comprehensive Sentry v8 error tracking and performance monitoring across project services to ensure no error goes unrecorded.

Rubato Composer Integration

Integrates Guerino Mazzola's mathematical music theory and the Topos of Music framework into Claude for advanced computational composition.

Stream-Chain Workflow Orchestrator

Orchestrates sophisticated multi-agent pipelines and sequential data transformations for complex development workflows.

Claude Code Plugin Builder

Automates the creation, testing, and distribution of professional Claude Code plugins and extensions.

Algorithmic Trading Execution Patterns

Optimizes trade execution using advanced algorithms like TWAP, VWAP, and Iceberg orders to minimize market impact and slippage.

Hooks Automation for Claude Code

Automates and optimizes development workflows through intelligent pre- and post-operation hooks, session persistence, and neural pattern learning.

Twenty CRM Integration

Manages CRM entities including people, companies, and sales opportunities directly through the Twenty REST API.

Open Games Framework

Enables compositional game theory and economic modeling using category theory optics for complex systems.

Infrastructure Architect

Design comprehensive cloud infrastructure solutions for AWS with detailed resource specifications, cost estimates, and security-first blueprints.

Anoma Intents

Facilitates intent-centric cross-chain messaging and obstruction routing using categorical semantics and Juvix compilation.

Bisimulation Game

Verifies and synchronizes functional equivalence across AI agent states using formal game theory and coinductive types.

Academic Research & Citation Search

Performs comprehensive literature reviews and citation management across major academic databases like arXiv, PubMed, and Semantic Scholar.

Triadic Color Self-Validation

Validates triadic color systems by comparing predicted efference copies against observed color streams to minimize system error.

Lean Proof Walk

Generates formal Lean 4 proof chains using a GF(3)-balanced triad of agents for sound mathematical verification.

Ops Auditor

Audits cloud infrastructure to optimize costs, strengthen security posture, and ensure regulatory compliance through automated reporting and actionable recommendations.

SPI Parallel & GF(3) Verifier

Ensures mathematical consistency and execution order invariance for deterministic color streams and tripartite data.

Quest Keeper Master Orchestration

Orchestrates the development of the Quest Keeper AI ecosystem by coordinating the Tauri frontend, RPG-MCP backend, and project documentation.

ProofGeneral & Narya HOTT Assistant

Integrates higher-dimensional type theory and formal proof assistants into development workflows using observational bridge types.