Plan and execute sandboxed code edits with tests, lint, and type checks.
npx skills add https://github.com/AltairaLabs/PromptKit --skill codegen-altairalabs
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
Disciplined code-generation inside a sandbox reduces the risk of accidental edits by enforcing a plan, a test-first mindset, and structured execution.
Provide a task to modify a source file, then run a three-step plan and verify results.
High-intent search queries and answers about installing and using this skill.
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.
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.
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.
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.
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.
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.
AltairaLabsCoordinate sandboxed code edits with read-before-edit, planning, and verification.
nicholls-incDetect Dafny specification changes requiring re-verification via git diffs and source hashes.
liauw-mediaConfigure pre-commit hooks for JavaScript/TypeScript, Python, and PHP projects.
witanlabsInspect and modify Excel workbooks via sandboxed JavaScript execution.
