Cruxible Core runs on your own machine — the client starts it, so there is no endpoint to ping. 138 installs a week from pypi. Last commit 6 Aug 2026.
Deterministic decision engine with receipts. Define rules in YAML, query a graph, get proof.
What the code does
We read the source, 4 d ago · rules 995398eba69f
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.
этот файл ставится пользователю, но в репозитории его нет
proc = subprocess.run(
data = yaml.load(raw, Loader=_UniqueKeySafeLoader)
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.
Connect this server
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add cruxible-core -- uvx cruxible-core{
"mcpServers": {
"cruxible-core": {
"command": "uvx",
"args": [
"cruxible-core"
]
}
}
}[mcp_servers.cruxible-core]
command = "uvx"
args = ["cruxible-core"]{
"mcpServers": {
"cruxible-core": {
"command": "uvx",
"args": [
"cruxible-core"
]
}
}
}{
"servers": {
"cruxible-core": {
"type": "stdio",
"command": "uvx",
"args": [
"cruxible-core"
]
}
}
}Optional settings from the registry entry, left out of the block above:
CRUXIBLE_MODE (Permission mode: admin (default), graph_write, or read_only), CRUXIBLE_ALLOWED_ROOTS (Comma-separated absolute paths restricting which directories cruxible_init can access).
Alternatives to Cruxible Core
same job, measured the same wayDeterministic rule-engine decisions with document-grounded explanations, rules and usage tools.
Deterministic market-state engine for trading agents — state, gate, coordinates, with receipts.
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Deterministic date arithmetic with auditable receipts: business days, due dates, holidays.
Read your own resume the way an ATS does and score it with a published, deterministic rubric.
Deterministic claim verification with receipts across ~60 domains. No model in the loop.
Read-only access to deterministic engineering decisions stored in a local repository.
Bounded agent exploration with persistent progress, deterministic receipts, and return contracts.
Cruxible Core — questions
Answers built from our own checks of this server.