conventions-mcp
GitHub规范面向语言模型的MCP工具契约设计,强调通过eval评估而非代码审查验证可用性。指导工具拆分、参数简化及错误反馈机制,确保模型能高效驱动工作流。
Trigger Scenarios
Install
npx skills add stella/stella --skill conventions-mcp -g -y
SKILL.md
Frontmatter
{
"name": "conventions-mcp",
"description": "Apply when adding or changing an MCP tool, a capability the CLI generates, a tool input or output schema, a tool description, an error envelope, or an agent-facing reference resource. Enforces contracts that language models can actually drive, measured by evals rather than by schema soundness."
}
Agent-Facing Contract Conventions
An MCP tool or CLI capability is a user interface whose user is a language model. A schema can be type-sound, validated, and documented and still be undrivable: models copy examples, fill every property they see, retry with the same call, and cannot inspect bytes. Design for that behaviour and measure it.
Target Property
A capable model, given only what tools/list and the reference resources expose,
completes the workflow on the first or second attempt, and every rejection it
receives names the next call to make. The authoring eval, not code review, decides
whether a contract change helped.
Measure Before Believing
- An eval is the acceptance test. Every agent-facing workflow has an eval that drives the real tools with the real schemas and scores each step separately (authored, created, configured, filled, or the workflow's equivalents). Run it before and after a contract change and put both tables in the PR. A change that is "obviously better" without numbers is a hypothesis.
- Keep the rejected call, in the eval only. The eval records the raw input of every call the schema rejected before the handler ran; a pass rate without the rejected payloads cannot say whether the model or the contract failed. Eval fixtures are synthetic, so the trace may hold them whole. Production telemetry for a rejected call records the tool name, the issue codes, and the issue paths, never the payload: tool arguments carry matter content and personal data.
- Parse through the schema the handler uses. The eval, the tests, and the handler must validate the same object; a normalisation that lives only in one handler's pre-step is invisible to the eval and drifts.
Shape Tools For How Models Behave
- One tool, one intent. Split create, configure, and update into separate tools rather than one tool whose meaning depends on which optional arguments are present. Cross-field "provide A or B, not both" checks are a sign the tool has more than one job.
- Few optionals, one discriminator. Replace a set of mutually exclusive
optional keys with one discriminated union (
source: { type: "ai" | "lookup" | ... }). A model that fills every property cannot produce a contradictory union member; it can produce six contradictory optionals. - Best effort over all-or-nothing for collections. When a call carries a
list of entries, validate each entry independently, apply the valid ones, and
return the rest as per-entry
issues[]. One bad property must not sink a call that carried seven good entries. - Echo the next call. Return, from the call that discovers state, the exact
payload the next call accepts (a
configureskeleton, canonical path spelling, allowed values). Copying beats inferring. Read-back must round-trip: the shape a describe tool returns is the shape the configure tool accepts, byte for byte, and a test pins that fixed point. - Idempotent and re-entrant. Models retry with the same call and resend everything they know. Accept the resend: upsert on a stable id, idempotency keys that cover every argument, durable receipts replayed without re-executing.
- Keep artefacts out of the model. Bytes are the hardest step in any loop. Prefer references (a host file reference, an id of something already stored) over inline base64; when inline is the only path, bound it by the request frame, derive the limit from the shared constant, and state it in the description. Never let an error hint invite the model to shrink or rewrite a document.
Every Error Is A Next Step
- Structured envelope, closed codes. Failures return
{ code, message, hint, issues[] }with codes from a closed set.hintnames the corrective action, the tool to call, and where to go (a deep link when the fix is in the UI). "Disabled" without "enable it here" is a dead end. - Never leak the substrate. A malformed id is a validation issue at the
boundary, never a database cast error reported as
internal_error. Every id input is declared with the shared id schema; a registry-wide test enforces it. - Warn about what the model probably meant. Discovery and save return
warnings[]with closed codes for the known traps (unprefixed loop item, unknown directive, split marker, and so on). A census test keeps the code list and the reference in step. - Read each value kind leniently, in one place. A model spells a value the
way its training data did:
nullfor an unset optional,4 000for a number,1. 10. 2026for a date,anofor a boolean,cs_CZfor a locale. Every kind the wire accepts gets ONE owner that auto-normalizes the spellings carrying a single meaning and returns ONE ask-for-a-fix shape (received,expected,hint) when a spelling carries two:01/02/2026and a bare1,234are asked about with both readings named, never guessed, because guessing wrong is a wrong date or a factor of a thousand on an instrument. Null and the placeholder encodings are that rule for "absent" and live in the tool factory; the value kinds live inpackages/agent-input/: number (a page size clamps with a note), boolean, date (a range bound reads2020as its first or last day and0001-01-01/9999-12-31as no bound), uuid (the all-zero and example ids are placeholders), filter (" ","all","-"mean "not filtering"), vocabulary (a data-owned value such as a court, read through case, diacritics, abbreviations and English names), string list (a lone string is a one-item list; only constrained tokens split on commas), ELI, country, locale, enum. A repaired value returns a note ("Read X as Y") that reaches the caller beside the result. A placeholder in an optional property is absence on a read and an ask on a write, where an optional id can switch update into create. An optional filter read against a data-owned vocabulary (court) never empties a search: a value that names no stored value, or several, is dropped with a warning naming the stored ones. A filter with no such vocabulary yet reads only its placeholders, and an empty page under it carriesno_hits_filterednaming the values that would have matched; do not advertise resolution a filter does not do. An opaque token the server issues extends "absent" one step: a client filling every declared property invents a first-call cursor (" ","0","start"), socursorInputreads a value outside the class its encoders emit as no cursor, while a value inside that class still reaches the decoder and fails throughinvalidCursorResult, which names the restart; restarting a damaged or invented cursor at page one silently would repeat a page the caller already read. Kinds a property's name implies (limit,date_from,date_to) are bound by the factory, so a new tool inherits them. Cover each kind with a property test over its whole spelling class rather than the examples someone happened to write down, and add a guard (an ownership row, a census test) so a new call site cannot parse the kind itself. Never per-tool tolerance code, and never a second reader: two lenient readers of one kind are worse than one strict one, because they disagree.
References Are Read Verbatim
- Every sentence must be true of the code. Reference resources and tool descriptions are copied into model context as the complete contract. A promised behaviour the code does not have (a preserved extension, a size limit that is not the enforced one) is a bug, not a docs nit. Render numbers from the constants; type tool names against the registry; keep drift tests.
- One workflow resource per workflow. Publish the ordered steps (create, read back, configure, preview, persist) as a resource pointed to from the MCP instructions, and keep the quiz or eval that checks a model understood it.
- Decide grammar leniency by evidence. When two independent models write the same form the grammar rejects, that is a product signal: either accept the form or make the reference unambiguous, then re-measure. Do not do both at once.
Name Capabilities By Resource
A capability id is its handler path under apps/api/src/handlers/:
<domain>[.<resource>…].<action>. The action is ONE word, either a canonical
verb (list, get, create, update, delete) or an entry in the closed
DOMAIN_ACTION_VERBS list (apps/api/scripts/lib/capability-catalog.ts;
docs/capability-coverage.md renders the current list). A compound action is a
nested resource directory: clauses/categories/create.ts, not
clauses/categories-create.ts; entities/versions/list.ts, not
entities/read-versions.ts. A new domain verb is a reviewed addition to that
list; the exporter fails on an unlisted verb and on a listed verb no capability
uses, and the capability-domain-action-verbs ratchet holds hyphenated entries
at 0.
Guards Make It Stick
- Registry-wide tests over every tool definition: id schemas, null-optional tolerance, description and reference drift, and a zero-diff capability export.
- Total companion maps keyed by tool name (
as const satisfies Record<ToolName, ...>) for policy, consent, projection, and CLI disposition, so a new tool cannot land without each decision. - Compile-time gates in the tool factory (a schema that is not wrapped, an id that is not the shared schema) rather than review discipline.
- The CLI is generated from the same catalog: a capability whose transport the generator cannot invoke is not advertised anywhere, and generated artifacts are regenerated in order (capability export, then CLI codegen) until the diff is zero.
Existing References
- Tool factory and boundary normalisation:
apps/api/src/mcp/valibot-tool-definition.ts,apps/api/src/mcp/tool-utils.ts - One reader per value kind, and its census:
packages/agent-input/src/,apps/api/src/lib/agent-input-owner.test.ts - Registry-wide guards:
apps/api/src/mcp/uuid-id-inputs.test.ts,apps/api/src/mcp/null-optional-inputs.test.ts - Warnings census and references:
apps/api/src/lib/docx/template-warnings.ts,apps/api/src/mcp/template-workflow-reference.ts - Authoring eval:
apps/api/evals/template-authoring.ts
These are examples of the mechanisms, not proof that a new tool meets the bar: run the eval.
Version History
-
0f3714b
Current 2026-10-19 03:35
新增对agent输入拼写的宽松读取支持,共享ids、过滤器等输入解析逻辑,修复法院过滤器映射并报告修复后的输入。
-
d37ba69
2026-09-27 20:51
重构capability id命名规则,将复合动作嵌套至资源层级(如actions-create变为actions.create),并更新相关命令与映射逻辑。
-
e41bf51
2026-09-22 09:01
修复MCP工具中伪造分页游标的识别逻辑,统一游标校验规则,防止无效游标导致重复请求或静默失败。
- 7b52e43 2026-09-09 03:26


