[agda-mcp] get_goal/fill_hole: typecheck in place so library-embedded modules resolve (#66)#67

williamdemeo merged 5 commits into

mainformalverification/agda-native-air:mainfrom

claude/66-proof-state-in-placeformalverification/agda-native-air:claude/66-proof-state-in-placeCopy head branch name to clipboard