docs: sync with current server, refactor, and trace format#48

RaoulSchaffranek merged 1 commit into

mainruntimeverification/komet-node:mainfrom

docs/sync-with-projectruntimeverification/komet-node:docs/sync-with-projectCopy head branch name to clipboard