No user-submitted related servers found.
Scored across 43 tools
The verbs carry clear semantics — calc_* computes amounts, judge_* makes statutory determinations, count_* tallies homes, search_*/get_* retrieves law — so nearly every tool has a distinct purpose. Two mild overlaps remain: judge_156_3_special vs judge_156_3_from_portfolio (wrapper described as preferred, but an agent could still pick the manual one), and format_consultation_report vs format_consultation_output (report reuses output).
Uniform snake_case with a consistent verb_noun scheme and verbs that match each tool's role (calc_transfer_tax, judge_exemption_requirements, count_heavy_homes). Minor deviations: statute-number names are abbreviated inconsistently (judge_155_special vs judge_156_3_special / judge_156_3_from_portfolio) and some names are very long, but the pattern is still predictable.
43 tools is heavy by any standard, but the surface spans six distinct taxes (transfer, acquisition, property, comprehensive holding, gift, inheritance) plus rental income, reconstruction levy and relief screening, so each tool maps to a genuine statutory subdomain rather than redundancy. Borderline-heavy: agents must chain many judge_* -> calc_* -> format_* steps, which increases selection burden.
Coverage is unusually thorough for the domain — lifecycle judgments (household, home counting, adjusted-area, exemption requirements), all major calculation engines, relief screening/catalog, ruling search and report formatting are present. Remaining gaps (e.g. §156의3 clauses ④-⑧, 이월과세, 저가양수 증여의제, 금융재산공제) are explicitly flagged in descriptions so agents can route around them.