Skip to content

Releases: kavachlabs/kavach

v0.1.5

Choose a tag to compare

@github-actions github-actions released this 27 Oct 16:16
aef58d3

What's Changed

  • bench: install Kavach v0.1.4; feature graders save the traffic and its replays by @eulerkochy in #88
  • skills, MCP: describe the problem Kavach solves, and measure when agents pick it by @eulerkochy in #89
  • skills, plugin: version 0.1.5, so installed plugins pick up the new descriptions by @eulerkochy in #90

Full Changelog: v0.1.4...v0.1.5

v0.1.4

Choose a tag to compare

@github-actions github-actions released this 26 Oct 00:18
9f340eb

What's Changed

  • bench: install Kavach v0.1.3 from the release, and grade around the agent's own Go tests by @eulerkochy in #76
  • trial: keep sessions across a restart, without their keys by @eulerkochy in #77
  • trial: publish runs to the benchmark site, and keep them with a showcase by @eulerkochy in #78
  • trial: retry attempts that error or stall, and queue a retry while the run goes on by @eulerkochy in #79
  • trial: kavach-trial retry, an operator's retry of invite runs over a unix socket by @eulerkochy in #80
  • trial: generated invite codes start with kv-, not yc- by @eulerkochy in #81
  • kavach mcp: report the CLI's release version by @eulerkochy in #82
  • agent, console: a stopped live copy no longer ends a working attempt; queued retries show as queued by @eulerkochy in #83
  • agent: a follow given up is not waited for by @eulerkochy in #84
  • bench export: copy each attempt's event log, so a published run's Events tab loads by @eulerkochy in #85
  • kavach contract check --save-replays; console replays a feature run's traffic by @eulerkochy in #87

Full Changelog: v0.1.3...v0.1.4

v0.1.3

Choose a tag to compare

@github-actions github-actions released this 20 Oct 04:09
140d9ac

What's Changed

  • bench console: public trial mode (try.kavachlabs.dev) by @eulerkochy in #61
  • bench images: keep the image's PATH in login shells by @eulerkochy in #65
  • bench agent: follow the event log through Daytona and Modal streams by @eulerkochy in #66
  • bench trial: no Turnstile check on invited runs; show the widget's errors by @eulerkochy in #67
  • console: show tool calls that are still running as steps by @eulerkochy in #68
  • bench: size every task's sandboxes, and say why a patch is missing by @eulerkochy in #69
  • console trial: enter API keys from the settings dialog by @eulerkochy in #70
  • bench trial: let an invite session retry the attempts of its runs by @eulerkochy in #71
  • console: an Events tab with the attempt's OpenCode event log by @eulerkochy in #72
  • bench trial: task add takes every arm of a task by @eulerkochy in #73
  • trial docs: invite sessions can retry their attempts by @eulerkochy in #74
  • replay, cmd/kavach: add time-travel replay (--until, --probe, --hold) and kavach_time_travel by @eulerkochy in #75

Full Changelog: v0.1.2...v0.1.3

v0.1.2

Choose a tag to compare

@github-actions github-actions released this 18 Oct 17:12
b969f80

What's Changed

  • feat(skills): add .kavach/plan/state-map.md and invariants.md workflow by @eulerkochy in #64

Full Changelog: v0.1.1...v0.1.2

v0.1.1

Choose a tag to compare

@github-actions github-actions released this 18 Oct 13:54

What's Changed

  • skills: add Kavach agent skills suite and bundle in single-command installer by @eulerkochy in #63

Full Changelog: v0.1.0...v0.1.1

v0.1.0

Choose a tag to compare

@github-actions github-actions released this 18 Oct 04:01

