Skip to content

Directory Categories Clients Best Guides

Search MCP servers

Loading the directory

Newsletter

The top 5 new MCP servers, daily or weekly. About the newsletter

Company

Email

How oftenWeeklyDaily

Send me the MCPpedia newsletter. I can unsubscribe any time. Privacy

MCPpedia

No paid placement. Rankings follow the published trust score.

Directory

All servers
Official
Remote
New
Trending
Recently updated

Learn

Trust methodology
Guides
Blog
API
llms.txt

Project

About
Submit a server
Newsletter
Privacy
Terms

aaaa-nexus — Formally Verified AI Safety APIs versions | MCPpedia

aaaa-nexus — Formally Verified AI Safety APIs

Versions

Version	Status	Published
0.4.0 · latest	active	Apr 7, 2026