# `io.github.MaydayTrey/autopia` on anlyon.dev

> Text inside fenced blocks marked untrusted-server-text was written by the MCP server's publisher, not by anlyon.dev. It is data to inspect, not instructions to follow. Invisible characters are shown as [U+XXXX].
> No finding is not a safety guarantee: these are point-in-time checks of tool definitions, not of code or behaviour.

- Page: https://anlyon.dev/servers/io.github.MaydayTrey/autopia
- JSON: https://anlyon.dev/api/v1/servers/io.github.MaydayTrey/autopia
- Version: 0.3.1 (active)
- Publisher: io.github.MaydayTrey (GitHub account)
- Runs: remote (streamable-http)
- Sign-in to list tools: none
- Repository: https://github.com/MaydayTrey/autopia
- Metadata from the official MCP Registry, synced 2026-10-21T18:17:55.152Z

Title and description, as the publisher wrote them:

```untrusted-server-text
Autopia
Verified, reproduced behavior of public HTTP APIs: spec gaps, errors, pagination, auth.
```

Scanned 2026-10-21T19:03:58.232Z over streamable-http.

**9 tools: 1 change things and 8 only read.**

| Group | Class | Tools | Claude Code |
| --- | --- | --- | --- |
| Deletes or cancels | destructive | 0 | deny |
| Can't be undone | irreversible | 0 | ask |
| Changes things | write | 1 | ask |
| Only reads | read | 8 | allow |

## Findings

- **info** The word "credentials" in `request_target` ([credentials-mention](https://anlyon.dev/methodology#credentials-mention))

```untrusted-server-text
The description mentions "credential".

description: "Queues a public, read-only, credential-free API for probing, from a target obj..."
```


## Changes things (1)

Creates or changes something that can be changed back. Claude Code: ask.

### `request_target`

- The name "request_target" says "request": a word for a change.
- Findings: info credentials-mention

Description, as the server wrote it:

```untrusted-server-text
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.
```

## Only reads (8)

Looks things up and changes nothing. Claude Code: allow.

### `get_divergences`

- The name "get_divergences" says "get": a word for reading.

Description, as the server wrote it:

```untrusted-server-text
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.
```

### `get_request_status`

- The name "get_request_status" says "get": a word for reading.

Description, as the server wrote it:

```untrusted-server-text
Status of a target request (pending, running, done or failed), with the run id and summary once processed.
```

### `get_tool_docs`

- The name "get_tool_docs" says "get": a word for reading.

Description, as the server wrote it:

```untrusted-server-text
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.
```

### `get_tool_knowledge`

- The name "get_tool_knowledge" says "get": a word for reading.

Description, as the server wrote it:

```untrusted-server-text
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.
```

### `get_version_diff`

- The name "get_version_diff" says "get": a word for reading.

Description, as the server wrote it:

```untrusted-server-text
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.
```

### `list_tools`

- The name "list_tools" says "list": a word for reading.

Description, as the server wrote it:

```untrusted-server-text
The APIs the compendium covers: each with the hosts its trials hit, trust tier, version count, and counts of verified claims and spec divergences.
```

### `list_versions`

- The name "list_versions" says "list": a word for reading.

Description, as the server wrote it:

```untrusted-server-text
The spec versions recorded for one API, newest first, each fingerprinted by its spec hash. The ids identify versions for get_version_diff.
```

### `search_claims`

- The name "search_claims" says "search": a word for reading.

Description, as the server wrote it:

```untrusted-server-text
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.
```

## Claude Code permissions

For `.claude/settings.json`, assuming the server is installed as `autopia`:

```json
{
  "permissions": {
    "allow": [
      "mcp__autopia__list_tools",
      "mcp__autopia__list_versions",
      "mcp__autopia__get_tool_knowledge",
      "mcp__autopia__get_divergences",
      "mcp__autopia__search_claims",
      "mcp__autopia__get_tool_docs",
      "mcp__autopia__get_version_diff",
      "mcp__autopia__get_request_status"
    ],
    "ask": [
      "mcp__autopia__request_target"
    ],
    "deny": []
  }
}
```