Skip to content

Latest commit

 

History

10 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Desk Code Agent

A local-first desktop workspace that makes repository evidence, agent activity, and deterministic verification inspectable.

Current public release Unsigned Windows installers Windows Local first Apache 2.0 Mutation disabled

Download v0.2.0 for Windows · Quick start · 繁中快速上手 · Architecture

Desk Code Agent welcome screen with a prominent Choose local folder button, three setup steps, local-only status, and mutation disabled.

Desk Code Agent is a calm, inspectable engineering workbench—not a generic chat box and not an autonomous coding system. It keeps repository facts, fixture data, model activity, proposed changes, and machine verification visibly separate.

Start in three steps

Release status: The screenshots and instructions below describe the current public v0.2.0 release. The historical v0.1.0 release remains available with the previous interface.

  1. Install Desk Code Agent. Download the unsigned v0.2.0 MSI or NSIS package from the public release.
  2. Choose an existing local Git folder. Your source stays where it is; Desk does not upload, copy, or modify it.
  3. Check the observed facts. Desk shows the repository name, repository-reported branch and HEAD text, project manifests, and a bounded file list. HEAD text remains untrusted metadata; working-tree cleanliness is deliberately not inspected because repository-controlled filters are untrusted.

Repository only on GitHub? Clone it first with Git or GitHub Desktop, then choose the local folder. URL cloning is not available in this build. Repository inspection itself starts no Git process and has no Git installation requirement.

Read-only repository summary showing repository-reported branch and HEAD metadata, working-tree safety status, project manifests, and a bounded file list.

The repository check starts no Git process. It reads only bounded, repository-reported .git/HEAD and ref text plus a bounded filesystem manifest, skipping symlinks and fixed generated directories. HEAD metadata is untrusted and the referenced Git object is not validated. It makes no model call, application-initiated network request, checkout, hook, lock, content comparison, or source edit, and the UI does not expose the absolute local path. The connected card states Working tree status not inspected for safety rather than claiming clean or dirty. Linked worktrees and submodule checkouts are intentionally unsupported in this release; choose the primary checkout.

What works today

Available now Intentionally not connected
Native local-folder picker GitHub URL cloning
Read-only observation of HEAD/ref text and a bounded file manifest Semantic indexing for a desktop-selected repository
Explicit guided demo with typed events and cited fixture evidence Task execution against a desktop-selected repository
System, Dark, and Light themes Bundled model runtime or model weights
100%, 110%, and 125% text size; density and reduced-motion controls Autonomous mutation or default retry
Read-only sealed research archive Any claim that NOT_RUN, timeout, or unknown means PASS

Run remains disabled for a selected repository until the real task/index bridge is connected. Desk does not replay sample activity and present it as work performed on your code.

A workspace, not a chat box

Guided demo workspace showing repository files, agent flow, cited evidence, and a banner stating that no repository was accessed and zero model calls were made.

The optional guided demo is a deterministic product tour:

  • Evidence stays cited. File, range, confidence, source hash, and trust remain visible.
  • Activity stays typed. The UI projects replayable runtime events instead of guessing state from model prose.
  • Verification stays authoritative. Tests, type checks, policy gates, approval, and rollback control the result.

Every demo surface is labelled DEMO DATA · NO REPOSITORY ACCESSED · ZERO MODEL CALLS. Exit the demo at any time; fixture state never becomes user-repository state.

Designed for visual comfort

Appearance settings for system, dark, and light themes, text scaling, workspace density, and reduced motion.

The interface uses a 14px UI base, a 12px compact floor, readable code/report text, semantic dark and light palettes, strong keyboard focus, responsive panels, and live reduced-motion behavior. Preferences are stored only on the local computer.

Safety by construction

flowchart LR
  A[Local Git repository] --> B[Bounded read-only evidence]
  B --> C[Typed task contract]
  C --> D[Bounded proposal]
  D --> E{Deterministic gates}
  E -->|Verified + exact approval| F[Reversible worktree action]
  E -->|Failed / unknown / denied| G[Reject or report only]
Loading
  • Repository text, issues, comments, logs, and tool output are untrusted data—not instructions.
  • One shared local-model boundary sits behind bounded retrieval and a permissioned tool layer.
  • Writes, when a future capability is admitted, must use an isolated worktree and exact approval.
  • NOT_RUN, timeout, cancellation, and unknown never render as PASS.
  • Current durable product state: KEEP_MUTATION_DISABLED.

See the product architecture and current capability status.

Install on Windows

Download the v0.2.0 x64 MSI or NSIS installer from the public GitHub Release. The release includes a SHA256SUMS file; verify a download in PowerShell with:

Get-FileHash -Algorithm SHA256 ".\Desk.Code.Agent_0.2.0_x64_en-US.msi"
Get-FileHash -Algorithm SHA256 ".\Desk.Code.Agent_0.2.0_x64-setup.exe"

The installers are currently unsigned because trusted signing credentials are deferred. Windows may show its normal publisher or reputation warning. The desktop requires WebView2; when it is absent, Tauri's default installer mode may download Microsoft's WebView2 bootstrapper once. Repository inspection does not require Git. Node, Rust, Visual Studio, model weights, and a model server are not bundled.

The current source and screenshots correspond to v0.2.0 — Repository onboarding and visual comfort. The project preserves v0.1.0 as a historical previous-interface release.

Research evidence

Read-only research archive showing evidence-gated capability states and sealed verification results.

Research is presented as a separate, read-only archive. Syntax-valid output is not described as successful repair, denominators remain attached to their original task populations, and disabled capabilities stay disabled. The final formation-recovery result is preserved as RESEARCH_COMPLETE_INCONCLUSIVE_FORMATION_RESULT.

Develop locally

Requirements: Node.js 24.x, npm, Rust, and the Tauri platform toolchain.

npm ci
npm run dev
npm run check
npm run tauri:build -- --bundles msi,nsis --no-sign

The development UI is served at http://127.0.0.1:4173. Model/runtime setup is separate and normal startup makes no automatic model call.

Documentation

Known limitations

  • Task execution and semantic indexing are not yet connected to a repository selected in the desktop app.
  • GitHub URL cloning is unavailable; clone locally first.
  • Autonomous mutation and default retry remain disabled.
  • The model runtime and weights are configured separately and are not bundled.
  • Windows packages are unsigned; trusted signing is future hardening.
  • Narrator spoken-output validation is deferred; no accessibility certification is claimed.

License

Desk Code Agent is licensed under the Apache License 2.0. Distributed dependency terms and pinned notices are recorded in THIRD_PARTY_NOTICES.md.

About

Local-first, verification-first software engineering workbench for small language models.

Topics

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages