MCPcopy Create free account
hub / github.com/TIGER-AI-Lab/TheoremExplainAgent / evaluate.py

File evaluate.py

evaluate.py:None–None  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1import os
2import json
3import argparse
4import tempfile

Callers

nothing calls this directly

Calls 1

mainFunction · 0.70

Tested by

no test coverage detected