Menu

Individual skill

lmql-guide

0upvotes

Write LMQL queries that blend prompts with constraints — scripting language-model generation with logic.

skills/lmql-guide/SKILL.md

Read pinned source

Source commit faf37c0859ebf627bfcb5225e8057d088691e0ae

What was checked

Matches the observed repository HEAD
Yes
Scanner rules are current
No
Repository scan complete
No
Skill scan complete
Yes
Observed behavior
Not checked yet
Last checked
Nov 8, 2026

These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.

Install this skill

Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.

An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.

Repository context

Repository stars (not skill ratings)
54
Repository last updated
Oct 10, 2026
License
MIT

Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.

Files and excerpt

File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.

Browse files
Read excerpt

## Overview

LMQL (Language Model Query Language) is a programming language for interacting
with LLMs that unifies prompting and constrained generation. You write queries
that look like Python with embedded prompt strings, and LMQL adds two superpowers:
declarative constraints (`where` clauses that restrict what the model may
generate, enforced during decoding) and scripting control flow (loops, branches,
and function calls around model queries). A query can say "generate a list of
three cities where each is a valid capital and no city repeats" — and the
constraint is enforced token-by-token, not checked after the fact.

Think of it as SQL for language models: you declare what you want, including
logical conditions on the output, and the runtime figures out how to guide
generation to satisfy them. It's most at home in research and complex