Workspace platform
Free · No AI requiredKnowledge Graph & Contracts
Workspai derives a proof-backed Knowledge Graph from the projects and topology authorized by the canonical Workspace Model. A stable structural hash and live project-input fingerprint bind the pair, and consumers reject stale identity, topology, proof, scope, or source-content mismatches. Provider status separates successful execution from evidence completeness, so partial, skipped, failed, and applicable-but-empty scans stay visible instead of looking complete. Deterministic project-scoped retrieval and logical interface reconciliation keep bounded agent queries useful without discarding file-level proof.
#Search · Evidence · Path · Verify
What you get
- 01Deterministic bounded search before full-model or full-repository reads
- 02Entity-kind filtering and proof-bounded source/API call bindings
- 03Incremental project-scope reuse with workspace controls always re-evaluated
- 04hybrid-git-content-v2 with git-worktree-v2 or content-merkle-v1 scopes
- 05Explicit omission budget for every bounded agent projection
- 0624 entity kinds and 25 proof-bound relation kinds
- 07CMake, Meson, Bazel, and Protobuf semantic providers
- 08Runtime API registration and endpoint implementation stay separate coverage guarantees
- 09Same-file and proven local-import symbol calls bind; ambiguous dispatch remains explicit
- 10Project-scoped search and explicit --refresh-graph rebuilds
- 11Portable proof lookup and shortest relationship paths
- 12Truthful provider completeness and explicit unknowns
- 13Logical interface results with distinct source proofs
- 14Change overlay for graph revisions
- 15Contract verification and release-readiness integration
Workspai CLI · same workspace truth
Ready to try it
Use Knowledge Graph & Contracts in your workspace
Start with the open-source CLI, then use the free VS Code extension when you want the same evidence in the sidebar, dashboard, or Studio.