verona-coding

Sterne6

Forks4

Aktualisiert31. März 2026 um 13:55

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

Installation

Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.

In Manus ausführen

Quelle

sylvanc

sylvanc/verona-bc

GitHub-Repository öffnen Creator-Repositorys ansehen

Download

In Manus ausführen

Verwandte BerufeSOC

Basierend auf der SOC-Berufsklassifikation

SoftwareentwicklerInformatik- und Mathematikberufe·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.

Mehr aus diesem Repository

gleiches Repository

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

Jeden Skill mit einem Klick ausführen