Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
คำอธิบายจากผู้ทำ (ภาษาอังกฤษตามต้นฉบับ)
Offline deterministic engineering-trust certificates for repositories, with no telemetry.
สามเรื่องนี้ไม่รวมเป็นคะแนนเดียว เพราะความเห็น การวัด และความนิยม เป็นคนละเรื่องกัน
ตัวนี้ยังไม่ได้เรียบเรียงเป็นภาษาไทย ด้านล่างคือข้อเท็จจริงที่เราอ่านจาก registry
เลือกโปรแกรม AI ที่คุณใช้ แล้วคัดลอกค่าตั้งไปวาง
ต้องเตรียมก่อน
คุณใช้แอปไหน
เลือกแอปด้านบน เราจำไว้ให้ ครั้งหน้าปุ่มจะขึ้นว่า “ติดตั้งลง …”
เปิด Claude Desktop → Settings → Developer → Edit Config แล้ววางค่านี้ในไฟล์ claude_desktop_config.json
{
"mcpServers": {
"cejel": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"ghcr.io/barglabs/cejel@sha256:9dff91f6eee17acab1d30bc945f74710de36ca87e5850bb7b0541d4a9c3d435d"
]
}
}
}พิมพ์คำสั่งนี้ใน Terminal
claude mcp add cejel -- docker run -i --rm ghcr.io/barglabs/cejel@sha256:9dff91f6eee17acab1d30bc945f74710de36ca87e5850bb7b0541d4a9c3d435dวางในไฟล์ .cursor/mcp.json ของโปรเจกต์ หรือ ~/.cursor/mcp.json
{
"mcpServers": {
"cejel": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"ghcr.io/barglabs/cejel@sha256:9dff91f6eee17acab1d30bc945f74710de36ca87e5850bb7b0541d4a9c3d435d"
]
}
}
}เบราว์เซอร์จะถามก่อนเปิดแอป จากนั้นแอปแสดงค่าตั้งให้ตรวจแล้วกดยืนยัน ช่อง key เว้นว่างไว้ให้คุณใส่เอง
วางในไฟล์ .vscode/mcp.json ของโปรเจกต์
{
"servers": {
"cejel": {
"type": "stdio",
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"ghcr.io/barglabs/cejel@sha256:9dff91f6eee17acab1d30bc945f74710de36ca87e5850bb7b0541d4a9c3d435d"
]
}
}
}เบราว์เซอร์จะถามก่อนเปิดแอป จากนั้นแอปแสดงค่าตั้งให้ตรวจแล้วกดยืนยัน ช่อง key เว้นว่างไว้ให้คุณใส่เอง
ตัวนี้รันในเครื่องคุณ แต่ ChatGPT ต่อได้เฉพาะ server บนอินเทอร์เน็ต ลองเลือกแอปอื่น
ตัวเลือกเก็บในคุกกี้บนเครื่องนี้ ไม่ต้องมีบัญชี
ค่าตั้งนี้สร้างจากข้อมูลใน registry ของผู้ทำ ถ้าไม่ตรงกับ README ให้เชื่อ README
รันในเครื่องคุณ รายการเครื่องมือจะขึ้นในแอป AI หลังติดตั้ง
เราตรวจจากข้อมูลที่ใครก็เปิดดูได้ ยังไม่ได้อ่านโค้ด ข้อที่ไม่เกี่ยวกับตัวนี้ไม่นับในตัวหาร · ตรวจเมื่อ 6 พ.ย. 2569
ชื่อใน registry ยืนยันด้วยบัญชี GitHub BargLabs ซึ่งเป็นเจ้าของ repo
ยังไม่ได้อ่านข้อมูล repo จาก GitHub
ยังไม่ได้อ่านข้อมูล repo จาก GitHub
ตัวนี้รันบนเครื่องคุณ ไม่มี endpoint บนอินเทอร์เน็ต
ตัวนี้รันบนเครื่อง ใช้ค่าที่ตั้งในเครื่องแทน
รันในเครื่องคุณ เราอ่านรายการเครื่องมือได้เฉพาะตัวที่มี endpoint บนอินเทอร์เน็ต
เทียบกับทุก server ที่ยังใช้งานในหมวดนี้ทั้งทะเบียน ดาวนับเฉพาะเมื่อผู้ลงทะเบียนเป็นเจ้าของ repo
จากการตรวจเบื้องต้นของเรา ผ่าน 1 จาก 1 ข้อที่ตรวจได้ เรายังไม่ได้อ่านโค้ด ก่อนใส่กุญแจหรือ token ให้ดูว่า server ขอสิทธิ์อะไร และเลือกกุญแจที่ทำได้เท่าที่จำเป็น
registry ไม่ได้ระบุว่าต้องใช้กุญแจ แต่บางตัวจะขอให้ล็อกอินตอนใช้ครั้งแรก
รันบนเครื่องของคุณ โปรแกรม AI จะเปิด server ขึ้นมาเองเมื่อใช้ ข้อมูลไม่ต้องผ่านเซิร์ฟเวอร์ของผู้ทำ (ยกเว้นตัวที่ไปเรียกบริการออนไลน์ต่อ)
repo บน GitHub มีการแก้โค้ดล่าสุด – และส่งรุ่นล่าสุด (0.6.10) เข้า registry เมื่อวานซืน
โปรแกรมที่รองรับ MCP เช่น Claude Desktop, Claude Code, Cursor และ VS Code ตัวนี้ต้องมี Docker ในเครื่องด้วย
ในหมวดเดียวกันมี Spec Driven Development, Remote Desktop Commander, Zoo MCP
server หมวดเดียวกันจากผู้ทำคนอื่น เรียงตามดาว
อ่านการ์ด:★ ดาว GitHubiสามเสา: รีวิว · ผลตรวจ · การใช้งานiอัปเดต = วันที่ส่งรุ่นล่าสุดเข้า 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.
An MCP server that provides access to the Zoo API for various CAD operations and tools.
ส่วนนี้คัดจาก repo ของผู้ทำตามต้นฉบับ PopNx MCP ไม่ได้ตรวจหรือรับรองเนื้อหา ตัด HTML รูปภาพ และสคริปต์ออกแล้ว ลิงก์จะพาออกนอกเว็บ
Evidence about a repository that anyone can rerun. Cejel reads a repository's own evidence (tests that really assert something, committed secrets, CI gating) and writes a certificate pinned to one commit. Whoever receives it, a customer, a buyer or an acquirer, can run the same Cejel version on the same commit themselves, offline, and get the same result. No LLM, no signup.
Add it to a workflow; the result is posted to the job summary:
on: [pull_request]
jobs: cejel: runs-on: ubuntu-latest steps:
Keep fetch-depth: 0. actions/checkout makes a shallow clone by default, and a shallow clone is "Unrated: shallow clone", with no score and no verdict, under every rubric, the default included, until the full history is checked out. A directory with no .git (an uploaded snapshot or an archive) is "Unrated: no git history" under every rubric.
Or run it once from a shell: npx @cejel/cejel@latest . More on the Action under GitHub Action. To read what comes out, see Reading the result.
Cejel (*"SEH-jel"*) — a trust certificate for your codebase.
Free, offline, no-signup CLI that scores the engineering signals that tell you whether to trust a repo — tests, secrets, isolation, claim-vs-reality, CI/audit discipline — and prints a trust certificate + badge. Especially valuable when AI wrote a lot of the code: that's exactly when you can't eyeball trust. Built on a deterministic, no-LLM scoring core — the free path makes zero network calls and requires no account.
Claim boundary: Cejel scores engineering-trust signals; it does not claim to detect software defects or prove that code is safe. Defect and vulnerability scanners remain evidence producers that Cejel can aggregate into a trust certificate.
Cejel is not another point scanner competing with the one you already run — it's the open, portable, offline trust certificate that aggregates them. Pipe in SARIF-compatible output (MunaTrust, Snyk, Semgrep, CodeQL, Codex) plus OpenSSF Scorecard, and get one shareable certificate + badge over all of them. See "Aggregate your scanners" below.
Cejel is used on Barg Labs’ own code. The public board
labels publisher-owned snapshots separately from the ranked public repositories.
The public CLI default is witan-rubric-v17-2026-07-24, the last rubric to clear Cejel's preregistered 200-repository untouched holdout. Published calibration figures apply only to that exact rubric and frozen evaluation population. Later rubrics—including the current v18 through v23 prospective series—are available only to explicit evaluation harnesses. Prospective rubrics inherit none of v17's calibration figures; a bounded paired repair or corpus-delta result can validate its stated construction without transferring precision, recall, or false-positive-rate claims. Promoting a prospective rubric to the public default requires a fresh authenticated untouched holdout, every preregistered gate to pass, and a separately recorded promotion decision.
Measured recall (bounded). Cejel publishes one cohort-level in-scope detection-recall
figure, for the prospective v22 rubric, in
docs/calibration/v22-detection-recall/; no general
figure exists, and the three quantities called recall are set side by side on
cejel.dev/methodology. On a frozen,
preregistered, in-scope held-out fixture set of 30 named defects, the released public default
(v17, tree
a857f0b3) cited 16/30, two-sided 95% Wilson interval [36.1%, 69.8%]; the
prospective v22 detector (commit
8a289ea, tree10960a03) cited 24/30, two-sided 95%
Wilson interval [62.7%, 90.5%]. Same fixtures, same partition, same controls in both runs.
v22 is prospective and not the shipped default. Full preregistrations and results:
docs/experiments/in-scope-detection-recall-v3-result-2026-08-09.mdand
docs/experiments/in-scope-detection-recall-v4-result-2026-08-11.md.
The defect-class census publishes the coverage-breadth boundary—which defect classes any shipped rule targets—and is explicitly not a recall claim.
The first page of certificate.html (and the block printed after the verdict in the terminal) answers four questions in plain words, built only from report.json:
git lfs pull for Git LFS pointers, making files readable only where they could not be read, and no fix for a size limit or rule. An item with no table entry points to the section of the certificate that holds it.The first page also says what the result does not cover: Cejel reads files and history and does not run the code or its tests. Under a prospective rubric such as witan-rubric-v27-prospective-2026-10-19, the first page opens, above the verdict line, with the same notice the certificate's header carries: the rubric is not calibrated, and its results carry no precision or recall claim. Every line links to its source further down; the certificate below the first page holds the evidence, unchanged apart from the anchors those links point to. summary.json carries the same lists under plainSummary.
No account, no key, no signup.
Single-file binary. One file. No Node, no npm, no node_modules, nothing installed.
set -eu
asset="cejel-$(uname -s)-$(uname -m)" curl -fsSL "https://github.com/BargLabs/cejel/releases/latest/download/$asset" -o "$asset" curl -fsSL https://github.com/BargLabs/cejel/releases/latest/download/SHA256SUMS -o SHA256SUMS checksum_entry_count="$(awk -v asset="$asset" '$2 == asset { count++ } END { print count + 0 }' SHA256SUMS)" if [ "$checksum_entry_count" -ne 1 ]; then echo "Expected exactly one SHA256SUMS entry for $asset; found $checksum_entry_count" >&2 exit 1 fi if command -v sha256sum >/dev/null; then grep " $asset$" SHA256SUMS | sha256sum -c - else grep " $asset$" SHA256SUMS | shasum -a 256 -c - fi mv "$asset" cejel chmod +x cejel ./cejel .
Windows x86_64 (PowerShell).
$asset = "cejel-Windows-x86_64.exe"
Invoke-WebRequest "https://github.com/BargLabs/cejel/releases/latest/download/$asset" -OutFile $asset Invoke-WebRequest "https://github.com/BargLabs/cejel/releases/latest/download/SHA256SUMS" -OutFile SHA256SUMS $expected = ((Select-String -Path SHA256SUMS -Pattern " $([regex]::Escape($asset))$").Line -split "\s+")[0] $actual = (Get-FileHash -Algorithm SHA256 $asset).Hash.ToLowerInvariant() if (-not $expected -or $actual -ne $expected.ToLowerInvariant()) { throw "SHA-256 verification failed for $asset" } .\cejel-Windows-x86_64.exe .
Windows signing status:
cejel-Windows-x86_64.exeis intentionally unsigned in
0.6.10 and may trigger Microsoft SmartScreen. The release build removes Node's inherited
signature before SEA injection and fails unless Windows reports the result as
NotSigned;
it does not ship an invalid signature. Before running it, verify
SHA256SUMSand the
GitHub build-provenance attestation. Each binary also has an attached SPDX SBOM (the packages
bundled into it, listed from the build, and the Node.js runtime it embeds; from the release after
0.6.0 it is attested to the binary) and an own-platform verification receipt covering
--version,--help, a real scan,
source/binary parity, and a network-denied scan. If your policy requires Authenticode,
use the npm package or the OCI image until a human-approved signing path is available.
Don't take the offline claim on trust — check it. Turn your network off, then run the binary. It will score your repository and write you a certificate anyway. That is the whole product, and you can falsify it in ten seconds:
# with Wi-Fi off, or:
docker run --rm --network=none -v "$PWD:/w" -w /w -v "$PWD/cejel:/cejel:ro" debian:stable-slim /cejel .
npm.
npx @cejel/cejel@latest .
Distribution note: Cejel
0.6.10is the coordinated release version for npm,
standalone binaries, Docker/OCI, GitHub Action, Homebrew, and MCP Registry. A GitLab CI
template and Code Quality export live in
docs/gitlab-ci.md.
npx can reuse a stale cached package. Force the current npm release with the @latest specifier above, and check the version that will run before comparing certificates:
npx @cejel/cejel@latest --version
If a root package.json still carries a template name, override only the certificate display name while keeping the repository-derived stable slug:
npx @cejel/cejel@latest . --name "Customer Portal"
From 0.4.5, use --product-name when two checkout directories must emit the same identity fields. The supplied value sets both the display name and its slugified stable ID:
npx @cejel/cejel@latest . --product-name "Customer Portal"
Product identity is caller context, not scored repository evidence, and is excluded from certificate byte-comparison claims.
The npm package is scoped as @cejel/cejel; its executable remains the short command cejel.
GitHub Action — score every PR and publish the badge:
- uses: actions/checkout@v4
with: fetch-depth: 0
ตัดมาแค่ช่วงต้น อ่านต่อใน repo