Explore our collection of Agent Skills to enhance your AI workflow.
Facilitates fault-tolerant P2P file transfers using triple-redundant subagents across Tailscale, LAN, and DNS channels.
Analyzes dynamical systems using partial derivative matrices to linearize complex flows and evaluate local stability.
Transforms formal proofs into interactive game-theoretic strategies using Gödel’s Dialectica interpretation.
Generates comprehensive, professional technical documentation including READMEs, API specs, and architectural records.
Executes GNU Scheme scripts to enable high-level functional programming and topological graph analysis.
Automates the creation of high-quality training datasets from Claude conversation history and local skill files to fine-tune LLMs using MLX on Apple Silicon.
Validates cryptographic Merkle inclusion proofs to verify data membership within a tree structure without requiring the full dataset.
Analyzes local thread storage and Claude history via DuckDB to uncover undocumented Amp API patterns and tool usage.
Performs adversarial malleability analysis and security research on the Aqua Voice Electron application using IPC injection and WebSocket interception.
Manages encrypted secrets using age encryption and DuckDB-based catalogs within a triadic GF(3) framework.
Analyzes and compares complex data structures and database systems using compositional algebraic databases (ACSets).
Enhances Emacs development workflows with multi-model LLM integration, agent protocols, and intelligent shell automation.
Performs ergodic random walk exploration of DuckDB and DuckLake schemas using concurrent, triadic agent coordination.
Automates macOS Mobile Device Management (MDM) using a cobordism-based state machine for secure credential derivation and device orchestration.
Facilitates interactive proof development using typed holes within the Narya proof assistant.
Automates complex media processing tasks including video conversion, audio extraction, and frame manipulation within Claude Code.
Navigates complex conceptual possibility spaces using type-theoretic bridge transitions and ordered locale structures.
Leverages GPT-5.2 Pro via Chrome integration to perform deep, high-reasoning code reviews and optimizations within the Claude Code environment.
Implements frame-invariant self-inverse logic patterns and best-response dynamics for complex system modeling.
Automates pull request reviews using a multi-agent swarm to provide specialized feedback on security, performance, and code quality.
Implements robust pytest-style evaluation frameworks to measure LLM performance, RAG quality, and output faithfulness.
Streamlines SAP HANA database programming with expert SQLScript syntax patterns, performance optimization, and AMDP integration.
Enforces pedantic backend engineering standards and creates atomic git commits for Django and Python projects.
Lists and filters pull requests within a repository to streamline code reviews and track development progress.
Conducts structured, AI-assisted GitHub pull request reviews with file clustering and VSCode integration.
Discover and inspect available Jira issue fields, custom field IDs, and allowed values to streamline ticket management.
Streamlines in-database machine learning workflows within SAP HANA using the Python hana-ml library.
Implements and manages observability for SAP BTP applications using SAP Cloud Logging and OpenSearch Dashboards.
Masters ES6+ features and functional programming patterns to refactor legacy code and write clean, performant JavaScript.
Implements Darwin-Gödel principles to create self-improving, evolutionarily robust skill ecosystems for AI agents.
Scroll for more results...