Skip to main content

Deterministic decision engine with receipts. AI agents write configs, Core executes with proof.

Project description

Cruxible

Cruxible Core

PyPI version Python 3.11+ License: MIT

Deterministic decision engine with receipts. Define rules in YAML. Query a knowledge graph. Get a proof of every answer.

Define a decision domain in YAML — entity types, relationships, queries, constraints. Ingest data, build the graph, query it, and get a receipt/audit trail proving exactly how the answer was derived. AI agents orchestrate the workflow, Core executes deterministically. No LLM inside, no API keys, no token costs.

┌──────────────────────────────────────────────────────────────┐
│  AI Agent (Claude Code, Cursor, Codex, ...)                  │
│  Writes configs, orchestrates workflows                      │
└──────────────────────┬───────────────────────────────────────┘
                       │ calls
┌──────────────────────▼───────────────────────────────────────┐
│  MCP Tools                                                   │
│  init · validate · ingest · query · feedback · evaluate ...  │
└──────────────────────┬───────────────────────────────────────┘
                       │ executes
┌──────────────────────▼───────────────────────────────────────┐
│  Cruxible Core                                               │
│  Deterministic. No LLM. No opinions. No API keys.            │
│  Config → Graph → Query → Receipt → Feedback                 │
└──────────────────────────────────────────────────────────────┘

What It Looks Like

1. Define a domain in YAML:

entity_types:
  Drug:
    properties:
      drug_id: { type: string, primary_key: true }
      name:    { type: string }
  Enzyme:
    properties:
      enzyme_id: { type: string, primary_key: true }
      name:      { type: string }

relationships:
  - name: same_class
    from: Drug
    to: Drug
  - name: metabolized_by
    from: Drug
    to: Enzyme

named_queries:
  suggest_alternative:
    entry_point: Drug
    returns: Drug
    traversal:
      - relationship: same_class
        direction: both
      - relationship: metabolized_by
        direction: outgoing

2. Ingest data. Ask your AI agent:

"Suggest an alternative to simvastatin"

3. Get a receipt — structured proof of every answer:

Receipt interpreted by Claude Code from the raw receipt DAG:

Receipt RCP-17b864830ada

Query: suggest_alternative for simvastatin

Step 1: Entry point lookup
  simvastatin -> found in graph

Step 2: Traverse same_class (both directions)
  Found 6 statins in the same therapeutic class:
  n3  atorvastatin   n4  rosuvastatin   n5  lovastatin
  n6  pravastatin    n7  fluvastatin    n8  pitavastatin

Step 3: Traverse metabolized_by (outgoing) for each alternative
  n9   atorvastatin -> CYP3A4   (CYP450 dataset)
  n10  rosuvastatin -> CYP2C9   (CYP450 dataset, human approved)
  n11  rosuvastatin -> CYP2C19  (CYP450 dataset)
  n12  lovastatin -> CYP2C19    (CYP450 dataset)
  n13  lovastatin -> CYP3A4     (CYP450 dataset)
  n14  pravastatin -> CYP3A4    (CYP450 dataset)
  n15  fluvastatin -> CYP2C9    (CYP450 dataset)
  n16  fluvastatin -> CYP2D6    (CYP450 dataset)
  n17  pitavastatin -> CYP2C9   (CYP450 dataset)

Results: CYP3A4, CYP2C9, CYP2C19, CYP2D6
Duration: 0.41ms | 2 traversal steps

Get Started

pip install "cruxible-core[mcp]"

Or use uv tool install "cruxible-core[mcp]" if you prefer uv.

Add the MCP server to your AI agent:

Claude Code / Cursor (project .mcp.json or ~/.claude.json / .cursor/mcp.json):

{
  "mcpServers": {
    "cruxible": {
      "command": "cruxible-mcp",
      "env": {
        "CRUXIBLE_MODE": "admin"
      }
    }
  }
}

Codex (~/.codex/config.toml):

[mcp_servers.cruxible]
command = "cruxible-mcp"

