v0.1.20

What's Changed

• Prepare 0.1.20 with najaeda 0.7.30 and storage summaries by @xtofalex in #28

Full Changelog: v0.1.19...v0.1.20

v0.1.19

What's Changed

• Prepare naja-scope 0.1.19 with najaeda 0.7.29 by @xtofalex in #27

Full Changelog: v0.1.18...v0.1.19

v0.1.18

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

v0.1.17

What's Changed

• use naja-schematic by @xtofalex in #21

Full Changelog: v0.1.16...v0.1.17