Files
whetstone_DSL/tools/mcp/spec_planning_hardener.py