GitHub repository: KojimaNaoyuki/rbs_goose
Description: RBS type inferrer with LLM