Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
Local shadow MCP for HVAC, plumbing, electrical, and sewer. Read-only. Not a hosted OS.
These three are never merged into one score: opinions, measurements and popularity are different things.
We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.
Pick the AI app you use, then copy the settings.
You need
Which app do you use?
Pick your app above. We remember it, so next time the button says “Install in …”.
Works in Claude on the web, desktop and mobile:
https://trades-runtime.vibelock.workers.dev/mcpRun this in your terminal
claude mcp add --transport http trades-runtime https://trades-runtime.vibelock.workers.dev/mcpPaste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"trades-runtime": {
"url": "https://trades-runtime.vibelock.workers.dev/mcp"
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
Paste into .vscode/mcp.json in your project
{
"servers": {
"trades-runtime": {
"type": "http",
"url": "https://trades-runtime.vibelock.workers.dev/mcp"
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
ChatGPT connects only to servers on the internet:
https://trades-runtime.vibelock.workers.dev/mcpMenu names can differ slightly by plan and over time.
Your choice stays on this device in a cookie; no account needed.
These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.
We have not read this server’s tool list yet; we check endpoints in rotation.
We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 7, 2026
The registry name was verified with the GitHub account AzielEliab, which owns the repo
We have not read this repo from GitHub yet
We have not read this repo from GitHub yet
Not checked yet; we check endpoints in rotation
Not checked yet; we check endpoints in rotation
Not checked yet; we read the tool list when we check the endpoint
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
It passed 1 of 1 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.
The registry does not list a required key, though some servers ask you to sign in on first use.
It runs in the maker’s cloud. Connect over the internet with nothing to install, but what you send passes through the maker’s servers.
The GitHub repo last changed –, and the latest version (1.0.0-local) reached the registry 27 days ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. It connects by URL, so apps that accept remote MCP servers work too, such as ChatGPT in developer mode.
In the same category: Spec Driven Development, Remote Desktop Commander, Signoff
Servers in the same category from other makers, sorted by stars.
Reading a card:★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Five gates that make an agent's 'done' provable: run them, read the verdict, audit the record.
Copied from the maker’s repo as written. PopNx MCP has not reviewed or endorsed it. HTML, images and scripts are removed. Links lead off this site.
Private TypeScript runtime for a shadow-first AI operating system / company operating intelligence layer. Field trades: HVAC, plumbing, electrical, sewer, and cross-trades.
Author / identity: Aziel Eliab only. See IDENTITY.md. No legal name, home, or county on exports. Version: 1.0.0 (Local Softwares 1.0, installable) Role: trades-runtime License: Apache-2.0 Release: free software (Apache-2.0). Clone it and run the local shadow on your machine. Aziel Eliab is the author, not the operator, and is not running a company pilot. Public Worker (if deployed): https://trades-runtime.vibelock.workers.dev Try on Glama (intended listing): https://glama.ai/mcp/servers/AzielEliab/trades-runtime — pack is in-repo (glama.json, Dockerfile, cli/mcp-stdio.mjs). Do not treat Install Server as LIVE from this git tree alone. Checked 2026-10-02: Glama Latest/releaseVersion is 1.0.0-local. The public badge is still 1.0.0-local and does not match the in-repo Softwares cite tip 1.0.0. Catch-up pending. The Official MCP Registry still measures 1.0.0-local. This cut does not republish it. Local Softwares 1.0. That gap is not a Field 1.0 claim and not Office Softwares 1.0. This cut does not Make Release. See docs/GLAMA.md. Status: 1.0.0 installable Local Softwares 1.0 (Track L gate; pilot not started; live_backends false; not a Field 1.0 claim) — 0.4.12 familiar commands (help, softwares, version, health) so a person can discover the product without reading the whole README; desk features stay frozen (pilot not started) — 0.4.11 giveaway human UI on the VibeLock Worker (browser / PWA) without downloading first; optional counted pack; operator desk still local (pilot not started) — 0.4.10 local time tracking, service-coverage switches, and right-tech suggestions on the Monitoring desk (pilot not started) — 0.4.9 local inbound quality report for ServiceTitan and ProBooks fragments, alert-to-action stubs with refused write-back, and an Option C start-gate prep panel (pilot not started) — 0.4.8 local miles driven and drive performance, a ranked employee and department performance board, work-together suggestions across departments, and an employee friction rate beside that board (pilot not started) — 0.4.7 part cost with regional market adaptation, per-tech trainingNeeded, good and bad department behavior flags, and local truck counts (pilot not started) — 0.4.6 per-call classify reasons, callback / warranty / not-classified filters, a loopback weekly callback-rate digest, and a tech morning huddle (pilot not started) — 0.4.5 local callback and warranty counts, alert-digest export, score explanations, and booking-block receipt (pilot not started) — 0.4.4 local operator desk polish (theme, lane view, printable snapshot; pilot not started) — 0.4.3 Option C BYO pilot prep (local runbook + npm run pilot:prep; pilot not started) — 0.4.2 local alert rules on the operator desk — 0.4.1 named trades-app vendor profiles on the 0.4.0 universal drop-in — lockstep with Property Intelligence v1.0 in-tree — live-pure core + honest stubs — BYO local ServiceTitan + ProBooks + trades-app inbound — no live writes, tenant data, ST/ProBooks write-back, phone-home, DOIs, hosted uploader, or production company-OS claim — Option C code-ready / pilot not started — Option D not started
The product is the software in src/. docs/ is a thin local catalog/UI. GitHub Pages is intentionally disabled (live_backends: false). There is no Pages workflow. PDFs are never published. Implementer specs live at repo-root specs/ (not under docs/).
Standing rule: every PDF Aziel sends is a spec to implement as coded software.
Paper trail: TR-1.0-GATE-2026-09-28 (Track L Local Softwares 1.0 gate; pilot not started) · TR-COMMANDS-2026-09-27 (common CLI commands help, softwares, version, health; desk frozen; pilot not started) · TR-OPS-2026-09-27 (local time tracking, coverage switches, right-tech suggestions; pilot not started) · TR-DESK-VIEW-2026-09-27 (local show/hide checkboxes; Softwares card grids unchanged; pilot not started) · TR-MOBILE-DESK-2026-09-27 (phone-width local desk; Softwares cards unchanged; pilot not started) · TR-QUALITY-2026-09-27 (inbound quality, alert-action stubs, Option C start gate; pilot not started) · TR-DRIVE-2026-09-27 (miles driven, drive performance, ranked employee and department board; pilot not started) · TR-SOFTWARES-2026-09-27 (part cost and market adaptation, trainingNeeded, department behavior flags, local truck counts; pilot not started) · TR-HUDDLE-2026-09-26 (per-call classify reason, call filters, weekly callback rate, morning huddle; pilot not started) · TR-CALLS-2026-09-26 (callback and warranty counts, alert digest, score why, booking-block receipt; pilot not started) · TR-DESK-POLISH-2026-09-25 (local desk polish; pilot not started) · TR-OPTION-C-PILOT-RUNBOOK-2026-10-02 (human Option C start path; catalog pilot not started) · TR-PILOT-START-2026-10-02 (explicit pilot:start --branch on the operator isolate; not Field 1.0; not Office Softwares 1.0) · TR-OPTION-C-PREP-2026-09-25 (Option C box prep; pilot not started) · TR-ALERTS-2026-09-25 (local alert rules) · TR-VENDOR-2026-09-25 (named vendor profiles) · TR-DESK-2026-09-25 (universal drop-in + local human desk) · TR-AUDIT-2026-09-18C · TR-AUDIT-2026-09-18B · TR-AUDIT-2026-09-18 · TR-AUDIT-2026-09-17 · TR-CUT-2026-09-17 · TR-BOT-2026-09-17 (standing brief) · TR-BYO-2026-09-17 (amends TR-BOT §9 and TR-CUT R2–R3).
Merging this repository does not start a pilot. Aziel Eliab wrote the software. He is not the operator, he is not a customer, and he is not running a shop on this repo. live_backends stays false. There is no write-back. A fresh clone needs no ServiceTitan or ProBooks tenant and no secrets.
git clone https://github.com/AzielEliab/trades-runtime.git
cd trades-runtime npm install npm test npm run demo npm run shadow:office npm run shadow:field npm run desk
What you will see:
npm run demo prints a synthetic shadow day in the terminal. It is a fixture. It is not a company result and it does not print an accuracy percent.npm run shadow:office runs the office shadow on the sample branch named sample-shop. Fixtures are already in test/fixtures/sample-branch/office/. The receipt says office_softwares_1_0: false, pilot_started: false, and live_backends: false. You will see admitted sample jobs, a huddle count, inbound quality as a checklist, and alert stubs that refuse write-back. That command does not load field flags.npm run shadow:field runs the field shadow on the same sample branch, from test/fixtures/sample-branch/field/. You will see local flags (needsParts, safetyHold, vanDown, and a row that names a label without a van, which does not invent a van), a time card, coverage places, and a right-tech suggestion. field_softwares_1_0 is false. It is not a live GPS feed and not Field 1.0. It is a separate command from the office shadow.npm run desk opens the local desk at http://127.0.0.1:4174/ . With empty inbound folders the page is labeled synthetic demo. It is not your company and not a live tenant. Dropping your own exports into data/inbound/ is optional and stays on your machine.When you have a real branch on your own machine, and only then:
npm run pilot:prep
npm run pilot:start -- --branch
That is the only software path that sets pilot_started true, and it does it on your isolate only. It refuses a missing or bad branch, prep that is not ready, and --claim-company when inbound is empty or only synthetic. The shipped catalog stays pilot_started false. Mode stays SHADOW-SEALED. Writes require operator approval; default off. The receipt is not a live company OS, not Office Softwares 1.0, and not Field 1.0.
npm install
npm test npm run typecheck npx tsx src/cli.ts help npx tsx src/cli.ts softwares npx tsx src/cli.ts version npx tsx src/cli.ts health npm run demo npm run byo:admit-demo npm run drop-in:demo npm run desk npm run shadow:office npm run shadow:field npm run pilot:prep npm run pilot:start -- --branch npm run health:local npm run shadow:sealed-demo npm run manifest npm run mcp
help prints the command list (--help and -h do the same). softwares lists each module's slug, status, and one line in plain language (Softwares matches in any letter case). version prints the product name and version, then one honesty line: live_backends false, pilot_started false (--version and -V do the same). health is the same local honesty card as health-local. An unknown command prints that it is unknown, then the help text, and exits non-zero. No command still prints help and exits zero.
npm test runs constitutional rule tests including Human Authority, confidence≠truth, CrossTrade secondary-only routing, v0.2 recognition / pricebook lock / mission board / location economics, the 0.3.3 execution spine (FragGate inbound, durable receipts, runAction), restart-replay of append-only JSONL receipts (data/receipts.jsonl or {tmpdir}/tr-replay-*/receipts.jsonl), the synthetic BYO admit demo, the universal drop-in demo, the local operator desk, Option C sealed-shadow scaffolding (no auto-promote, engagement drop-back, required settlement fields), and Option C pilot prep (machine checks, synthetic admit, desk boot, pilot_started: false).
CI (.github/workflows/ci.yml) runs npm ci, npm run typecheck, and npm test on pull requests and pushes to main. GitHub Pages is intentionally disabled — do not treat a github.io URL as a test gate.
npm run demo runs a synthetic shadow-day: Call-Fit, sealed counterfactual, human override, hash-chained receipts, trajectory rebase.
| Area | Path | Status |
|---|---|---|
| Canonical IDs / events / modes | src/core/ | live-pure |
| Confidence ≠ truth | src/core/confidence.ts | live-pure |
| Chains A/B/C/D | src/core/chains.ts | live-pure |
| Human Authority | src/core/human-authority.ts | live-pure |
| TradesCoherence, EvidencePacket, DecisionGate, ReceiptLedger, Shadow, Trajectory | src/inherited/ | live-pure |
| Call-Fit, economics, CrossTrade, Chain D, workforce, Decision Fabric, analytics | src/domain/ | live-pure |
| Communications (event-stream channels) | src/domain/communications.ts | live-pure |
| Recognition (quality-gated) | src/domain/recognition.ts | live-pure |
| Daily mission board | src/domain/mission-board.ts | live-pure |
| Callback and warranty labels | src/domain/call-class.ts | live-pure |
| Morning huddle + trainingNeeded | src/domain/huddle-board.ts | live-pure |
| Miles driven and drive performance | src/domain/drive-miles.ts | live-pure |
| Ranked employee and department board | src/domain/performance-board.ts | live-pure |
| Work together and cross-departmen
Only the beginning is shown; read the rest in the repo