Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/ScaleML/AgentSPEX
/ alloc_id
Function
alloc_id
verifier/AgentVerifier/WorkflowToLean.py:410–414 ·
view source on GitHub ↗
()
Source
from the content-addressed store, hash-verified
408
loop_patches: list[dict] = []
409
410
def
alloc_id() -> int:
411
nonlocal nid
412
cur = nid
413
nid += 1
414
return
cur
415
416
def
resolve_type(v: str) -> str:
417
return
type_ctx.get(v,
"TString"
)
Callers
2
parse_body_steps
Function · 0.85
parse_task_json
Function · 0.85
Calls
no outgoing calls
Tested by
no test coverage detected