fix: correct 5 non-3-level tool names in server-card.json (Smithery quality 34→35)

Smithery "Tool names" 5pt was scoring 0/5 because 5 tools had 2-level
names: crypto.global, finnhub.company_profile, geo.reverse_geocode,
github.user, usrealestate.property_detail.

Root cause: The regex r"toolId:.*?mcpName:" with re.DOTALL used in the
server-card regeneration script fails when a tool's prefetch rule
(elsewhere in tool-definitions.ts) contains an earlier toolId: match.
The non-greedy .*? swallows the wrong content.

Fix: Manually corrected the 5 names using the proper mcpName values from
tool-definitions.ts. Also updated both smithery and onboard-provider
skill SKILL.md files to use a backward-search parser instead.

Also added flywheel rule to prevent recurrence.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: APIbase

static/.well-known/mcp/server-card.json

@@ -16849,7 +16849,7 @@
       }
     },
     {
-      "name": "crypto.global",
+      "name": "crypto.global.stats",
       "title": "Crypto Global Stats",
       "description": "Get global cryptocurrency market statistics",
       "inputSchema": {
@@ -16869,7 +16869,7 @@
       }
     },
     {
-      "name": "finnhub.company_profile",
+      "name": "stocks.company.profile",
       "title": "Company Profile",
       "description": "Company profile by ticker \u2014 name, exchange, industry, country, market cap, shares outstanding, IPO date, logo, website (Finnhub)",
       "inputSchema": {
@@ -16894,7 +16894,7 @@
       }
     },
     {
-      "name": "geo.reverse_geocode",
+      "name": "geo.address.reverse",
       "title": "Reverse Geocode (Geoapify)",
       "description": "Convert geographic coordinates (lat/lon) to a structured address \u2014 street, city, country, postal code (Geoapify/OSM)",
       "inputSchema": {
@@ -16932,7 +16932,7 @@
       }
     },
     {
-      "name": "github.user",
+      "name": "developer.github.user",
       "title": "GitHub User Profile",
       "description": "Get a GitHub user profile \u2014 name, bio, public repos count, followers, company, location, join date. Works for users and organizations (GitHub API)",
       "inputSchema": {
@@ -16955,7 +16955,7 @@
       }
     },
     {
-      "name": "usrealestate.property_detail",
+      "name": "realestate.property.details",
       "title": "US Property Details",
       "description": "Detailed property information by property ID \u2014 beds, baths, sqft, year built, lot size, tax assessment, HOA, days on market, photos, last sale price/date. Use for_sale search first to get property_id (RapidAPI / Realtor.com data)",
       "inputSchema": {