Formosa MCP

A community MCP server providing AI agents with access to Taiwan-specific data including THSR/TRA timetables, TWSE/TPEx stock quotes, e-invoice lottery results, garbage collection schedules, and planned utility outages.

Endpoint and access

No sign-in to connect and list tools. Individual tools may still need a vendor account, credentials, or permissions; check the documented prerequisites.

Community listingStreamable HTTPNo sign-inEndpoint checked 2026-11-06Published by ycsmiley

MCP endpoint (Streamable HTTP)

https://formosa-mcp.ycsmiley.workers.dev/mcp

Vendor documentation

What its tools do

10 tools, grouped by the hints the server advertises. Hints are self-declared, not verified behavior.

Not annotated (10)

invoice_get_winning_numbers
invoice_check
stock_quote
stock_market_summary
stock_dividends
garbage_schedule
outage_schedule
thsr_timetable
tra_timetable
tra_live

10 of 10 have a description · 0 of 10 declare behavior hints · 2 of 9 with parameters document them all

Checks and signals

Each line is separate evidence, not a trust score.

Passed Endpoint answered the live check · Nov 6, 2026, 11:19 PM UTC
Availability 1 of 1 checks passed in 30 days

What you can do with it

Check Taiwan e-invoice lottery winning numbers
Query TWSE/TPEx stock quotes and market summaries
Find garbage collection schedules by district
Check planned water or power outage schedules

Source and maintenance

Community listingRegistry 0.2.0

mcp-registry: io.github.ycsmiley/formosa-mcp@0.2.0 Source repository Project website

Maintenance checked: Nov 6, 2026, 11:15 PM UTC

Protocol and capabilities

Server: formosa-mcp 0.2.0
MCP protocol negotiated in check: 2025-11-25
Tools: 10 advertised
Resources: Not advertised
Resource templates: Not advertised
Prompts: Not advertised

Server-advertised capabilities

{
  "tools": {
    "listChanged": true
  }
}

Tools

10 advertised

invoice_get_winning_numbers

Advertised by the server during the last successful anonymous check.

查詢統一發票中獎號碼與領獎期間。Get Taiwan invoice winning numbers; omit period for the latest draw.

invoice_get_winning_numbers input schema

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "properties": {
    "period": {
      "type": "string"
    }
  }
}

invoice_check

Advertised by the server during the last successful anonymous check.

統一發票對獎；未指定期別時檢查最新一期與仍可領獎的前一期。Check a Taiwan invoice number; 3–7 digits only check sixth prizes.

invoice_check input schema

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "required": [
    "number"
  ],
  "properties": {
    "number": {
      "type": "string"
    },
    "period": {
      "type": "string"
    }
  }
}

stock_quote

Advertised by the server during the last successful anonymous check.

以股票代號或名稱查詢上市／上櫃盤後行情、本益比與殖利率，非即時。Taiwan TWSE/TPEx end-of-day quote by code or name, not real-time.

stock_quote input schema

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "required": [
    "query"
  ],
  "properties": {
    "query": {
      "type": "string"
    }
  }
}

stock_market_summary

Advertised by the server during the last successful anonymous check.

查詢上市加權指數、上櫃指數收盤漲跌、成交金額與融資券餘額（張）。兩市場各有資料日期，盤後資料，非即時；無需參數。Taiwan market closing summary, separately dated TWSE and TPEx; not real-time.

stock_market_summary input schema

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "properties": {}
}

stock_dividends

Advertised by the server during the last successful anonymous check.

查詢上市／上櫃近期除權息日程，可指定股票代號或名稱。Upcoming Taiwan TWSE/TPEx ex-dividend and ex-right dates; optional code or name.

stock_dividends input schema

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "properties": {
    "query": {
      "type": "string"
    }
  }
}

garbage_schedule

Advertised by the server during the last successful anonymous check.

查詢新北市、臺北市、臺中市垃圾車定點收運時刻。

garbage_schedule input schema

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "required": [
    "city"
  ],
  "properties": {
    "city": {
      "type": "string",
      "maxLength": 30,
      "minLength": 1,
      "description": "城市名稱"
    },
    "time": {
      "type": "string",
      "maxLength": 10,
      "description": "HH:MM，只顯示此時間及之後的收運點"
    },
    "keyword": {
      "type": "string",
      "maxLength": 100,
      "description": "里、路名或地點"
    },
    "weekday": {
      "type": "string",
      "maxLength": 10,
      "description": "今天、明天或週一至週日"
    },
    "district": {
      "type": "string",
      "maxLength": 30,
      "description": "行政區；關鍵字包含行政區時可省略"
    }
  }
}

outage_schedule

Advertised by the server during the last successful anonymous check.

查詢計畫性停水、停電公告；緊急搶修、事故、颱風造成的停水停電不會事先公告。Planned water/power outages only.

outage_schedule input schema

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "required": [
    "city"
  ],
  "properties": {
    "city": {
      "type": "string",
      "maxLength": 30,
      "minLength": 1,
      "description": "縣市名稱"
    },
    "type": {
      "enum": [
        "water",
        "power",
        "all"
      ],
      "type": "string",
      "default": "all",
      "description": "停水、停電或全部"
    },
    "keyword": {
      "type": "string",
      "maxLength": 100,
      "description": "路名或地區關鍵字"
    },
    "district": {
      "type": "string",
      "maxLength": 30,
      "description": "行政區名稱"
    },
    "end_date": {
      "type": "string",
      "maxLength": 10,
      "description": "迄日 YYYY-MM-DD，預設今天加六天；最多 31 天"
    },
    "start_date": {
      "type": "string",
      "maxLength": 10,
      "description": "起日 YYYY-MM-DD，預設臺北時間今天"
    }
  }
}

