Explore
MCP servers and skills: search, filter by where they run, and compare.
MCP servers and skills: search, filter by where they run, and compare.
1–24 of 354 tools for “contract-first”
Clear allUse when working in a project that depends on @prisma/orm-postgres, @prisma/orm-sqlite, or @prisma/orm-mongo (Prisma 8, formerly Prisma Next): editing contract.prisma or a contract.ts builder, running
in the skill textpackages, run `prisma skills sync` and re-read. Prisma 8 is a contract-first data layer. This skill routes every Prisma 8 task to the right
OfficialSkillApache-2.0★ 48k in collectionNo key
Use this skill whenever another DOCA skill says "prefer the structured tool per doca-structured-tools-contract", or when the user wants a one-shot answer that consolidates info multiple manual command
in the skill textthe structured tool per `doca-structured-tools-contract`"*. Read `## The agent behavior contract` first; then drill into the matching schema in `## Schemas` . If the host has
OfficialSkillApache-2.0 AND CC-BY-4.0★ 3.6k in collectionNo key
GRACE (Graph-RAG Anchored Code Engineering): open Agent Skills for contract-driven AI code generation with semantic markup, knowledge graphs, and support for Claude Code, Codex CLI, and Kilo Code.
in the skill textGRACE Marketplace and CLI **GRACE** means **Graph-RAG Anchored Code Engineering**: a contract-first AI engineering methodology built around semantic markup, `.grace` XML artifacts, knowledge-graph
SkillMIT★ 253No key
Contract-first backend framework for Bun and Node — one defineContract() into an HTTP API, MCP tools, AI-agent tools and a typed client.
Node.jsMIT★ 3Few starsNo key
Agent skills for the Agentic SDLC: team lifecycle (team-boot, team-learn, team-init, team-repair), software factory, evals, CDR lifecycle with confidence scoring, and ADR/PDR/ChDR decision records. Wo
in the skill textbuild something, it doesn't jump to code. `factory-mission` forces a contract first — goal, constraints, non-goals, success criteria (the mission-brief format) — then walks
SkillMIT★ 141No key
Adopt Prisma Next into a new project, onto an existing database, or as the first move after a bootstrap tool dropped you into a scaffold. Use for "what can I do with Prisma Next", "what can I do next
in the skill textinventory, not a syllabus.** ### Concept — what to communicate first Prisma Next is contract-first. Everything the framework does — query types, migrations, runtime types, drift detection — flows
OfficialSkillApache-2.0★ 415 in collectionNo key
Route a vague Prisma Next prompt to the right specific skill. Use for "help me with Prisma Next", "what is Prisma Next", "explain Prisma Next", "I'm new to PN", "where do I start", "what can I do with
in the skill textnot guess. ## The canonical model (one paragraph) Prisma Next is a contract-first data layer. You author a **data contract** (a `contract.prisma` file, or a TypeScript
OfficialSkillApache-2.0★ 415 in collectionNo key
in the readmereversible by recording the full chain from work contract to proof packet: contract first, record the algorithm decision, declare the cost budget, snapshot the code state
PythonMIT★ 7No key
The database workbench built for the AI era — one safety-railed query kernel, many faces: CLI / GUI / MCP / agent skill. Pure stdlib.
in the readmethe traditional design: it is a **query kernel with an agent-safe contract first**, and the human faces (CLI, GUI) are thin shells grown from the
PythonMIT★ 4Few starsNo key
The Deed programming language. Built for code that agents write and humans review.
in the readmecontract-first language where a function signature is a promise the compiler checks. Built for code that machines write and humans review. > **Status: the toolchain works
SkillApache-2.0★ 9No key
Public contracts, SDKs, MCP server, CLI, and Agent Skill for Mailrith AI agent workflows
in the readmevalidate ``` Generated SDK and MCP files come from `packages/public-api`. Change the public contract first, then run: ```bash pnpm generate:agent-artifacts pnpm generate:agent-integrations pnpm
Node.jsMITFew starsNeeds a key
Scores any URL against a 44-check design contract (A-F grade), validates DTCG tokens, and checks drift and AI readiness.
PythonMITFew starsNo key
Contract-first orchestration for long-running coding agents: scoped work records, local dispatch, review evidence, and enforcement provenance.
MCPLink only★ 4Few stars
Spec-Driven Development framework for AI-assisted software delivery. Immutable contracts, specialized agents, 20 curated Agent Skills (Laravel + React + TypeScript + PostgreSQL + shadcn) and 3-layer v
SkillMITFew starsNo key
Optimize the meaningful UI available immediately from a Next.js route on an initial load (hard navigation) or named client-side navigation (soft navigation). Encode the goal as a failing @next/playwri
in the skill textregression. Use when asked to grow a static shell, fix a slow first paint or non-instant navigation, diagnose which Suspense boundary blocks useful
OfficialSkillMIT★ 143k in collectionNo key
Converts Word (.docx) documents into Markdown so their contents can be accurately analyzed, summarized, searched, or extracted from. Use this skill whenever the user shares, references, or asks about
in the skill textanalyze" a Word document, resume, report, contract, or proposal. Always run the bundled conversion script to produce Markdown first; do not attempt to parse .docx content
OfficialSkillMIT★ 40k in collectionNo key
Converts PDF (.pdf) documents into Markdown so their contents can be accurately analyzed, summarized, searched, or extracted from. Use this skill whenever the user shares, references, or asks about a
in the skill textPDF report, paper, invoice, form, contract, or scanned document. Always run the bundled conversion script to produce Markdown first; do not attempt to parse PDF content
OfficialSkillMIT★ 40k in collectionNo key
Four-phase framework for onboarding enterprise customers from contract to value realization. Use when implementing new enterprise customers, preventing churn during onboarding, or solving the adoption
in the skill textghosting pattern. # Enterprise Onboarding Four-phase framework for onboarding enterprise customers from contract to value realization. The goal isn't just go-live — it's sustained
OfficialSkillMIT★ 40k in collectionNo key
Shorthand-first response compression that cuts ~40% of response tokens while preserving technical precision and exact literals. Use when the user says "steno mode", "shorthand mode", "compressed respo
in the skill textShorthand-first response compression that cuts ~40% of response tokens while preserving technical precision and exact literals. Use when the user says "steno mode", "shorthand mode
OfficialSkillMIT★ 40k in collectionNo key
Audits, writes, and refines maintained first-party source-code comments and declaration-level documentation across languages. Use when adding, editing, reviewing, cleaning up, or auditing comments, do
in the skill textAudits, writes, and refines maintained first-party source-code comments and declaration-level documentation across languages. Use when adding, editing, reviewing, cleaning up, or auditing comments
OfficialSkillMIT★ 40k in collectionNo key
Query AWS resources using natural language. Covers EC2, S3, RDS, Lambda, ECS, EKS, Secrets Manager, IAM, VPC, networking, messaging, and more. Strictly read-only — no writes, deletes, or mutations.
in the skill textThis skill **never** runs commands that create, modify, or delete resources. ## Safety Contract **STRICTLY READ-ONLY.** This skill exclusively uses: - `aws describe-*` - `aws list-*` - `aws get
OfficialSkillMIT★ 40k in collectionNo key
Clones, analyzes, plans, and migrates legacy codebases (C++, Fortran, Java, Python, C, Shell) from a GitHub URL or local directory to a modern, high-performance, deterministic, 100% Safe Rust architec
in the skill textPGO-tuned Rust while recording measured telemetry and a first-person engineering narrative via `scripts/telemetry.py` . ## Execution Contract & Portability When migrating a repository or local directory (`{github
OfficialSkillApache-2.0★ 21k in collectionNo key
Use for Vercel cost and performance optimization on deployed projects, especially Next.js, SvelteKit, Nuxt, and limited Astro apps. Collect Vercel metrics, usage, project config, and code scan results
in the skill textproject setting. Core doctrine: read references/doctrine.md if any rule is unclear. - Metrics first. Recommendations start from Vercel production signals, not repo-wide grep. - Deterministic gates. `scripts/gate-investigations.mjs
OfficialSkillMIT★ 32k in collectionNo key
Invoke whenever writing, changing, reviewing, or sweeping tests in the eve repository. Authoring gate for new tests plus audit workflow for low-value, slow, implementation-coupled, or duplicative test
in the skill textfirst if `#compiled/*` changed, and `pnpm build` before scenario runs. 2. For removed source greps or invariant assertions, run the script that owns the real contract
OfficialSkillApache-2.0★ 5.6k in collectionNo key
Who stands behind it