Verified:GitHub

bend-gen-run

Validates Bend programs by running bend check before declaring completion.

1|Updated Aug 24, 2026

Search Tags:#functional programming #pattern matching #code validation #compile check #bend #structural recursion

One-click install

npx skills add https://github.com/lambdasolver2/opencode-effect-harness --skill bend-gen-run-lambdasolver2

Or copy as Structured Prompt for Agent▼

Please help me install this Agent Skill.
Skill: bend-gen-run
Source: https://github.com/lambdasolver2/opencode-effect-harness/tree/main/packages/module-bend/assets/skills/bend-gen-run
Command: npx skills add https://github.com/lambdasolver2/opencode-effect-harness --skill bend-gen-run-lambdasolver2

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? Bend is a strictly functional language where iteration must be expressed as structural recursion or pattern matching over inductive data, and matches must be exhaustive. Without a compile check, generated Bend code can silently contain non-exhaustive matches or invalid constructs that only surface later. ## Core Features & Use Cases - Compile Verification: Runs `bend check` inside the project root to confirm the program compiles before work is declared finished. - Language Constraint Awareness: Encodes Bend's core rules—structural recursion instead of loops and exhaustive pattern matching—so generated code respects the language model. - Use Case: After writing or modifying a Bend program, invoke this Skill to run `bend check` and catch syntax or exhaustiveness errors immediately instead of discovering them at run time. ## Quick Start Ask the assistant to verify the current Bend program by running bend check in the project root before finishing the task.

Frequently Asked Questions about bend-gen-run

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

FAQPage Schema

How do I check if a Bend program compiles?▼

Run `bend check` inside the project root to compile-check the program. This command validates syntax and language rules before execution, catching errors early in the development workflow.

How do I write loops in the Bend language?▼

Bend is strictly functional and has no traditional loops. Iteration is expressed through structural recursion or `match` expressions over inductive data types, and all pattern matches must be exhaustive.

Why does my Bend pattern match fail to compile?▼

Bend requires pattern matches to be exhaustive, meaning every possible constructor of the matched inductive type must be covered. Add the missing match arms or a catch-all case to resolve the error.

When should bend check be run during development?▼

Run bend check after writing or modifying any Bend code and before declaring the task finished. Checking early prevents non-exhaustive matches and invalid constructs from surfacing later at run time.