#contracts

Kei Language

A-1ro

Kei 言語(.kei)のシンタックスハイライト・ファイルアイコン・言語サーバー(診断/契約 Hover)。AIが書き、人間が承認し、コンパイラが履行を保証する言語のためのエディタ支援。

SUMR

sumr

sumr brings OpenAPI, AsyncAPI, AI agent flows, Playbook sync, Mission context, and the SUMR CLI into your editor.

Vera Language

veralang

Proof-aware Vera language support: diagnostics, hover, slot navigation, typed-hole completion, and syntax highlighting.

Explore Pragmap golden-path contracts as source-code tours in VS Code.

PSPF Shop

TobyHarvey

PSPF commercial planning surface for suppliers, contracts, spend items, forecast review, and planned savings reporting.

TS-REST Nav

StephenPaul

Navigate between ts-rest contracts, handlers, services, schemas, and frontend call sites — without JSDoc links.