SOBA Agent v0.6.17 · local-first engineering agent

SOBA is a local-first engineering agent for teams that want more than code edits. It remembers the project, works inside bounded tool loops, verifies outcomes, and turns work into evidence.

01Proof receipts
02Memory provenance
03Permission receipts
04Skill bench
OpenResponsesMCPMemorytrust layer
01
Proof
Claim-mapped evidence
02
Memory
Provenance + staleness
03
MCP
stdio + remote tools
04
Local
Bounded permissions

01Execution model

Local control, visible proof, repeatable habits.

SOBA keeps memory, tools, MCP, skills, sessions, capsules, and proof receipts in the same local workflow.

inputtask · files · session · memory receipts · MCP

Read

Looks at code, docs, session state, memory receipts, and MCP context first.

Do

Edits through bounded tools, skills, shell checks, and MCP integrations.

Prove

Maps checks, claims, risks, and permissions into a visible proof trail.

outputpatches · checks · claims · risks · proof receipts

02SOBA / DIFFERENCE

What makes SOBA different

01

Evidence-first finishes

Proof receipts map changed files, checks, claims, risks, and permissions to the final answer.

02

Session time machine

Continue, rewind, branch, and inspect past turns without losing the work trail.

03

Portable handoff capsules

Capsules keep goals, decisions, files, risks, and next steps compact enough to resume elsewhere.

04

Memory with provenance

Project facts can carry source files, verification time, confidence, and stale-if-changed rules.

05

MCP without losing control

Connect stdio or Streamable HTTP servers while SOBA keeps permissions and tool results visible.

06

Permission receipts

Risky operations show scope, alternatives, and the decision that allowed or denied them.

07

Skill evolution lab

Markdown skills have evals, bench, trace, revision history, promotion, and rollback.

08

Three languages

English, Russian, and Chinese UI/docs, with release messaging kept aligned.

03TUI preview

A terminal surface for verifiable work

Use one-shot prompts for small tasks or the TUI for long work. Slash commands, model switching, proof summaries, memory, permissions, and MCP status stay visible.