add-test

Étoiles6

Forks4

Mis à jour20 mars 2026 à 21:23

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.

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

Analystes en assurance qualité des logiciels et testeursProfessions informatiques et mathématiques·SOC 15-1253

SKILL.md

readonly

name	add-test
description	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.
argument-hint	<test-name> [error\|ffi]

Read .agents/skills/add-test/SKILL.md for the full skill instructions.

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-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

Exécutez n'importe quel Skill en un clic