Prototype foundation for an AI-native IDE built around sovereign identity, capability-bound execution, and signed provenance.
Most AI IDEs compete on editor ergonomics and model integration. This prototype starts from a different premise:
- Every human, agent, plugin, and organization has a DID-like identity.
- Every action request declares explicit capabilities.
- Every risky action can be routed through policy and human approval.
- Every request, approval, denial, and execution is recorded as a signed event.
That is the wedge against editors that treat AI as an assistant bolted onto a text buffer.
This repo now has both the protocol core and a desktop shell:
src/domain.rs: identity, capability, policy, and signed ledger primitivessrc/app.rs: runtime state, structured snapshots, and demo action orchestrationsrc/crypto.rs: deterministic local signing helper for event provenancesrc/main.rs: CLI entrypoint that prints the trust graph and demo session ledgersrc-tauri/src/main.rs: Tauri backend exposing runtime snapshot and action commandsui/index.html: desktop UI for trust graph, policy, action contracts, and ledger
The useful differentiation is not "chat in an editor." It is a trustworthy execution model:
- Agents can prove who they are.
- Organizations can define what they may do.
- Developers can approve specific risky actions.
- Teams can carry signed provenance into code review, CI, and deployment.
CLI:
cargo runDesktop shell:
npm run desktopLinux desktop prerequisites for Tauri/WebKitGTK:
sudo apt-get install -y libgtk-3-dev libwebkit2gtk-4.1-devThe current environment compiled the shared Rust core successfully, but the Tauri build stopped at the missing gdk-3.0 system package boundary.
Natural next layers on top of this:
- Replace the demo signer with real DID methods and key management.
- Replace the demo action buttons with actual file, patch, terminal, and model adapters.
- Attach signed ledger entries to patches, reviews, and terminal executions.
- Add portable trust graph sync for users, teams, and agent packages.