docs-update

Sterne6

Forks4

Aktualisiert20. März 2026 um 21:23

Update the Verona language documentation after adding a new feature. Use when the user asks to update docs, or after completing a feature implementation.

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	docs-update
description	Update the Verona language documentation after adding a new feature. Use when the user asks to update docs, or after completing a feature implementation.
argument-hint	<feature-description>

Read .agents/skills/docs-update/SKILL.md for the full skill instructions.

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

Jeden Skill mit einem Klick ausführen