certified-mcp
Rank #36,510glama/nickharris808/certified-mcp
An MCP server that provides tools for certificate verification, equivalence proving, and pre-registration sealing, enabling AI agents to re-derive verdicts from artifacts rather than trust assertions.
certified-mcp is a Model Context Protocol (MCP) server published by nickharris808. It ranks #36,510 of 132,113 servers tracked on MCP Toplist. certified-mcp is listed on Glama, with 1 release tag tracked from its GitHub repository. It was first listed on Jul 28, 2026 and most recently updated on Jul 28, 2026.
Ranks ahead of 95,603 of 132,113 servers on MCP Toplist.
Use certified-mcp
No credentials or required configuration declared — add it to your MCP client and go.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/glama%2Fnickharris808%2Fcertified-mcp)<a href="https://mcptoplist.com/server/glama%2Fnickharris808%2Fcertified-mcp"><img src="https://mcptoplist.com/badge/glama%2Fnickharris808%2Fcertified-mcp.svg" alt="MCP Toplist: Top 50% of 132,113" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
nickharris808
Other servers by nickharris808
- crs-mcp#32,246 · 1 ver
- physics-lint-mcp#55,627
- formal-proof-mcp#67,162
- minicheck-mcp#67,163
- hw-verify-mcp#121,715
- pqc-migration-mcp#121,716
GitHub releases (1)
No registry surfaces explicit version metadata for this server. The list below shows release tags from the linked GitHub repository.
| Version | Published |
|---|---|
| v1.0.0 | Jul 28, 2026 |
Frequently asked questions
- Who maintains certified-mcp?
- certified-mcp is maintained by nickharris808, which publishes 7 MCP servers (2 total versions) tracked on MCP Toplist.
- Is certified-mcp listed on the Official MCP Registry?
- certified-mcp is not on the Official MCP Registry. It is listed on Glama.
- How many versions does certified-mcp have?
- No registry surfaces explicit version metadata for certified-mcp; MCP Toplist tracks 1 release tag from its GitHub repository, most recently published on Jul 28, 2026.
- Where can I find the source code for certified-mcp?
- The source code for certified-mcp is hosted at github.com/nickharris808/certified-mcp.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.