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
Local release · Compute 0.5.0
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.
Available for macOS and Linux, on ARM64 and x86-64.
Source in.RustPythonJavaScriptTypeScriptMarkdownEvidence out.
From repository to evidence
Context you can open.
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 MCPInspect what changed.
Explore resolved and unresolved references. Compare saved snapshots to find added, modified and removed objects, with parser diagnostics kept visible.
Dependencies · snapshots · diffStart 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.0 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.0 ↗
Signed release, four native builds. Guides and examples are included.
LOCAL WORKFLOWCOMPUTE 0.5.0
# 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.0/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>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 first.
Remote is the next gate.
The client includes a remote compilation path for a pinned public GitHub revision. A remote result must pass receipt and snapshot verification before local import.
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.
Local tools are available now. The paid remote pilot has been accepted; persistent public remote capacity is not available. Read the bounded pilot evidence ↗
- Local workflow
- Available in Compute 0.5.0
- Release package
- Signed macOS + Linux builds
- Remote compiler
- Paid pilot accepted · public availability pending
- Measured results
- Reproducible fixture reports
Covenant Compute / Knowledge