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

File yaml_to_lean.py

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

Source from the content-addressed store, hash-verified

1#!/usr/bin/env python3
2"""End-to-end YAML → Lean 4 structural verification generator.
3
4Usage:

Callers

nothing calls this directly

Calls 2

resolveMethod · 0.80
mainFunction · 0.70

Tested by

no test coverage detected