test: add live API tests for LeanTranslator - #139

Merged

MaleicAcid merged 2 commits into

zh-plus:masterfrom

iautolab:test/lean-translator-live-api

May 15, 2026

GitHub Advanced Security / CodeQL succeeded May 15, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.