Skip to content

v0.1.18

Choose a tag to compare

View all tags
@github-actions github-actions released this 06 Oct 13:48
· 2 commits to main since this release
v0.1.18
b61faa4
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Add real-agent demo GIF to README by @xtofalex in #22
  • Create a GitHub Release for every published tag by @xtofalex in #23
  • Lead README with the CVA6 benchmark; prepare MCP Registry listing by @xtofalex in #24
  • Move repository to the keplertech GitHub org by @xtofalex in #25
  • Prepare naja-scope 0.1.18 with najaeda 0.7.27 by @xtofalex in #26

Full Changelog: v0.1.17...v0.1.18

Contributors

xtofalex
Assets 4
Loading