thsr_timetable

Advertised by the server during the last successful anonymous check.

查高鐵某日起迄站時刻；站名或代碼，日期預設臺北今天，時間 HH:mm；24:00–29:59 表示營運日隔日凌晨。THSR OD timetable; optional date and departure time.

thsr_timetable input schema

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "required": [
    "origin",
    "destination"
  ],
  "properties": {
    "date": {
      "type": "string"
    },
    "time": {
      "type": "string",
      "description": "時間 HH:mm；24:00–29:59 表示營運日隔日凌晨"
    },
    "origin": {
      "type": "string",
      "maxLength": 50
    },
    "destination": {
      "type": "string",
      "maxLength": 50
    }
  }
}

tra_timetable

Advertised by the server during the last successful anonymous check.

查臺鐵某日起迄站時刻與車種；站名或代碼，日期預設臺北今天，時間 HH:mm；24:00–29:59 表示營運日隔日凌晨。TRA OD timetable with train types.

tra_timetable input schema

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "required": [
    "origin",
    "destination"
  ],
  "properties": {
    "date": {
      "type": "string"
    },
    "time": {
      "type": "string",
      "description": "時間 HH:mm；24:00–29:59 表示營運日隔日凌晨"
    },
    "origin": {
      "type": "string",
      "maxLength": 50
    },
    "destination": {
      "type": "string",
      "maxLength": 50
    }
  }
}

tra_live

Advertised by the server during the last successful anonymous check.

查臺鐵車次目前位置與誤點，或車站即時看板；train_no、station 恰填一項。TRA live train position/delay or station board; provide exactly one argument.

tra_live input schema

{
  "type": "object",
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "properties": {
    "station": {
      "type": "string",
      "maxLength": 50
    },
    "train_no": {
      "type": "string"
    }
  }
}

Prompts

Not advertised

No prompt definitions available.

Resources

Not advertised

No resource definitions available.

90-day uptime

A lightweight connection check about every six hours, sampled on hosts with many listings. It shows the server answered, not that its tools work.

Too few checks for a percentage yet (1 of 1 answered).

2026-11-07: 1 of 1 checks answered

30-day availability

Aggregated from read-only remote checks; this is not a tool-execution or security guarantee.

Successful checks: 1 of 1 (100%)
Average latency: 593 ms
95th percentile latency: 593 ms

Maintenance history

Public check and source-refresh events. Editorial and ownership records remain private.

Nov 6, 2026, 11:19 PM UTC · probe · passed · 593 ms · metadata changed · 10 tool(s)

Connect from your client

Each snippet registers the same endpoint; pick the client you use.

This server is operated by the named third party. Listing and endpoint checks are not an endorsement or a security audit. Review the operator's permissions, terms, and data handling before connecting. How listings are checked and corrected.

Claude Code

Run this once in a terminal. It registers the remote server. Use --scope project to write .mcp.json for the repo.

Claude Code configuration

claude mcp add --transport http formosa-mcp-workers https://formosa-mcp.ycsmiley.workers.dev/mcp

Codex

Run this once. Codex stores MCP servers in ~/.codex/config.toml (or .codex/config.toml in a trusted project).

Codex configuration

codex mcp add formosa-mcp-workers --url https://formosa-mcp.ycsmiley.workers.dev/mcp

Cursor

Merge this server into .cursor/mcp.json in your project, then enable formosa-mcp-workers in your MCP settings.

Cursor configuration

{
  "mcpServers": {
    "formosa-mcp-workers": {
      "url": "https://formosa-mcp.ycsmiley.workers.dev/mcp"
    }
  }
}

Cline

Merge this into cline_mcp_settings.json (Cline → MCP Servers → Configure).

Cline configuration

{
  "mcpServers": {
    "formosa-mcp-workers": {
      "type": "streamableHttp",
      "url": "https://formosa-mcp.ycsmiley.workers.dev/mcp",
      "disabled": false
    }
  }
}

VS Code

Merge this server into .vscode/mcp.json. Use MCP: List Servers to start formosa-mcp-workers and inspect its tools.

VS Code configuration

{
  "servers": {
    "formosa-mcp-workers": {
      "type": "http",
      "url": "https://formosa-mcp.ycsmiley.workers.dev/mcp"
    }
  }
}

Gemini CLI

Run this once. It writes .gemini/settings.json in the current project; pass --scope user for ~/.gemini/settings.json.

Gemini CLI configuration

gemini mcp add --transport http formosa-mcp-workers https://formosa-mcp.ycsmiley.workers.dev/mcp

Claude Desktop

Open Claude Settings > Connectors > Add custom connector, enter this server URL and enable it for the conversation. This is a manual remote-connector handoff, not a desktop JSON configuration.

Claude Desktop configuration

https://formosa-mcp.ycsmiley.workers.dev/mcp

Windsurf

Merge this into ~/.codeium/windsurf/mcp_config.json, then refresh MCP in Cascade. Windsurf remote servers use serverUrl, not url.

Windsurf configuration

{
  "mcpServers": {
    "formosa-mcp-workers": {
      "serverUrl": "https://formosa-mcp.ycsmiley.workers.dev/mcp"
    }
  }
}

Let your agent find its tools

Find servers like Formosa MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.

Connect Koskamo Explore workflows