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.
이 세 가지는 절대 하나의 점수로 합치지 않아요. 의견, 측정, 인기는 서로 다른 것이니까요.
이 서버는 아직 쉬운 말로 된 요약을 쓰지 못했어요. 아래는 레지스트리에서 읽어 온 사실이에요.
쓰고 있는 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"
]
}
}
}터미널에서 이 명령어를 실행하세요
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"
]
}
}
}브라우저가 앱을 열지 물어본 다음, 앱이 설정을 보여 주고 확인을 요청해요. 키 값은 비워 두니 직접 입력하세요.
프로젝트의 .vscode/mcp.json에 붙여 넣으세요
{
"servers": {
"cejel": {
"type": "stdio",
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"ghcr.io/barglabs/cejel@sha256:9dff91f6eee17acab1d30bc945f74710de36ca87e5850bb7b0541d4a9c3d435d"
]
}
}
}브라우저가 앱을 열지 물어본 다음, 앱이 설정을 보여 주고 확인을 요청해요. 키 값은 비워 두니 직접 입력하세요.
이 서버는 내 컴퓨터에서 실행되는데, ChatGPT는 인터넷에 있는 서버에만 연결할 수 있어요. 다른 앱을 고르세요.
선택한 앱은 이 기기의 쿠키에만 저장돼요. 계정은 필요 없어요.
이 설정은 제작자의 레지스트리 정보로 만들었어요. README와 다르면 README를 따르세요.
내 컴퓨터에서 실행돼요. 설치하면 AI 앱에 도구 목록이 나타나요.
누구나 볼 수 있는 정보를 점검했고, 코드는 읽지 않았어요. 해당하지 않는 항목은 개수에서 뺐어요. · 2026년 11월 6일 점검
레지스트리 이름이 GitHub 계정 BargLabs 기준으로 확인되었고, 이 계정이 저장소를 소유하고 있어요
아직 GitHub에서 이 저장소를 읽어 오지 않았어요
아직 GitHub에서 이 저장소를 읽어 오지 않았어요
내 컴퓨터에서 실행되는 서버라 인터넷 엔드포인트가 없어요
내 컴퓨터에서 실행되며, 대신 로컬 설정을 사용해요
내 컴퓨터에서 실행돼요. 도구 목록은 인터넷 엔드포인트가 있는 서버에서만 읽을 수 있어요
레지스트리에서 이 카테고리의 활성 서버 전체와 비교했어요. 스타는 게시자가 저장소를 소유한 경우에만 세요.
해당하는 기본 점검 1개 중 1개를 통과했어요. 코드는 읽지 않았어요. 키나 토큰을 넣기 전에 서버가 어떤 권한을 요구하는지 확인하고, 꼭 필요한 권한만 있는 키를 쓰세요.
레지스트리에 필수 키가 나와 있지 않아요. 다만 처음 쓸 때 로그인을 요구하는 서버도 있어요.
내 컴퓨터에서 실행돼요. AI 앱이 필요할 때 실행하고, 데이터는 제작자의 서버를 거치지 않아요(서버 자체가 온라인 서비스를 호출하는 경우는 제외).
GitHub 저장소는 마지막으로 – 변경됐고, 최신 버전(0.6.10)은 그저께 레지스트리에 올라왔어요.
Claude Desktop, Claude Code, Cursor, VS Code처럼 MCP를 지원하는 앱에서 쓸 수 있어요. 내 컴퓨터에 Docker도 있어야 해요.
같은 카테고리에는: Spec Driven Development, Remote Desktop Commander, Zoo MCP
같은 카테고리에서 다른 제작자가 만든 서버예요. 스타 순으로 정렬했어요.
카드 보는 법:★ GitHub 스타i세 기둥: 리뷰 · 점검 · 사용 정도i업데이트 = 최신 버전을 레지스트리에 공개한 날i
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.
제작자의 저장소에서 쓰인 그대로 가져왔어요. 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
앞부분만 보여 드려요. 나머지는 저장소에서 읽어 보세요