[archimedes]: Minor changes to make the current version of archimedes mergeable
[archimedes]: Fixed minor typo in archimedes server