Neva Authoring
Documentsneva-authoringNeva Authoring is an Agent Skill for documents published in the nevalang/neva repository on GitHub: a SKILL.md instruction file an AI agent can load to do this task.
Use when editing, reviewing, or generating .neva source files or Neva snippets in docs/tests. Covers syntax, style, and validation expectations.
QUICK START
How to use this skill
Bring this guide into your coding agent with a prompt tailored to the tool you use.
- Open your project in Codex.
- Copy and paste the prompt below.
- Review files and risks before approving any action.
Prompt to paste
Inspect the Agent Skill at https://github.com/nevalang/neva/blob/HEAD/.codex/skills/neva-authoring/SKILL.md and all supporting files. Report provenance, permissions, scripts, dependencies, and security risks. Propose an exact installation into .agents/skills/neva-authoring, but wait for my approval before writing files or running scripts.
Copying this prompt does not install or run the skill. Review third-party files before use.
Neva Authoring
Use this skill for changes touching *.neva or Neva code snippets.
Rules
- Follow the nearest
AGENTS.mdas scoped source of truth. - Source of truth for style:
docs/style_guide.md. - Keep edited
.nevafiles syntactically valid. - If syntax is uncertain, consult
internal/compiler/parser/neva.g4and nearby.nevaexamples before editing. - When feasible, validate changed Neva programs by compiling or running them.
- When editing documentation or snippets, prefer a quick local compile/run check of an equivalent minimal example.