Cejel runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 17 Sep 2026.
Offline deterministic engineering-trust certificates for repositories, with no telemetry.
What the code does
We read the source, 21 h ago · rules 3dff92dd89df
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
const entry = Object.entries(process.env).find(
// A bare key file (id_rsa, server.key, some-cert.pem) has no `identifier =`/`identifier:`
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
This code can reach further than it looks
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
Alternatives to Cejel
same job, measured the same wayRead-only access to deterministic engineering decisions stored in a local repository.
Deterministic repository structure mapping for onboarding agents.
Deterministic Artifact Evaluation preflight and run-path grader for research repositories.
A deterministic verification engine for agents. Proves a fix: fails on the old code, passes on new.
Deterministic release gate for AI-written code and coding agents.
Deterministic AI liability attribution with Bitcoin-anchored proof certificates.
Valem - Deterministic reactive state models. Create your own calculators/forms with AI
Execution-verified code generation and verification with signed, offline-checkable certificates.
Cejel — questions
Answers built from our own checks of this server.