Find the best CLAUDE.md, AGENTS.md and Claude skills

MicrosoftAGENTS.md

verona

microsoft/verona/AGENTS.md

Read ~/.config/agents/AGENTS.md for user preferences, workflow rules, and irreversible-action guardrails (git commit/push/PR require explicit permission).

MicrosoftSkill

add-test

microsoft/verona/.agents/skills/add-test/SKILL.md

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.

MicrosoftSkill

debug

microsoft/verona/.agents/skills/debug/SKILL.md

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

Often used withadd-discord·add-slack·add-ollama-tool

MicrosoftSkill

docs-update

microsoft/verona/.agents/skills/docs-update/SKILL.md

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

MicrosoftSkill

review

microsoft/verona/.agents/skills/review/SKILL.md

Run a principle-based code review on the current branch. Use when the user asks for a review, or at mandatory review checkpoints (after planning, after implementation before PR).

Often used withclose-spec·daily-arxiv·design-with-images

MicrosoftSkill

testsuite

microsoft/verona/.agents/skills/testsuite/SKILL.md

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.

MicrosoftSkill

vbci-memory

microsoft/verona/.agents/skills/vbci-memory/SKILL.md

Verona interpreter (vbci) memory management model — regions, reference counting, write barriers, dragging, cowns, and finalization. Use when working on or debugging vbci runtime memory management code.

MicrosoftSkill

verona-coding

microsoft/verona/.agents/skills/verona-coding/SKILL.md

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

MicrosoftSkill

verona-conventions

microsoft/verona/.agents/skills/verona-conventions/SKILL.md

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

MicrosoftSkill

verona-type-inference

microsoft/verona/.agents/skills/verona-type-inference/SKILL.md

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.

MicrosoftCLAUDE.md

verona

microsoft/verona/CLAUDE.md

Read AGENTS.md in this repository first. It contains all project-specific knowledge (build workflow, pass architecture, syntax, conventions, etc.). Everything below is Claude-specific for this project. (Add Claude-specific project instructions here as needed.)

MicrosoftSkill

add-test

microsoft/verona/.claude/skills/add-test/SKILL.md

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.

MicrosoftSkill

docs-update

microsoft/verona/.claude/skills/docs-update/SKILL.md

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

MicrosoftSkill

review

microsoft/verona/.claude/skills/review/SKILL.md

Run a principle-based code review on the current branch. Use when the user asks for a review, or at mandatory review checkpoints (after planning, after implementation before PR).

Often used withclose-spec·daily-arxiv·design-with-images

MicrosoftSkill

testsuite

microsoft/verona/.claude/skills/testsuite/SKILL.md

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.

MicrosoftSkill

vbci-memory

microsoft/verona/.claude/skills/vbci-memory/SKILL.md

Verona interpreter (vbci) memory management model — regions, reference counting, write barriers, dragging, cowns, and finalization. Use when working on or debugging vbci runtime memory management code.

MicrosoftSkill

verona-coding

microsoft/verona/.claude/skills/verona-coding/SKILL.md

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

MicrosoftSkill

verona-conventions

microsoft/verona/.claude/skills/verona-conventions/SKILL.md

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

MicrosoftSkill

verona-type-inference

microsoft/verona/.claude/skills/verona-type-inference/SKILL.md

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.

MicrosoftCopilot instructions

verona

microsoft/verona/.github/copilot-instructions.md

Read AGENTS.md in this repository first. It contains all project-specific knowledge (build workflow, pass architecture, syntax, conventions, etc.).