feat: kodo-agent-skills — official Claude Code / Agent Skills Standard integration

[rfunix]

Motivação

Mojo (Modular Platform 26.2) lançou Agent Skills oficiais seguindo o Agent Skills Standard, compatíveis com Claude Code e outros agentes. Os skills cobrem: sintaxe moderna, boas práticas de GPU, setup de projetos e interop Python-Mojo.

Kōdo deveria ter skills análogos para maximizar adoção por AI agents, dado que o projeto é explicitamente agent-first.

Skills propostos

Skill	Conteúdo
kodo-syntax	Sintaxe correta e moderna de Kōdo: módulos, meta, funções, tipos, ownership
kodo-contracts	Como escrever requires/ensures, quando usar SMT estático vs runtime, interpretação de erros E0300
kodo-ownership	Semântica own/ref/mut, borrow checker de Kōdo, quando usar cada modo
kodo-error-interpretation	Tabela de error codes E0001-E0699, como parsear --json-errors, fix patches
kodo-agent-annotations	@authored_by, @confidence, @reviewed_by — política de annotações para agentes

Formato esperado

Seguir o padrão do Agent Skills Standard (compatível com Claude Code):

• YAML/Markdown com instruções estruturadas
• Publicado em .claude/skills/ no repo
• Referenciado em CLAUDE.md

Benefícios

• FormalJudge (fev/2026) demonstrou que specs formais melhoram corretude de agentes de 70.7% → 99.8% em 3 iterações. Skills que ensinam contratos Kōdo replicam este benefício.
• Posicionamento equivalente ao Mojo no ecossistema de AI coding agents.
• Baixo esforço de implementação, alto impacto de adoção.

Referências

• Modular Platform 26.2 — Agent Skills
• FormalJudge: Neuro-Symbolic Paradigm for Agentic Oversight
• AlgoVeri (POPL 2026) — benchmark de verificação formal para AI agents