MCPcopy Create free account
hub / github.com/ScaleML/AgentSPEX / build_reads

Function build_reads

verifier/AgentVerifier/WorkflowToLean.py:419–420  ·  view source on GitHub ↗
(vs: list[str])

Source from the content-addressed store, hash-verified

417 return type_ctx.get(v, "TString")
418
419 def build_reads(vs: list[str]) -> list[TypedVar]:
420 return [TypedVar(v, resolve_type(v)) for v in vs]
421
422 def add_seq(f: Optional[int], t: int):
423 if f is not None:

Callers 2

parse_body_stepsFunction · 0.85
parse_task_jsonFunction · 0.85

Calls 2

TypedVarClass · 0.85
resolve_typeFunction · 0.85

Tested by

no test coverage detected