MCPcopy Create free account
hub / github.com/ScaleML/AgentSPEX / WorkflowToLean.py

File WorkflowToLean.py

verifier/AgentVerifier/WorkflowToLean.py:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1"""
2Parsed Task JSON → Lean WorkflowGraph Code Generator.
3
4Pipeline role:

Callers

nothing calls this directly

Calls 6

parse_task_jsonFunction · 0.85
generate_leanFunction · 0.85
load_jsonMethod · 0.80
save_jsonMethod · 0.80
writeMethod · 0.80
_load_env_fileFunction · 0.70

Tested by

no test coverage detected