What's Changed

  • Add ten planted bugs benchmark suite for fix verification by @eulerkochy in #1
  • Move the Go SDK to sdk/go and the replay engine to replay by @eulerkochy in #2
  • Record the Go SDK through kavach-recorder over a shared-memory ring by @eulerkochy in #3
  • Record over the shared-memory ring in the Rust, C/C++, Java, Haskell and Julia SDKs by @eulerkochy in #4
  • Map the ring's data area twice; back it with memfd on Linux by @eulerkochy in #5
  • Seal recorder segments in the background with a standby segment by @eulerkochy in #6
  • Wait for the recorder's ready before the first step by @eulerkochy in #7
  • Wait for the recorder's ready in every SDK by @eulerkochy in #8
  • docs: add INTEGRATING.md and make the docs language-neutral by @eulerkochy in #9
  • examples: split the ledger demo into sdk/ and protocol/ by @eulerkochy in #10
  • docs: say in the repository guide that the protocol is the only requirement by @eulerkochy in #11
  • docs: SDK is optional in SPEC, track guide source, refresh guide by @eulerkochy in #13
  • ci: run every SDK's conformance suites by @eulerkochy in #12
  • test: assert ring conformance runs used the ring by @eulerkochy in #14
  • bench: add the agent-benchmark problem-sourcing ledger by @eulerkochy in #15
  • bench: add the redis-10068 pilot task (A1) by @eulerkochy in #16
  • bench: Harbor-based agent benchmark with the kavach bench console by @eulerkochy in #18
  • bench: run agents on tasks in Docker by @eulerkochy in #17
  • bench: run the consoles' OpenCode agent live, with the key outside by @eulerkochy in #19
  • bench: make the OpenCode live view work in a browser by @eulerkochy in #20
  • bench: pause and resume runs from the console by @eulerkochy in #21
  • kavach contract and /kavach-implement: contract-first feature work by @eulerkochy in #33
  • bench: give redis-10068 a 45-minute limit and a focused test command by @eulerkochy in #22
  • bench: add feature task go-genai-streamed-function-args (track B5) by @eulerkochy in #23
  • bench: add task redis-11734 (BITPOS on a missing key skips argument checks) by @eulerkochy in #24
  • bench: feature task httpx-deterministic-cookie-store (track B) by @eulerkochy in #25
  • bench: add task valkey-1499 (TOUCH in a script under no-touch mode) by @eulerkochy in #26
  • bench: track B task updo-policy-alerting (DeepSWE, Go) by @eulerkochy in #27
  • bench: add feature task kombu-single-active-consumer-priority by @eulerkochy in #28
  • bench: add axum-1934 task (track A) by @eulerkochy in #29
  • bench: add task redis-13115 (Lua number args as 2e+8) by @eulerkochy in #30
  • bench: add the redis-10764 task (A5, BZMPOP blocks on non-key arguments) by @eulerkochy in #31
  • bench: add track B task kombu-virtual-queue-dead-lettering by @eulerkochy in #32
  • bench: add locked contracts and 4 arms for Track B feature tasks by @eulerkochy in #34
  • bench/console: support workflow and kavach-implement arms by @eulerkochy in #35
  • replay: add cross-position and pairwise field/element variants by @eulerkochy in #36
  • bench/agent: enterprise console UI with Antigravity sidebars, settings & ripgrep in containers by @eulerkochy in #37
  • bench console: tabbed settings modal and task environment endpoint by @eulerkochy in #38
  • bench console: invariants view and variant replay by @eulerkochy in #40
  • replay: regression variants in kavach diff by @eulerkochy in #41
  • bench console: invariant sources in Monaco, real files from Docker by @eulerkochy in #42
  • bench: rebuild patched deps/ libraries when grading Redis and Valkey by @eulerkochy in #43
  • bench console: patch live updates in place, smooth toggles, status marks by @eulerkochy in #44
  • bench console: kavach CLI steps, verdict disagreement, provider errors, lab marks by @eulerkochy in #45
  • bench console: Kavach replays the console's own attempt reader by @eulerkochy in #46
  • bench console: Kavach fixtures of the steps reader's bugs by @eulerkochy in #47
  • bench console: light theme, compare kanban, resume in place, run names, invariant definitions, output-limit errors by @eulerkochy in #48
  • bench console: retry limit for runs, and retry a failed attempt by hand by @eulerkochy in #49
  • bench console: sort the model picker by price or context by @eulerkochy in #50
  • bench console: headline, probe strip, incident replay, Kavach trail, steps scrubber by @eulerkochy in #51
  • bench console: sidebar keeps its panes and folds; tasks grouped with their source by @eulerkochy in #52
  • bench console: the panes and status poll as a Kavach service, with fixtures of their bugs by @eulerkochy in #53
  • bench console: bench export writes a read-only copy for a static host by @eulerkochy in #54
  • bench: run attempts in BYOK cloud sandboxes (Daytona, Modal, Vercel) by @eulerkochy in #55
  • bench: delete make.log once make succeeds, so later stages can write it by @eulerkochy in #56
  • docs: add theme-aware motion walkthrough of the ledger demo to README by @eulerkochy in #58
  • bench-images: build only when run by hand, not on every push to main by @eulerkochy in #59
  • bench console: back up finished runs to a Cloudflare R2 bucket by @eulerkochy in #57
  • bench export: write the invariants of every Kavach-arm attempt by @eulerkochy in #60
  • release: multi-arch binary releases, zero-Go installer, and GitHub Action by @eulerkochy in #62

New Contributors

Full Changelog: https://github.com/kavachlabs/kavach/commits/v0.1.0