Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
Live listings, sold prices and resale scores from GovAuctions.app, the public surplus-auction site.
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 …”.
Works in Claude on the web, desktop and mobile:
https://govauctions.app/api/mcpRun this in your terminal
claude mcp add --transport http govauctions https://govauctions.app/api/mcpPaste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"govauctions": {
"url": "https://govauctions.app/api/mcp"
}
}
}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": {
"govauctions": {
"type": "http",
"url": "https://govauctions.app/api/mcp"
}
}
}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.
ChatGPT connects only to servers on the internet:
https://govauctions.app/api/mcpMenu names can differ slightly by plan and over time.
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.
Tool names and descriptions exactly as the server reported them on Nov 8, 2026. The maker wrote them, not us; we show them as plain text.
search_listingsSearch live GSA federal-surplus auction listings (facts only — no images). Filter by state, category, keyword, price, or distance from a US ZIP code. Works signed out (up to 25 rows per page). Raw listings cover sanctioned federal sources; sold-price comps span the full market.
get_listingGet one live GSA listing by its id (facts only). Works signed out.
get_sold_compsSold-price comps for a described item, computed across the full government-surplus market in any market listed in `country`. Signed out: coverage (how many comparable sales, confidence, a coarse price band) plus `categoryStats`, the 25th/median/75th percentile of every sale in th
get_sold_comps_batchget_sold_comps for a list of items in one call. Each query is either a string ('2015 Ford F-150') or an object with its own q/category/country/state. Each item costs one valuation lookup, exactly as if sent alone; an item that comes back without a range is not charged. If the mon
get_flip_scoreGovAuctions Flip Score resale signal for one live lot, from any source, in any market with sold-price comps (valued against that market's comp archive): estimated value, effective bid, discount, and the link to the lot on its source site. Pass the lot id as it appears in a govauc
get_sold_historyThe individual archived sales behind an item: title, final price, sale month and state, plus the range they produce. Use when you want the evidence rather than just the number. Query-anchored — describe an item; there is no way to list the archive. Requires sign-in or an API key.
get_price_trendMonth-by-month median sale price for an item, plus the first-to-last change — 'is this category softening?'. Computed from the same comps as get_sold_comps, so it never contradicts that range. Returns an empty series when too few months clear the sample threshold. Requires sign-i
get_comp_coverageHow much sold-price data we hold per category for a market, and which categories can never be priced. Check this before building on the comps tools — it is the honest answer about what we cannot do. Works signed out.
get_api_usageThis key's usage for the current month: total calls and the separate valuation allowance (which comps, sold history, trend and flip-score draw down), plus the reset date. Call it to pace a long run instead of hitting a 429 mid-task. Every other signed-in tool result already carri
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 8, 2026
The registry name was verified against the domain govauctions.app (the registry checks domain ownership)
We have not read this repo from GitHub yet
We have not read this repo from GitHub yet
Responded in 770 ms (HTTP 200)
No sign-in needed
Read 9 tool descriptions and found no hidden instructions to the AI
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
It passed 3 of 3 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 in the maker’s cloud. Connect over the internet with nothing to install, but what you send passes through the maker’s servers.
The GitHub repo last changed –, and the latest version (1.0.3) reached the registry 32 days ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. It connects by URL, so apps that accept remote MCP servers work too, such as ChatGPT in developer mode.
In the same category: Spec Driven Development, Remote Desktop Commander, alalanet — check before you pay
Servers in the same category from other makers, sorted by stars.
Reading a card:↓ Downloads per weeki★ 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.
Check packages, MCP servers and x402 endpoints before agents install or pay. Signed.
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.
GovAuctions.app is a free public site for finding government surplus auctions: live listings from GSA and other government sellers, alongside what comparable lots actually sold for. This repo is its MCP server, a second front door onto the same data for agents and code.
Agent-callable tools for government-surplus auction data: search live listings, pull real sold-price comps from 170,000+ closed government auctions in the US, UK, Canada and Australia, and get a 0–100 Flip Score resale signal, from the same engine behind the site.
Eight tools on the hosted server, all read-only. The local npm package exposes the first four.
| Tool | What it does |
|---|---|
search_listings | Search live GSA federal-surplus listings (facts only). Filter by state, category, keyword, price. |
get_listing | Fetch one live GSA listing by id. |
get_sold_comps | Sold-price range (25th / median / 75th percentile) for a described item, across the US, UK, CA or AU government-surplus market. |
get_flip_score | Flip Score resale signal for a listing: estimated value, effective bid, and discount. |
get_sold_history | The individual archived sales behind a comp number. |
get_price_trend | Month-by-month sold-price trend for a described item. |
get_comp_coverage | What can and cannot be priced, by category and market. |
get_api_usage | Your key's usage against its monthly allowance. |
Get an API key (free tier available) at https://govauctions.app/developers.
Point any client that speaks remote MCP at the hosted Streamable HTTP endpoint:
{
"mcpServers": { "govauctions": { "url": "https://govauctions.app/api/mcp" } } }
Claude Code:
claude mcp add --transport http govauctions https://govauctions.app/api/mcp \
--header "Authorization: Bearer gak_YOUR_KEY"
get_sold_comps answers on the hosted endpoint with no key at all; the other tools read your key from the request. See the developer docs.
For clients that cannot add a remote MCP URL. A dependency-free Node wrapper (Node 18+) over the REST Data API, published to npm as govauctions-mcp:
{
"mcpServers": { "govauctions": { "command": "npx", "args": ["-y", "govauctions-mcp"], "env": { "GOVAUCTIONS_API_KEY": "gak_your_key" } } } }
Or download govauctions-mcp.mjs and run it with node /absolute/path/to/govauctions-mcp.mjs.
Config (env):
GOVAUCTIONS_API_KEY: required. Your key from https://govauctions.app/developers/keysGOVAUCTIONS_API_BASE: optional. Defaults to https://govauctions.app/api/v1The local wrapper forwards every call to the REST API, so unlike the hosted server it needs a key for every tool, including get_sold_comps.
The tools wrap the public REST Data API. OpenAPI spec: https://govauctions.app/api/v1/openapi.json
MIT, see LICENSE.