Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
22,000+ Seoul public facility data for tourists: restrooms, pharmacies, WiFi, AEDs, and subway.
These three are never merged into one score: opinions, measurements and popularity are different things.
We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.
Pick the AI app you use, then copy the settings.
You need
Which app do you use?
Pick your app above. We remember it, so next time the button says “Install in …”.
Open Claude Desktop → Settings → Developer → Edit Config, and paste this into claude_desktop_config.json
{
"mcpServers": {
"seoul-essentials": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"ghcr.io/do-droid/seoul-essentials:0.2.0"
]
}
}
}Run this in your terminal
claude mcp add seoul-essentials -- docker run -i --rm ghcr.io/do-droid/seoul-essentials:0.2.0Paste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"seoul-essentials": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"ghcr.io/do-droid/seoul-essentials:0.2.0"
]
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
Paste into .vscode/mcp.json in your project
{
"servers": {
"seoul-essentials": {
"type": "stdio",
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"ghcr.io/do-droid/seoul-essentials:0.2.0"
]
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
This one runs on your computer, and ChatGPT can only connect to servers on the internet. Pick another app.
Your choice stays on this device in a cookie; no account needed.
These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.
Runs on your computer; the tool list appears in your AI app after you install it.
We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 7, 2026
The registry name was verified with the GitHub account do-droid, which owns the repo
We have not read this repo from GitHub yet
We have not read this repo from GitHub yet
This one runs on your computer; there is no internet endpoint
Runs on your computer and uses local settings instead
Runs on your computer; we can only read tool lists from internet endpoints
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
It passed 1 of 1 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.
The registry does not list a required key, though some servers ask you to sign in on first use.
It runs on your computer. Your AI app starts it when needed, and data does not pass through the maker’s servers (unless it calls an online service itself).
The GitHub repo last changed –, and the latest version (0.2.0) reached the registry 8 months ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. You also need Docker on your computer.
In the same category: Spec Driven Development, Remote Desktop Commander, FlyDocs
Servers in the same category from other makers, sorted by stars.
Reading a card:★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Spec-driven development workflow: your agent works issues, sessions and the status lifecycle.
Copied from the maker’s repo as written. PopNx MCP has not reviewed or endorsed it. HTML, images and scripts are removed. Links lead off this site.
Essential public facility data for AI agents helping foreign tourists in Seoul, South Korea.
Seoul Essentials is an MCP (Model Context Protocol) server that provides structured data about essential public facilities in Seoul. Designed for AI agents that assist foreign tourists with real-time queries about nearby services.
Counts are the live Firestore document counts as of 2026-08-04.
| Type | Description | Count |
|---|---|---|
wifi | Free public WiFi hotspots (Seoul WiFi) | 12,008 |
aed | AED locations; a site with several units is one record carrying aed_count and unit_locations | 7,890 |
pharmacy | Pharmacies in all 25 districts; ?filter.english=true narrows to the ~400 with surveyed English/Chinese/Japanese service | 5,849 |
toilet | Public restrooms across all 25 districts (2,008 open 24h) | 4,416 |
bike | 따릉이 (Seoul Bike) sharing stations | 3,340 |
heritage | Designated cultural properties | 2,009 |
future_heritage | Seoul Future Heritage sites | 485 |
traditional_market | Korean traditional markets (Gwangjang, Namdaemun, ...) | 433 |
metro_facility | Subway lockers & facilities | 340 |
taxi_stand | Taxi stands | 255 |
post_office | Post offices (EMS / international mail) | 227 |
ev_charger | EV charging stations | 187 |
museum | Museums & galleries | 171 |
baeknyeon | Century-old designated shops & restaurants | 168 |
park | Major parks | 133 |
tourist_info | Tourist information centers | 16 |
tourist_zone | Tourist special zones | 7 |
subway | Subway timetables, Lines 1–9 | 405 stations |
find_placesSearch for public facilities by type and conditions.
Parameters:
type (required): one of the 17 types listed above (e.g., "toilet", "pharmacy", "post_office", "traditional_market", "ev_charger")district (optional): Seoul district name in English or Korean (e.g., "gangnam", "강남구")filters (optional): Service-specific filters (e.g., {"english": true}, {"is_24h": true}, {"indoor": true})limit (optional): Max results, 1-50 (default: 10)get_place_detailGet full details of a specific place by its ID.
Parameters:
id (required): Place ID (e.g., "toilet_00001", "pharmacy_001", "aed_00001")find_nearbyFind public facilities near GPS coordinates, sorted by distance.
Parameters:
lat (required): Latitude (Seoul range: ~37.4 to ~37.7)lng (required): Longitude (Seoul range: ~126.7 to ~127.2)radius_m (optional): Search radius in meters, 100-5000 (default: 500)type (optional): Filter by facility typelimit (optional): Max results, 1-20 (default: 5)get_subway_timetableGet subway timetable for a specific station.
Parameters:
station (required): Station name in Korean or English (e.g., "강남" or "Gangnam")line (optional): Line number (e.g., "2")day_type (optional): "weekday" | "saturday" | "holiday" (default: "weekday")direction (optional): "up" | "down"Visit Seoul Essentials on Smithery and follow the setup instructions for your MCP client.
Add to your MCP client config (e.g., Claude Desktop claude_desktop_config.json):
{
"mcpServers": { "seoul-essentials": { "url": "https://seoul-essentials-mcp-230987091625.asia-northeast3.run.app/mcp" } } }
git clone https://github.com/do-droid/seoul-essentials.git
cd seoul-essentials API_BASE_URL="https://asia-northeast3-seoul-essentials.cloudfunctions.net/api" \ uv run python -m src.server
An AI agent can use these tools to answer questions like:
English
日本語
中文
We actively review and incorporate feedback to improve data quality and coverage.
For AI agents: Use the submit_feedback tool during a conversation to report issues or suggest improvements.
For developers: Open a feedback issue on GitHub.
Categories: new_data | data_quality | coverage | format | frequency | other
services.english / chinese / japanese; Gangnam-gu is absent from that upstream survey entirely (origin gap, not a parser bug), which is why ?filter.english=true&district=gangnam still returns nothing. The remaining 5,455 come from the MOIS LOCALDATA licence register and cover all 25 districts with precise coordinates and phone numbers. Licence-sourced records carry services.language_support: "not surveyed" and deliberately omit the language keys — they are never advertised as English-capable, and ?filter.english=true excludes them.coordinates_approximate: true). District-level filters (?district=mapo) are exact; find_nearby ranking against these types is district-grained rather than building-grained.hours.note instead of open/close times.is_24h: true appears only where the source supports it — toilets, 따릉이 docks, outdoor WiFi, EV chargers and tourist zones. Every other type's source publishes no hours at all, so those records carry is_24h: false plus a hours.note saying what is actually known. Filtering ?filter.is_24h=true therefore returns only verified round-the-clock places.scripts/romanize.py in the backend repo). Building number, road and district are exact; a few loanword road names romanize phonetically rather than to their official spelling (올림픽로 → "Ollimpik-ro", officially "Olympic-ro"). Lot-number (지번) addresses carry no road name and are left empty rather than guessed.halal_friendly (data.go.kr 15111159 was withdrawn — searching alternative sources) and emergency_room (data.go.kr 3043449 not findable — switching to e-gen.or.kr OpenAPI) are planned for the following refresh. Both were removed from the tool schema in 0.4.0 — they had been advertised as valid types while holding zero documents, so every call returned an empty result.All data sourced from official Seoul government open data:
MIT