verona-coding

Étoiles6

Forks4

Mis à jour31 mars 2026 à 13:55

Patterns, pitfalls, and idioms for writing Verona source code (.v files). Use when writing library code, _builtin types, or user programs.

Installation

Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.

Exécuter dans Manus

Source

sylvanc

sylvanc/verona-bc

Ouvrir le dépôt GitHub Voir les dépôts du créateur

Téléchargement

Exécuter dans Manus

Métiers associésSOC

Basé sur la classification professionnelle SOC

Développeurs de logicielsProfessions informatiques et mathématiques·SOC 15-1252

SKILL.md

readonly

name	verona-coding
description	Patterns, pitfalls, and idioms for writing Verona source code (.v files). Use when writing library code, _builtin types, or user programs.

Read .agents/skills/verona-coding/SKILL.md in the project root for the full skill content.

Plus depuis ce dépôt

même dépôt

verona-conventions

sylvanc/verona-bc

Verona compiler coding conventions, C++ style, trieste patterns, and project structure. Applies when writing or reviewing Verona compiler code.

2026-04-256

debug

sylvanc/verona-bc

Structured debugging protocol with checkpoints. Load when debugging non-trivial issues — before forming any hypothesis about the cause.

2026-03-316

testsuite

sylvanc/verona-bc

Verona compiler test suite infrastructure — running tests, updating golden files, verifying pass completeness, checking error codes. Use when debugging test failures, regenerating golden files, or understanding the test framework.

2026-03-316

verona-coding

sylvanc/verona-bc

Patterns, pitfalls, and idioms for writing Verona source code (.v files). Use when writing library code, _builtin types, or user programs.

2026-03-316

verona-type-inference

sylvanc/verona-bc

Verona compiler type inference model — bidirectional refinement, per-function inference, lambda/context propagation, algebraic and structural typing, generics, and debugging. Use when changing or debugging `vc/passes/infer.cc` or investigating type inference failures.

2026-03-216

add-test

sylvanc/verona-bc

Create a new Verona compiler test case. Use when the user wants to add a test, create a test, or scaffold a test for the compiler.

2026-03-206

Exécutez n'importe quel Skill en un clic