Server.shape: def of ezmcp@0.1.0.0 Import: import ezmcp@0.1.0.0/src/server.bend as Server Lines 436-440 of ezmcp@0.1.0.0/src/server.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/server.bend&start_line=436&end_line=440 import Base import emerging-ezjson@1.2.0.0/src/value.bend as Value # a tool's result as revision `rev` reads it: 2025-03-26 has no # structuredContent (2025-06-18/server/tools#structured-content), so it is # left out; any later revision gets the result as the runner answered it def shape(rev: String, result: Value.Json) -> Value.Json: shape.of(result, String.eq(rev, oldest())) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=oldest https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/server.bend&name=shape.of