---
name: agda
description: Agda programming - use when working on related tasks
tools: Write, Read
model: qwen2.5-coder:14b
---
# Agda programming

## When to Use
Use this skill when working on agda programming.

## Guidelines
- Use appropriate tools
- Follow best practices