list_tools
List tools
The APIs the compendium covers: each with the hosts its trials hit, trust tier, version count, and counts of verified claims and spec divergences.
Takes no parameters.

io.github.MaydayTreyPublished by GitHub account MaydayTreyv0.3.1Updated Nov 3, 2026
Verified, reproduced behavior of public HTTP APIs: spec gaps, errors, pagination, auth.
Serves a verified knowledge base of how public HTTP APIs actually behave — spec divergences, errors, pagination, auth — so an assistant can check before…
Web executable via Streamable HTTP. Remote servers run from the web runtime once configured in a workspace.
Paste this prompt into Claude Code, Codex, Cursor or another agent — or into SourceWeft chat. The agent reads this server's install guide, shows you its publisher, endpoint and sign-in, and adds it to your client once you agree. Keys never go into a command.
Read https://sourceweft.com/mcp/io.github.MaydayTrey%2Fautopia/install.md and connect the MCP server it describes to my client. Before changing any config, show me its publisher, endpoint and sign-in method and wait for my OK. Never put an API key in a command or in a file I would commit; ask me where it should come from.Add this to your client's mcpServers config.
{
"mcpServers": {
"autopia": {
"type": "http",
"url": "https://autopia-mcp.onrender.com/mcp"
}
}
}Autopia empirically tests HTTP APIs that ship an OpenAPI spec, discovers how they actually behave, verifies every finding by reproducing it, and serves the result as a versioned, queryable knowledge base that AI agents consult over MCP, and that a Claude Code plugin injects into an agent's context at the moment it is about to call one of those APIs.
It is the MVP of the "Discrimen Compendium" described in docs/compendium-spec.txt
(the blueprint) and docs/compendium-stack.txt (stack choices). Read the spec's glossary
first; the code uses those exact terms. HANDOFF.txt holds the running state and decisions.
Live: the hosted server is at https://autopia-mcp.onrender.com/mcp (per-user keys, see
Identity); the database is a managed Postgres on Neon; a GitHub
Actions schedule refreshes every target nightly (rules only) and weekly (with the model pass).
The catalogue currently holds 16 APIs, including GitHub REST, the npm registry, PyPI, the
Anthropic models endpoints, the Open-Meteo family, weather.gov, Binance, Frankfurter,
Open Library, PokeAPI and Nager.Date.
A behavior sheet per API: Markdown generated from verified claims only, ordered by value. Where the live API contradicts its own spec comes first, then rules the spec never states, then behavior common to every endpoint, then per endpoint: what responses look like, error-body shapes, pagination, validation, auth. Every line ends with the trial ids that back it. Examples of what the sheets record, all reproduced on the live APIs:
since=not-a-date on commits as a filter that matches nothing
(200, empty list), while issues rejects the same value with a 422 that spells out the format.per_page is clamped to 100 (proved by the Link header).size=2500 against a documented maximum of 250, and does not type-check
its score-weight parameters./v1/models cursors must name an existing model id; an unknown id is a 400
as a cursor but a 404 as a path.src/worker/battery,
version 1.3.0), a deterministic catalogue of edge cases: omit required, wrong type, enum
outside the documented set, null and empty values, numeric boundaries (zero, negative,
max int, below the minimum, just above and far above the maximum, 2048-character strings),
duplicate parameters, unknown fields, bad and missing credentials (scheme-preserving), page
zero, a huge page size, a page beyond the last, four date formats for date-time parameters
(date only, no timezone, epoch, garbage), wrong content type, trailing slash, HEAD. No
randomness anywhere, so two runs produce identical trial inputs. Every stored response keeps
the lengths of its arrays before truncation, so list semantics survive storage.src/schemas/claim.schema.json; invalid objects are discarded. Rules classify what came
back, not just the status: a 200 on a bad date value is "applied as an impossible filter"
when the list is empty where the comparison request had rows, "apparently ignored" when the
counts match, "interpreted" otherwise. A page-size cap is claimed only when more items
provably exist (a Link rel="next", a total field, or the documented maximum reached).
Error-shape claims count only probes that sent a bad value, not auth, HEAD or content-type
probes.verified = true.undocumented_constraint.required, type, auth, pagination, error_behavior,
response_shape, undocumented_constraint, undocumented, other.category are compared probe by probe: the
same rule on the same parameter name with the opposite verdict marks the claim
divergence_type = sibling with a note naming the other tool.claim_key. A tool gets a new
version whenever its spec hash changes; large specs are stored trimmed to the exercised
paths, with the hash still over the full document.The probe battery changes one parameter of one request and judges the answer against the spec. That finds where the docs are wrong, but only along lines the docs already drew. The scenario battery uses an API the way a program does, several requests with state flowing between them, and judges the outcome against an invariant that must hold for any sane API, so it needs no documentation to compare against and can learn what the docs never say.
Scenario 1, pagination completeness, runs on every endpoint whose baseline answered with a
list and that takes a page number. Two walks of a few small pages, one by page number and one
by following the Link header's rel="next", plus one page read twice:
rel="next".Every request is a trial; every claim cites all of them and is reproduced by VERIFY like any
other. A finding such as duplicates is claimed only when both walks show it, so the second
walk reproduces the invariant itself. Budget: two walks of 4 pages of 5 (scenarios.pagination: { pages, page_size } in the target, or false to skip), ~8 requests per endpoint. The sheet
shows these under How it behaves in use; the brief sheet carries them as pagination watch-outs.
Scenarios 3 and 6, conditional requests and rate-limit accounting, run on every endpoint
with a working baseline, at most four requests each: a fresh GET, the same GET with
If-None-Match set to the ETag it returned, the same with a stale tag, and (when Last-Modified
was sent) one with If-Modified-Since. From that sequence:
If-None-Match yields 304 with an empty body, and that a stale tag still yields 200
(so the 304 was really conditional), or that the ETag is ignored, or that there are no
validators at all and every poll is a full request;Statements name no volatile numbers, so they stay stable across nightly runs. Disable with
scenarios.conditional: false in the target. On GitHub this found that /rate_limit is not
counted, that search has its own pool of 30 and no validators, and that every other endpoint
honors ETags with free 304s.
Scenario 4, filter composition, runs on list endpoints that have filter parameters with
known-good values in the target: one unfiltered page, one page per filter, one per pair. A
filter is "honored" when every returned item matches the field of the same name; a mismatch is
never read as "not honored" (GitHub's commits sha is a start ref, not an item predicate) but
as "no visible effect" or "does not select by that field"; combinations are checked for
containment against complete single results and for field agreement only on filters whose own
check passed. Scenario 2, list vs detail, finds the detail endpoint in the spec (list path
plus one template segment), reads two items' details and says which fields the detail adds,
which the list alone carries, and whether shared scalar values agree, so a program knows when a
second request is needed. Disable with scenarios.filters: false / scenarios.list_detail: false.
Scenario 5, sort contract, runs on list endpoints with a sort parameter: one unsorted page,
then one page per sort key (the target's value plus the spec's enum, at most three) per
direction, plus one repeat. It says whether each page is actually ordered by the field the key
names, in the stated direction; which sorted page the default order equals; whether the two
directions differ; and whether the same sort returns the same order twice. On GitHub issues it
found that sort=comments&direction=asc does not return the page in ascending order of the
items' comments field, while every other key and direction does. Disable with
scenarios.sort: false.
Next scenarios: encoding and boundaries. All read-only, none needing an account; the write battery comes after.
npm run autopia -- tool-delete <name> --yes removes a dead tool and everything under it
(versions, runs, trials, claims, diffs) in one transaction; use it for an API that turned out to
be unreachable or was run once by hand and never scheduled.
npm run autopia -- health prints one line per tool that needs attention: red when a
scheduled tool's last claim-producing run is older than 3 days, when the latest run kept fewer
than half the claims of the best of the previous runs (or none at all), when the last three runs
all failed, or when a scheduled tool has had three runs and never stored a claim; warn when
only the latest run failed (one bad night is routine), when a tool has no target file and is
never refreshed, or when an unscheduled tool never stored a claim. The nightly run-all prints the same block at the end
and exits non-zero only on red, so a single transient failure no longer fails the workflow and
a quietly decaying tool does.
Every claim records when its evidence last reproduced. A full sheet says on which date its
claims were last re-executed against the live API; a claim not re-run in the last 3 nights says
so after its evidence ids; a sheet nobody has re-run for 3 nights carries a Stale banner; a
run that kept fewer than half the previous successful run's claims carries a Coverage dropped
banner, because missing is not disproved. The brief sheet mentions age only when something is
stale. list_tools rows carry last_verified_at / verified_days_ago; search_claims and
get_tool_knowledge records carry verified_days_ago. Ages are computed when a sheet is
rendered, so claim statements, which are diffed nightly, never change.
Configuration lives in a local .env file (gitignored), read on startup:
Target files reference credentials as ${ENV_VAR} in headers, so a committed target never
contains a key.
PGlite caveat: the default database is an embedded Postgres (PGlite) under data/pglite
and only one process can open it at a time. Stop the worker before starting the MCP server
or dashboard. Set DATABASE_URL to a real Postgres to lift that limit (same schema, no code
change). npx tsx scripts/whichdb.ts says which one a command would use.
Register the stdio server with a client as npx tsx <repo>/src/server/mcp.ts, or point an
HTTP-capable client at /mcp on the HTTP server (GET /healthz for liveness). The server
ships an instructions block telling an agent when to consult it: before its first request
in a session to a covered host, and after an API call fails or surprises it.
The tool argument of every tool accepts a tool name, a host, or the URL you are about to
call (api.github.com, https://registry.npmjs.org/-/v1/search). The compendium is a
directory, not a dump: get_tool_docs with a URL or path returns only the endpoint that
path matches plus a one-line index of the tool's other endpoints, so an agent descends to
what it needs instead of receiving everything. Every sheet ends with a coverage section: which
endpoints of this API are probed, which other APIs exist (by host), what is not probed anywhere
yet, and the tools to fetch more, so a reader of one sheet knows what else it can ask for. Evidence is compact (trial
id, probe, status, request line) unless verbose=true asks for response previews. Stored
request inputs are redacted before storage, so no credential can be served as evidence;
npx tsx scripts/scan-stored-secrets.ts audits the database for anything that slipped through.
An agent only reads a sheet if something tells it to. The plugin in plugin/ makes that
deterministic: a PreToolUse hook on Bash and WebFetch matches the command or URL
against the covered hosts and injects the behavior sheet for that endpoint into the model's
context before the call, and a PostToolUse hook injects the verified claims that match a
4xx/5xx when a call to a covered host fails. Both fail open on any error. It also registers the
hosted MCP server for digging further and ships a skill carrying the same trigger text.
The hook fires only on URL-shaped mentions (https://host/... or host/path) and injects the
brief sheet for the endpoint in that URL: spec contradictions, undocumented rules, auth,
pagination and error behavior for that endpoint, tool-wide auth behavior, and a one-line index
of the other endpoints. Once per host and endpoint per session; well under 5KB.
Project-level instructions. A line in a repository's CLAUDE.md or AGENTS.md is
followed more reliably than any server instructions block. For a project that integrates with
a covered API, add:
The plugin reaches Claude Code only. Cursor, Codex, Claude Desktop and any agent that reads
AGENTS.md get the same behavior from the hosted server plus a paste-in block; the blocks
are in docs/distribution.md.
For a session-only trial from a checkout: claude --plugin-dir ./plugin. Until the key is
configured, the session shows the autopia MCP server as failed to connect (401) and the hook
injects a setup note instead of a sheet; both clear after claude plugin configure autopia and
a new session. Details, state locations and the privacy note are in plugin/README.md.
A web search for an error string should land on a page that cites reproduced trials, with no
plugin and no MCP connection. npx tsx scripts/build-site.ts --out site --base <url> renders
the compendium as a static site: a catalogue, one page per API, one per endpoint, an index of
every observed error message with what triggers it, llms.txt (the AI-crawler index), a sitemap
and robots.txt. Pages are the behavior sheets with the lightest HTML wrapping; every page has a
plain-text .md twin and names the MCP call that returns the same thing live.
.github/workflows/pages.yml builds it from the hosted database daily after the refresh (and
on demand) and publishes to GitHub Pages. One-time setup: repository Settings -> Pages ->
Source: GitHub Actions. The site is at https://<owner>.github.io/<repo>/.
Neon's free plan bills reads: 5 GB of data transfer a month, against 0.5 GB of storage. The
database itself is small (about 90 MB after ten days of nightly runs); what costs is reading
it. Three readers used to dominate and were cut on 2026-10-20: evidence trials are now read
without their response bodies unless a keyed caller asks for previews (the response column is
most of the trials table); the site build loads each tool's knowledge once instead of once per
page (about 50 MB a day down to 2 MB); the catalogue counts claims in SQL instead of loading
every claim row; and the server's response cache lives two hours instead of ten minutes.
Ad-hoc commands that render sheets or scan trials read the hosted database too, so point
DATABASE_URL at a local PGlite directory for experiments.
If traffic ever gets out of hand, there are three levels, each reversible, none of which can create a bill (Render and Neon have no card on file; the only billed account is the Anthropic key used by the weekly LLM pass, which has its own spend limit in the Anthropic console):
AUTOPIA_OFFLINE=1 in the Render service's
environment. Every request except /healthz gets 503 with a retry-after and the database is
never opened. The static site keeps serving the sheets. Remove the variable to resume.npm run kill suspends the Render web service and the Neon compute
endpoint through their APIs (needs RENDER_API_KEY and NEON_API_KEY in .env; the service
and endpoint are discovered automatically). npm run revive brings both back;
npm run kill:status shows the state. Without the keys the command prints the dashboard
steps instead.run-all-llm workflow under Actions. That is the only job
that calls a paid API.run-all first processes pending user requests, then re-fetches each spec, creates a new
tool version when the spec hash changes, re-exercises, re-verifies, and computes the diff
against the previous version. It exits non-zero if any target fails. Targets that are
unreachable are abandoned early rather than timing out trial by trial.
Schedule. .github/workflows/run-all.yml runs rules-only nightly (free);
run-all-llm.yml runs with the model weekly; both read DATABASE_URL, ANTHROPIC_API_KEY
and the built-in GITHUB_TOKEN from repository secrets and can be triggered by hand from the
Actions tab. The model pass is the only cost that scales with targets; carry-forward keeps its
claims alive between weekly runs. Retention: --prune-days N (or autopia prune N)
deletes runs older than N days except the latest finished run of each version and any run a
diff cites; --dry-run reports without deleting. Elsewhere, use whatever scheduler you have
(Task Scheduler, cron, a scheduled job on your host) with the same command.
Anyone with a key can ask the compendium to test an API it does not have yet, from inside
their agent, with the request_target MCP tool. The request is validated on the spot: the
spec is fetched and parsed, the battery is planned, and the user gets back how many endpoints
and trials it will take. Scope is enforced at submission, not by review:
.internal-style names: the worker must never become a
proxy into wherever it runs)Pending requests are processed rules-only at the start of the next run-all pass, or by hand
with npm run autopia -- requests process. Once done, the stored target joins every later
pass like a file target. get_request_status reports pending / running / done / failed;
npm run autopia -- requests list shows them all.
Server tier, credential in Actions secrets. github-rest and anthropic-api are keyed
targets the server runs itself: the target file names the header as ${GITHUB_TOKEN} or
${ANTHROPIC_API_KEY}, the workflow passes the secret, stored trial inputs are redacted by
header name, and reproduction restores the real value from the target in memory. The secret
is on the wire to the API and nowhere else. The battery's fake credential for bad-auth probes
is deliberately not redacted, so reproduction can tell it apart from the real key.
Contributor tier, credential never leaves the contributor. For APIs whose key cannot live in this repository's secrets, the same open-source worker runs on the contributor's machine with their API key, their model key and their own database, then uploads the result:
What gets uploaded, by construction: claims, and evidence as status code plus response
signature (a type shape with no values in it). No request inputs, no headers, no response
bodies, no error-message text. Claim statements are scrubbed twice, locally and on the
server: anything that looks like an email, a token, a bearer credential, a long hex string or
a long identifier number drops that claim. Without --yes the command prints every statement
it would upload and stops. Contributor tools are a visible trust tier: their sheet opens with a
banner naming the contributor key prefix and the date the claims last reproduced, and states
that this server has not re-verified them since. A tool this server verifies itself can never
be overwritten by a contribution.
The embedded database is for one laptop. A hosted compendium uses a managed Postgres so the
worker and the server can run at the same time, and runs the HTTP MCP server somewhere always on.
The code path is identical: DATABASE_URL switches drivers, migrations apply on connect, and
tests/integration/postgres-path.test.ts exercises it over the real Postgres wire protocol.
1. Database (Neon or Supabase, both include pgvector). Create a project, copy the connection string, and move an existing compendium across:
Import preserves ids, skips rows that already exist, and resets the sequences, so it is safe
to re-run. Put the same DATABASE_URL in .env and every command on the laptop now talks to
the hosted database.
2a. Server on Render (free tier, no card; the current deployment). render.yaml is a
Blueprint. In Render: New -> Blueprint -> select the repo. It builds the Dockerfile, asks for
DATABASE_URL and generates AUTOPIA_MCP_TOKEN (copy it from the service's Environment tab).
Free services sleep after ~15 idle minutes and wake on the first request, so expect a slow
first call; the plugin's hook tolerates that by failing open and retrying on the next call.
Render auto-deploys from main.
2b. Server on Fly.io (paid account, always-on). fly.toml and the Dockerfile are in the repo:
The server listens on /mcp with GET /healthz for the platform check. The image also
contains the worker, so run-all can run as a scheduled machine or by hand. Railway works the
same way from the same Dockerfile.
Reads are open, within a budget. The seven read tools answer without any credential, under
a per-IP limit (AUTOPIA_ANON_PER_MINUTE, default 30; AUTOPIA_ANON_PER_DAY, default 300) and a
global daily cap (AUTOPIA_ANON_DAILY_CAP, default 5,000). Anonymous callers never receive
response previews and their page sizes are capped. Read responses (sheets, catalogue, searches,
claims) are served from an in-memory cache for ten minutes (AUTOPIA_CACHE_TTL_MS), so repeated
anonymous calls do not reach the database. The defaults are sized for the free tiers underneath:
5,000 brief sheets a day is roughly 75 MB of egress and a few hundred database round trips, well
inside Render's and Neon's free allowances; raise the numbers when the hosting can take it. When
the cap is hit, anonymous callers get 429 with a retry-after; keyed callers are unaffected.
Public API behavior does not need per-user identity to read. AUTOPIA_ANON_READS=0 restores
key-only access. request_target and /contribute always need a key.
Keys give a caller its own quota, a name in the usage log, and the write tools:
The key (ak_...) is printed once; only its hash is stored. Users send it as
Authorization: Bearer ak_.... keys list shows prefixes, quotas, and call counts;
keys revoke <name-or-prefix> disables one; a key over its daily quota gets 429. Every tool
call is logged with the key, the tool, the target asked about, success, and latency, and
npm run autopia -- usage --days 7 summarizes it per key and per most-asked-about tool.
AUTOPIA_MCP_TOKEN, if set, works as an admin token (no quota; compared in constant time;
calls logged without a key). AUTOPIA_MCP_OPEN=1 disables the anonymous limits entirely (tests
only). Keys are issued by the maintainer today; self-service issuance is on the roadmap.
AUTOPIA_LOG=debug prints every trial and every verification decision. Helper scripts under
scripts/: run-progress.ts (watch a run), fail-stale-runs.ts (mark interrupted runs),
inspect-repro.ts and auth-probe-check.ts (debug reproduction and auth probes),
plan-dry-run.ts, db-smoke.ts, whichdb.ts, scan-stored-secrets.ts.
Create targets/<name>.json (the file name is the tool name):
include_paths limits a large spec to the endpoints worth probing (GitHub's spec has 816
paths; the target exercises 7). The stored spec is trimmed to those paths plus the components
they reference, while the version hash covers the full document.rate_overrides slows down individual paths with their own quota (GitHub search: 30/min).
The executor also treats a 403 with x-ratelimit-remaining: 0 as rate limiting and sleeps
until the reset.server supplies a base URL when the spec declares none; override_server: true replaces
the declared one (a regional mirror).specs/ holds hand-authored
OpenAPI descriptions for APIs that publish none (npm registry, PyPI, the Anthropic models
endpoints); divergences reported against those mean "the API disagrees with our description",
and the file header says so.targets/parked/ holds targets that are temporarily out (see its README for why).Scope rule (v1): read-only GET endpoints of OpenAPI 3.x APIs, public or behind a single
credential header. Write endpoints and JSON request bodies are not probed yet. If a target
lacks a formal spec or has side effects, it is out of scope; discover stops with an error.
npm test runs everything (130 tests); npm run test:unit and npm run test:integration
split them.
tests/unit: spec parsing, battery, signature, HTTP executor
(fake fetch), rules, shape rules, cross-ref, carry-forward, verify, diff, docs rendering,
redaction, keys, contribution scrubbing, host resolution, the plugin hook's helpers.tests/integration: the real pipeline against a mock API with planted
quirks (tests/mock-api/server.ts) on a throwaway database; the MCP server over stdio and
over HTTP (open, admin token, per-user keys); user requests; contributions; retention;
unreachable targets; the Postgres wire path through PGlite; and the plugin hook run as a
child process against a real HTTP server.npm run mock-api starts the mock API by hand for manual poking.The Postgres-path test occasionally fails in its setup under the full parallel run and passes alone; re-run before suspecting a change.
Source: README.md at commit 5cb26f8
List tools
The APIs the compendium covers: each with the hosts its trials hit, trust tier, version count, and counts of verified claims and spec divergences.
Takes no parameters.
List versions
The spec versions recorded for one API, newest first, each fingerprinted by its spec hash. The ids identify versions for get_version_diff.
toolrequiredGet tool knowledge
Every verified claim about an API as structured records (latest version by default): paginated, filterable by kind, spec divergences flagged, each with compact evidence (trial id, probe, status, request line). verbose=true adds response previews.
kindtoolrequiredlimitoffsetverboseversionGet divergences
Where the live API contradicts its own OpenAPI spec: documented limits not enforced, types not validated, required parameters not required, enums accepting other values. Compact evidence; verbose=true adds response previews.
toolrequiredverboseversionSearch claims
Full-text search over verified claims by host and symptom, e.g. "github per_page 500", "npm search size 0", "is latitude required on /v1/forecast": the lookup for an unexpected 4xx/5xx, a parameter that seems ignored, an odd page, or wrong filter results. Optionally restricted to one API (name, host or URL). Compact evidence unless verbose=true.
toollimitqueryrequiredverboseGet tool docs
The verified behavior sheet for an API: Markdown built only from verified claims, with spec contradictions first, then sibling differences, undocumented rules, and per-endpoint behavior (error shapes, pagination, validation, auth), every line citing trial ids. Accepts a tool name, a host, or the full URL about to be called; a URL or path scopes the sheet to that endpoint plus a one-line index of the others. Brief by default (what would change the request); full=true adds per-parameter validation, response shapes and all evidence ids.
fullpathtoolrequiredbriefversionGet version diff
What changed in verified behavior between two spec versions of an API (changed, added and removed claims), as opposed to what changed in the spec text.
toolrequiredto_versionrequiredfrom_versionrequiredRequest a target
Queues a public, read-only, credential-free API for probing, from a target object { name, spec_url (OpenAPI 3 document), category?, include_paths?, baseline? (valid values for required params per path), optional_values?, server? }. The spec is fetched and parsed and the battery planned immediately; probing runs rules-only on the worker's next pass. Requires a per-user key; quota 3 requests per key per day. Returns a request id for get_request_status.
targetrequiredGet request status
Status of a target request (pending, running, done or failed), with the run id and summary once processed.
request_idrequired100% of the applicable checks met
How complete this listing is, computed from the registry entry, the endpoint and public sources. Not a rating of the server and not a statement that it is safe or working today: reachability is a dated check, and no installs or reviews go into the score.
discover -> exercise -> aggregate -> cross-ref -> verify -> write (+ diff) spec TRIALS rules + spec + evidence CLAIMS fetch, (no LLM) shape rules siblings + check + + DIFFS hash, + one LLM self- reproduce trim pass consistencynpm installnpm run autopia -- run targets/open-meteo-forecast.json # full pipeline (LLM pass if a key is set)npm run autopia -- docs open-meteo-forecast # the behavior sheetnpm run autopia -- claims open-meteo-forecast --divergencesnpm run autopia -- search "is latitude required"npm testnpm run mcp # MCP server over stdio (register in Claude Code / any MCP client)npm run mcp:http # the same server over Streamable HTTP at http://localhost:4200/mcpnpm run dashboard # read-only dashboard at http://localhost:4100 (local only; not deployed)claude plugin install autopia --marketplace MaydayTrey/autopiaclaude plugin configure autopia # optional: a per-user key raises your quota; reads work without oneBefore the first call to api.github.com (or registry.npmjs.org, pypi.org, api.anthropic.com) in asession, read its verified behavior sheet: Autopia MCP tool get_tool_docs {"tool":"<the URL you are about to call>"}.On an unexpected 4xx/5xx or an empty result from one of those hosts, call search_claims with the hostand the symptom before retrying.npm run run-all # every targets/*.json in sequence, one summary line per toolnpm run run-all -- --no-llm --prune-days 14npm run autopia -- contribute my-keyed-api --to https://autopia-mcp.onrender.com --key ak_... --yesnpx tsx scripts/db-export.ts data/export.jsonDATABASE_URL="postgres://..." npx tsx scripts/db-import.ts data/export.jsonfly launch --copy-config --no-deployfly secrets set DATABASE_URL="postgres://..." AUTOPIA_MCP_TOKEN="$(openssl rand -hex 24)"fly deploynpm run autopia -- keys create alice --quota 2000{ "name": "my-api", "category": "weather", "spec_url": "https://example.com/openapi.yml", "include_paths": ["/v1/path"], "baseline": { "/v1/path": { "required_param": "known good value" } }, "optional_values": { "/v1/path": { "optional_param": "known good value", "since": "2026-01-01T00:00:00Z" } }, "headers": { "x-api-key": "${MY_API_KEY}" }, "rate": { "concurrency": 1, "min_interval_ms": 500 }, "rate_overrides": { "/v1/search": { "min_interval_ms": 2500 } }, "server": "https://api.example.com", "max_trials": 300}docs/ spec + stack docstargets/ one JSON per API under study (parked/ for the ones on hold)specs/ hand-authored OpenAPI docs for APIs that publish nonedrizzle/ generated SQL migrations (npm run db:generate after editing schema.ts)src/db/ schema.ts (source of truth), client.ts (PGlite or Postgres), queries.ts, docs.ts (behavior sheets), keys.ts, requests.ts, contributions.ts, retention.tssrc/worker/ pipeline stages: discover, exercise, aggregate/{rules,shape-rules,llm,carry}, crossref, verify, write, diff, pipeline.ts, cli.ts; battery/; signature, http, redact, target, requests-runner, contributesrc/llm/ provider adapter (worker only, never the server)src/schemas/ claim.schema.jsonsrc/server/mcp.ts MCP server (stdio and Streamable HTTP), instructions block, /contributesrc/dashboard/ Express + static page (local use)plugin/ Claude Code plugin: PreToolUse hook, .mcp.json, skill, README.claude-plugin/ marketplace.json (install source for the plugin).github/workflows/ test on push/PR; nightly rules-only and weekly LLM refreshscripts/ export/import, audits, run helperstests/ unit, integration, mock-api, helpers