Atlas entry

`proofmart.fly.dev`

No capabilities retained; MCP observed, and the MCP endpoint was not mcp. First atlas observation.

Observed 7 Nov 2026, 08:01 UTC · passive: no tools called, no credentials sent

Capability facts

As observed from outside, at the time below

Observed: 7 Nov 2026, 08:01 UTC
Signed: 7 Nov 2026, 08:03 UTC

Protocols: MCP
Tools: 0
Declared sign-in: None declared

Effects counted AI readings, beta

Moves money: 0
Deletes or cancels records: 0
Sends messages to people: 0
Changes permissions: 0
Runs code: 0
Asks a person: 0

0 tools examined; 0 counted above a measured threshold.

Declared vs read disagreements

Declared read-only, read as writing: 0
Declared destructive, read as not writing: 0
Declared non-destructive, read as deleting: 0
Declared closed-world, read as reaching out: 0

Change since previous: First observation
Label status: Current

Atlas history

1 observation

7 Nov 2026, 08:01 UTC0 capabilities · MCP · MCP endpoint not mcpFirst observation
Fingerprint and versions
Fingerprint
999d78a5e21c297c891f1678f6b87e307c8a064186993b9a000b36a80e91e70b
Passport schema
0.5.0, passport-semantic-v4
Consistency
OPENAPI_MCP_EXPLICIT_MAPPING: not applicable

Each class compares an observation with the previous atlas observation. Runs of unchanged observations are grouped. Struck values are what the previous observation recorded; inserted values are what this one recorded.

Declared and observed

Tool declarations are unavailable for this entry.

A disagreement is not a finding about the service: either side can be wrong. How we compare declarations and readings.

About this entry

io.github.ProofMart/proofmart
Listed
Official MCP Registry · first listed 5 Nov 2026 · last listed 5 Nov 2026

Passive observations of a public interface listed in the Official MCP Registry. An observation does not verify security, ownership or compliance, and InterfaceDelta assigns no scores or rankings. Methodology · Report an inaccuracy · Ask for removal

Identity and snapshot

Target key: sha256:11593c2847ce04ea1164ea8bb2d9d6c8dd156ae86b80d1dea6066ccd40ac81d9
Locator SHA-256: 349f4cf59942899d95055aaa3fa08b9da756b7a187e8cfaaf1bc76b80d276679
Snapshot generated: 11 Nov 2026, 22:36 UTC

The entry is one exact observed target, not a real-world service identity, and implies no ownership. Endpoint paths are not published; the locator hash lets an operator confirm their own URL.