skills.rest
AltairaLabs
AltairaLabsOFFICIAL
Explore all skills by this author →
GitHub

codegen

Plan and execute sandboxed code edits with tests, lint, and type checks.

9|3|Updated Nov 1, 2025
Search Tags:#workflow#planning#testing#codegen#sandbox#lint#typecheck
One-click install
npx skills add https://github.com/AltairaLabs/PromptKit --skill codegen-altairalabs
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: codegen
Source: https://github.com/AltairaLabs/PromptKit/tree/main/examples/codegen-sandbox/skills/codegen
Command: npx skills add https://github.com/AltairaLabs/PromptKit --skill codegen-altairalabs

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Disciplined code-generation inside a sandbox reduces the risk of accidental edits by enforcing a plan, a test-first mindset, and structured execution.

Core Features & Use Cases

  • Planning-before-editing: outline changes and requirements before touching files.
  • Deterministic sandboxed edits: modify source code in a controlled container with tooling gates.
  • Verification-first workflow: require tests, lint, and type checks to pass before finishing.

Quick Start

Provide a task to modify a source file, then run a three-step plan and verify results.

Frequently Asked Questions about codegen

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I safely modify source code without risking accidental edits?▼

Disciplined code-generation inside a sandbox minimizes risky edits by enforcing a plan, a test-first mindset, and structured execution. It modifies source code in a controlled container with tooling gates.

What is the best way to ensure generated code passes lint and type checks?▼

A verification-first workflow requires tests, lint, and type checks to pass before finishing. This ensures code modifications produce small, verifiable diffs and undergo formal verification.

How do I plan changes before modifying files in a code generation workflow?▼

Planning-before-editing outlines changes and requirements before touching files. You provide a task to modify a source file, then run a three-step plan to establish requirements.

Can I execute multi-step code generation tasks in a controlled environment?▼

Yes, deterministic sandboxed edits allow you to execute multi-step code generation tasks in a controlled container. This enforces running tests, lint, and type checks before producing verifiable diffs.

Do I need a sandbox to run tests and lint checks for code modifications?▼

A sandbox is required to enforce a verification-first workflow for source code modifications. It ensures controlled execution by gating completion on passing tests, lint, and type checks.

Why does code generation require formal verification before completion?▼

Formal verification before completion ensures that code modifications yield small, verifiable diffs. This prevents accidental risky edits by enforcing a structured, test-first execution workflow.

Related Skills

Explore More Software Engineering Skills→
AltairaLabsAltairaLabs
9

codegen-disciplined

Coordinate sandboxed code edits with read-before-edit, planning, and verification.

Official
Advanced
nicholls-incnicholls-inc
5

check-regressions

Detect Dafny specification changes requiring re-verification via git diffs and source hashes.

Official
Intermediate
liauw-medialiauw-media
3

pre-commit-hooks

Configure pre-commit hooks for JavaScript/TypeScript, Python, and PHP projects.

Community
Advanced
witanlabswitanlabs
27

xlsx-code-mode

Inspect and modify Excel workbooks via sandboxed JavaScript execution.

Official
Advanced