input-output-hk/agda-claude-skills

O que é agda-claude-skills?

Este repositório contém habilidades especializadas para o Claude AI, projetadas para auxiliar no desenvolvimento e análise de código escrito em Agda, uma linguagem de programação funcional dependente de tipos. O principal objetivo é fornecer ao Claude um conjunto de instruções e contexto que permitam entender, escrever, depurar e refatorar código Agda de forma mais precisa. Embora seja voltado principalmente para o Claude Desktop e outros ambientes que suportam skills, ele estabelece as bases para que um assistente de IA possa interagir com projetos Agda, compreendendo a sintaxe única da linguagem, o sistema de tipos e as práticas comuns de prova. Através do arquivo SKILL.md, o skill define um contexto de especialização que orienta o Claude a interpretar corretamente o código Agda, sugerir correções e oferecer explicações detalhadas sobre conceitos como tipos dependentes, provas por indução e táticas de automação.