Local + remote · Compute 0.5.1

Covenant Compute / Knowledge

Codebase knowledge
your agents
can inspect.

A code knowledge layer inside Covenant Compute. Give agents and developers a searchable view of a repository, with evidence they can inspect.

Explore the local workflow See what is available

Available for macOS and Linux, on ARM64 and x86-64.

Source in.RustPythonJavaScriptTypeScriptMarkdownEvidence out.

From repository to evidence

Context you can open.

Compile locally.

Extract symbols, document headings and references into a versioned snapshot. Local commands run without a model key or a Compute purchase.

Rust · Python · JS / TS · Markdown

Follow the source.

Search names and source text, then inspect the file, line range and exact excerpt behind a result. Read the same evidence through the local viewer or MCP.

Citations · search · read-only MCP

Inspect what changed.

Explore resolved and unresolved references. Compare saved snapshots to find added, modified and removed objects, with parser diagnostics kept visible.

Dependencies · snapshots · diff

Start with a local repository

One snapshot.
A shared view.

Compile once, then inspect the same saved source through the CLI, a browser viewer or a read-only MCP connection. Historical queries stay attached to the snapshot you select.

Install the signed Compute 0.5.1 release, then compile the included example or your own repository. The compile command returns your project ID; the viewer prints its private loopback URL.

Download Compute 0.5.1 ↗
Signed release, four native builds. Guides and examples are included.

LOCAL WORKFLOWCOMPUTE 0.5.1

# Install the checksum-pinned release
curl -fsSL https://opencovenant.org/install/compute.sh | sh
export PATH="$HOME/.local/bin:$PATH"

# Compile the included original example
covenant-compute knowledge compile \
  "$HOME/.local/share/covenant-compute/0.5.1/examples/knowledge"

# Use the project ID returned by compile
covenant-compute knowledge query "calculate_total" \
  --project <id>

# Open the saved project
covenant-compute knowledge serve --project <id>

# Connect a read-only agent tool
covenant-compute knowledge mcp --project <id>

Local compilation does not execute repository code.

Make the limits visible

Evidence has boundaries.

/ SOURCE

Exact excerpts.

A citation identifies saved source and its line range. It helps you check an answer; it does not prove the code is correct.

/ COVERAGE

Visible gaps.

Unsupported files, exclusions and parser errors remain diagnostics. Dependency resolution is bounded; dynamic behavior can remain unresolved.

/ INTEGRITY

Inspectable snapshots.

Verification rechecks snapshot content and extraction. It is not a security audit, completeness guarantee or claim of trusted execution.

Built into Compute

Local tools.
Remote compilation.

Compile a pinned public GitHub revision through Covenant Compute, then inspect the verified snapshot locally. Remote input accepts 1–256 selected files and at most 512 KiB of source JSON, including filenames, text and metadata.

Preview a remote request Read paid acceptance

One dedicated operator offers the pinned compiler, with one job in flight at a time. Preview the current quote and capacity before buying. The finalized stake extension sets the admission cutoff at 17 November 2026 at 22:10:13 UTC, with stake unlock on 19 November at the same time. Continued availability depends on current capacity and operator health; no automatic renewal is scheduled. Read stake extension ↗

Optimized preview measurements ↗
Earlier debug measurements ↗
Both runs used the same small fixture. Direct search returned fewer bytes in all seven matching cases. Knowledge had lower median command latency in the optimized run; direct search was faster in the debug run. The optimized run overlapped regression tests. These measurements establish neither production performance nor token savings. Build-time reports from the release source.

Two earlier paid pilot jobs established receipt, snapshot and interrupted-client recovery evidence. A subsequent job on the dedicated operator passed receipt, artifact/import and settlement checks. Its identical-key settled replay returned the same job without another charge; this later run tested normal completion and settled replay. Read the bounded pilot evidence ↗

Local workflow: Available in Compute 0.5.1
Release package: Signed macOS + Linux builds
Remote compiler: Limited capacity · one operator
Measured results: Reproducible fixture reports

Covenant Compute / Knowledge

Build context.
Keep the evidence.

Follow development

Codebase knowledgeyour agentscan inspect.