[mcp_servers.cruxible.env]
CRUXIBLE_MODE = "admin"

Try a demo

git clone https://github.com/cruxible-ai/cruxible-core
cd cruxible-core/demos/drug-interactions

Each demo includes a config, prebuilt graph, and .mcp.json. Open your agent in a demo directory.

First, load the instance:

"You have access to the cruxible MCP, load the cruxible instance"

Then try:

  • "Check interactions for warfarin"
  • "What's the enzyme impact of fluoxetine?"
  • "Suggest an alternative to simvastatin"

Every query produces a receipt you can inspect.

Why Cruxible

LLM agents alone With Cruxible
Relationships shift depending on how you ask Explicit knowledge graph you can inspect
No structured memory between sessions Persistent entity store across runs
Results vary between identical prompts Deterministic execution, same input → same output
No audit trail DAG-based receipt for every decision
Constraints checked by vibes Declared constraints programmatically validated before results
Discovers relationships only through LLM reasoning Deterministic candidate detection finds missing relationships at scale — LLM assists where judgment is needed
Learns nothing from outcomes Feedback loop calibrates edge weights over time

Features

  • Receipt-based provenance: every query produces a DAG-structured proof showing exactly how the answer was derived.
  • Constraint system: define validation rules that are checked by evaluate. Feedback patterns can be encoded as constraints.
  • Feedback loop: approve, reject, correct, or flag individual edges. Rejected edges are excluded from future queries.
  • Candidate detection: property matching and shared-neighbor strategies for discovering missing relationships at scale.
  • YAML-driven config: define entity types, relationships, queries, constraints, and ingestion mappings in one file.
  • Zero LLM dependencies: purely deterministic runtime. No API keys, no token costs during execution.
  • Full MCP server: complete lifecycle via Model Context Protocol for AI agent orchestration.
  • CLI mirror: core MCP tools have CLI equivalents for terminal workflows.
  • Permission modes: READ_ONLY, GRAPH_WRITE, ADMIN tiers control what tools a session can access.

Demos

Demo Domain What it demonstrates
sanctions-screening Fintech / RegTech OFAC screening with beneficial ownership chain traversal.
drug-interactions Healthcare Multi-drug interaction checking with CYP450 enzyme data.
mitre-attack Cybersecurity Threat modeling with ATT&CK technique and group analysis.

Documentation

Technology

Built on Pydantic (validation), NetworkX (graph), Polars (data ops), SQLite (persistence), and FastMCP (MCP server).

Cruxible Cloud: Managed deployment with expert support. Coming soon.

License

MIT

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

cruxible_core-0.1.1.tar.gz (387.0 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

cruxible_core-0.1.1-py3-none-any.whl (87.3 kB view details)

Uploaded Python 3

File details

Details for the file cruxible_core-0.1.1.tar.gz.

File metadata

  • Download URL: cruxible_core-0.1.1.tar.gz
  • Upload date:
  • Size: 387.0 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: uv/0.8.13

File hashes

Hashes for cruxible_core-0.1.1.tar.gz
Algorithm Hash digest
SHA256 5379bb6b6b5ee6f71f7f7c7c10c642e64c9d33f8037979c9ec82dd04080153d5
MD5 bfe4adaa26979a8d26dad93609eac88a
BLAKE2b-256 12696fc51764cb59776a564d2ded3b29c7b4b1fc8e87b5c9f2341cb706cbaa0a

See more details on using hashes here.

File details

Details for the file cruxible_core-0.1.1-py3-none-any.whl.

File metadata

File hashes

Hashes for cruxible_core-0.1.1-py3-none-any.whl
Algorithm Hash digest
SHA256 9d6442abb784810cfe8f3b85413850d8c2ab2a5af1b07823b16aa90f30522fdd
MD5 45335a5aa36704bc93b8a312de3b535b
BLAKE2b-256 169be72983603e61a134196f02b93e69bd7804c2180d3fb44ef5c0536edb7ef8

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page