All authors
Claude Skills by tools-only
github.com/tools-only19,166 skills18 installs6,168 views
- 2529 Coq Refinement F2931f85Comprehensive guide for refinement in Coq using Program, Equations, and refinement types.Votes: 0GitHub stars: 9
- 2529 Swap Integration Expert B0947791Expert agent for complex Uniswap swap integration questions. Use for Trading API integration, Universal Router encoding, SDK usage, Permit2 patterns, and smart contract integrations.Votes: 0GitHub stars: 9
- 2529 Task Implementor Fast E7fe67fbImplements individual tasks from plans with TDD, skill application, verification, and git commits. Use when executing a specific task that requires writing, modifying, or testing code as part of a larger plan.Votes: 0GitHub stars: 9
- 253 P7 Mitigation Planning 15557127**Type**: Prescriptive **Executor**: LLM **Knowledge**: Control Sets, CWE Mitigations, ASVS ---Votes: 0GitHub stars: 9
- 253 P7 Mitigation Planning 32615020**Type**: Prescriptive **Executor**: LLM **Knowledge**: Control Sets, CWE Mitigations, ASVS ---Votes: 0GitHub stars: 9
- 253 P7 Mitigation Planning F47272a6**Type**: Prescriptive **Executor**: LLM **Knowledge**: Control Sets, CWE Mitigations, ASVS ---Votes: 0GitHub stars: 9
- 2530 How To Customize Ef41dd76Explains how to customize design and implementation plans with project-specific guidanceVotes: 0GitHub stars: 9
- 2530 Isabelle Refinement 3f8663a1Comprehensive guide for refinement in Isabelle/HOL using the Refinement Framework and Autoref.Votes: 0GitHub stars: 9
- 2530 Viem Integration Expert 051ed8b6Expert agent for complex viem and wagmi integration questions. Use for debugging transaction issues, optimizing gas, handling edge cases, multi-chain patterns, and advanced contract interactions.Votes: 0GitHub stars: 9
- 2531 Claude Code Beta Headers 8fd17b7eWhen using Claude Code with LiteLLM and non-Anthropic providers (Bedrock, Azure AI, Vertex AI), you need to ensure that only supported beta headers are sent to each provider. This guide explains how to add support for new beta headers or fix invalid beta header errors.Votes: 0GitHub stars: 9
- 2531 Position Types 67b98f97Comprehensive reference for Uniswap v2, v3, and v4 liquidity positions.Votes: 0GitHub stars: 9
- 2531 Refinement Patterns Ce1ff05fCatalog of frequently used refinement patterns across different domains.Votes: 0GitHub stars: 9
- 2531 Remote Code Researcher 8272bc7bUse when understanding how external libraries or open-source projects implement features by examining actual source code - finds repos via web search, clones to temp directory, investigates with codebase analysis. Triggers: "how does library X implement Y", "show me how Z handles this", "I want to see the actual code for", evaluating library internals before adoption.Votes: 0GitHub stars: 9
- 2531 Third Party Licenses Eff3ee1eThis project includes third-party dependencies with various licenses. Below is a summary of the licenses for dependencies that require attribution or have specific license terms.Votes: 0GitHub stars: 9
- 2531 Vs Clawrouter E704e35aBoth NadirClaw and [ClawRouter](https://github.com/BlockRunAI/ClawRouter) route LLM prompts to different models. But they have very different philosophies on how you should pay for and access those models.Votes: 0GitHub stars: 9
- 2532 Architect Plugin Linter 2e33155dExtend `plugin-validator.py` (2934+ lines, Typer/Rich CLI with Pydantic validation) into a comprehensive static analysis linter covering all 7 Claude Code plugin component types. Add validation for hooks.json, .mcp.json, .lsp.json configurations with 30+ new error codes while maintaining token-based complexity measurement and auto-fix capabilities.Votes: 0GitHub stars: 9
- 2532 Auditor 2efa64a4Read-only implementation auditor that reviews connected phase groups for cross-phase regressions, deferred items, plan drift, and system integrity. Runs verification (tests + typecheck) and reports structured findings with severity ratings to the orchestrator. Never modifies source code — observes, analyses, and reports only. <example> Context: Orchestrator assigns a group of phases to audit after builder/validator cycle completes user: "Audit group 'auth-system' — phases P01-P03. Plan folde...Votes: 0GitHub stars: 9
- 2532 Detection Strategies A741df25This document outlines strategies for detecting behavioral regressions between code versions.Votes: 0GitHub stars: 9
- 2532 Responses Api Ff9997acimport Tabs from '@theme/Tabs'; import TabItem from '@theme/TabItem';Votes: 0GitHub stars: 9
- 2532 Vulnerabilities Catalog 50f1e28fCommon vulnerability patterns in Uniswap v4 hooks with detection methods and mitigations.Votes: 0GitHub stars: 9
- 2533 Feature Context Plugin Linter 4ace0d47- **Generated**: 2026-02-13 - **Input Type**: complex_requirement_document - **Source**: User feature request with official schemas and backlog issues - **Status**: DISCOVERY_COMPLETEVotes: 0GitHub stars: 9
- 2533 Instrumentation Techniques 9337f605This document provides detailed information on code instrumentation techniques for capturing execution traces to reproduce bugs.Votes: 0GitHub stars: 9
- 2534 10 Lspconfigvalidator Implementation 76328568**Status**: NOT STARTED **Agent**: @python-cli-architect **Dependencies**: Task 2 **Priority**: 2 **Complexity**: S **Accuracy Risk**: HighVotes: 0GitHub stars: 9
- 2534 Analysis Patterns 4825f0f8**Added Features** - New functionality not present in old requirements - New user stories or use cases - New system capabilitiesVotes: 0GitHub stars: 9
- 2534 Arbitrary Limits And Dead Code Plan F36e64af**Generated:** 2026-02-24 **Scope:** Remove harmful arbitrary limits and implement critical TODO items **Priority:** P0 (Critical) - P3 (Backlog) ---Votes: 0GitHub stars: 9
- 2534 Cleanup Plan 0828cc68> Ref: [GitHub Issue #4753](https://github.com/adenhq/hive/issues/4753)Votes: 0GitHub stars: 9
- 2534 Scientific Skills 58dc8bbc- **AlphaFold DB** - Comprehensive AI-predicted protein structure database from DeepMind providing 200M+ high-confidence protein structure predictions covering UniProt reference proteomes and beyond. Includes confidence metrics (pLDDT for per-residue confidence, PAE for pairwise accuracy estimates), structure quality assessment, predicted aligned error matrices, and multiple structure formats (PDB, mmCIF, AlphaFold DB format). Supports programmatic access via REST API, bulk downloads through GooVotes: 0GitHub stars: 9
- 2535 Analysis Framework 521328e8**Check for**: - Vague terms ("fast", "user-friendly", "efficient", "robust") - Ambiguous pronouns ("it", "they", "this") - Undefined technical terms - Missing quantitative metrics - Unclear scope boundariesVotes: 0GitHub stars: 9
- 2535 Commodities Ca45be10Historical data for major commodities. All functions return `{"name": "...", "interval": "...", "unit": "...", "data": [{"date": "...", "value": "..."}, ...]}`.Votes: 0GitHub stars: 9
- 2535 Framework Guide 0a5ca1b0Agents are Python packages in `exports/`: ``` exports/my_agent/ ├── __init__.py # MUST re-export ALL module-level vars from agent.py ├── __main__.py # CLI (run, tui, info, validate, shell) ├── agent.py # Graph construction (goal, edges, agent class) ├── config.py # Runtime config ├── nodes/__init__.py # Node definitions (NodeSpec) ├── mcp_servers.json # MCP tool server config └── tests/ # pytest tests ```Votes: 0GitHub stars: 9
- 2535 Grepai C6add871**Research Date**: 2026-02-13 **Website**: <https://yoanbernabeu.github.io/grepai/> **GitHub**: <https://github.com/yoanbernabeu/grepai> **Version**: v0.31.0 (released 2026-02-13) **License**: MIT **Primary Language**: Go ---Votes: 0GitHub stars: 9
- 2535 Stage 1 Corrected Implementation C561a18a**Review Date:** 2026-02-24 **Status:** ✅ All issues fixed and verified ---Votes: 0GitHub stars: 9
- 2536 Companies F11abde4- [Finding Companies](#finding-companies) - [Company Properties](#company-properties) - [Filing Access](#filing-access) - [Financial Data Methods](#financial-data-methods) - [Company Screening](#company-screening) - [Advanced Search](#advanced-search) - [Company API Reference](#company-api-reference) - [Error Handling](#error-handling)Votes: 0GitHub stars: 9
- 2536 Remediation Strategies 6c76acc2This document provides comprehensive remediation strategies for common security vulnerabilities, organized by vulnerability category.Votes: 0GitHub stars: 9
- 2536 Silent Failure Hunter 9eb5a290Use this agent when reviewing code changes in a pull request to identify silent failures, inadequate error handling, and inappropriate fallback behavior. This agent should be invoked proactively after completing a logical chunk of work that involves error handling, catch blocks, fallback logic, or any code that could potentially suppress errors. Examples: <example> Context: Daisy has just finished implementing a new feature that fetches data from an API with fallback behavior. Daisy: "I've a...Votes: 0GitHub stars: 9
- 2536 Stage 1 Review And Verification B3c5102e**Review Date:** 2026-02-24 **Status:** ✅ All changes verified and tested ---Votes: 0GitHub stars: 9
- 2536 Synthesis General Theory 32490dd3This document synthesizes universal patterns discovered by the ARL expert panel that apply to any autonomous development loop — not just the ARL. Every claim traces to Phase 1 Q&A evidence and Phase 2 R-requirement mapping. **Scope boundary:** This document describes what and why. It does not describe how to build it. No schemas, pseudocode, thresholds, or file paths. ---Votes: 0GitHub stars: 9
- 2537 Build 49f16b11The `build` command extracts the Technical Execution section from your growth plan, uses an LLM to generate a focused implementation prompt, and lets you send that prompt to Cursor, Claude, or view it in the terminal.Votes: 0GitHub stars: 9
- 2537 Datasets Fiscal 4211be07The DTS dataset has **9 data tables**, all under `/v1/accounting/dts/`. Updated daily (business days).Votes: 0GitHub stars: 9
- 2537 Formal Verification 752d3796Formal verification provides mathematical guarantees about semantic equivalence through rigorous proof techniques. Use these methods when high confidence is required or when testing alone is insufficient.Votes: 0GitHub stars: 9
- 2537 Linting Exceptions 1d62109eResolve linting errors — do not suppress them. Linting errors signal architectural issues, not noise.Votes: 0GitHub stars: 9
- 2538 Chat 6cc837b6Interactive terminal chat that lets you converse with an LLM about your codebase while it invokes skene-growth tools to gather information.Votes: 0GitHub stars: 9
- 2538 Install Ad1d9559- Python 3.11 or higher - pip (Python package installer) - git (for development installation)Votes: 0GitHub stars: 9
- 2538 Response Format 2e40e12c```json { "data": [ { "record_date": "2024-03-31", "tot_pub_debt_out_amt": "34589629941.12" } ], "meta": { "count": 100, "labels": { "record_date": "Record Date", "tot_pub_debt_out_amt": "Total Public Debt Outstanding" }, "dataTypes": { "record_date": "DATE", "tot_pub_debt_out_amt": "CURRENCY" }, "dataFormats": { "record_date": "YYYY-MM-DD", "tot_pub_debt_out_amt": "10.2" }, "total-count": 3790, "toVotes: 0GitHub stars: 9
- 2538 Sub Agents Doc 1682f837> Create and use specialized AI subagents in Claude Code for task-specific workflows and improved context management. Subagents are specialized AI assistants that handle specific types of tasks. Each subagent runs in its own context window with a custom system prompt, specific tool access, and independent permissions. When Claude encounters a task that matches a subagent's description, it delegates to that subagent, which works independently and returns results. <Note> If you need multiple ag...Votes: 0GitHub stars: 9
- 2538 Symbolic Execution 64987abaSymbolic execution explores program paths using symbolic values instead of concrete inputs, enabling systematic discovery of behavioral differences between code artifacts.Votes: 0GitHub stars: 9
- 2539 Ai Analysis Subagent Fix 3737a701The AI analysis step runs in the orchestrator itself. The instructions are in:Votes: 0GitHub stars: 9
- 2539 Brand Yml Spec 4c1c8800Complete specification for creating valid `_brand.yml` files for the brand.yml project.Votes: 0GitHub stars: 9
- 2539 Class 1700e36f> **Back to [Style Guide](../mermaid_style_guide.md)** — Read the style guide first for emoji, color, and accessibility rules. **Syntax keyword:** `classDiagram` **Best for:** Object-oriented design, type hierarchies, interface contracts, domain models **When NOT to use:** Database schemas (use [ER](er.md)), runtime behavior (use [Sequence](sequence.md)) ---Votes: 0GitHub stars: 9
- 2539 Implementation Approve Aa8dfd6aApprove the implementation and transition the issue to PR-ready state. **Instructions:** 1. Run the set-status command to update the issue label: ```bash mcp-coder set-status status-08:ready-pr ``` 2. Confirm the status change was successful. **Note:** If the command fails, report the error to the user. Do not use `--force` unless explicitly asked. **Effect:** Changes issue status from `status-07:code-review` to `status-08:ready-pr`.Votes: 0GitHub stars: 9