catalog entry
aaaa-nexus — Formally Verified AI Safety APIs
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
signals
- stars
- n/a
- commits 3mo
- n/a
- last release
- 0.4.02026-04-07
- status
- active
Stars count attention, not fitness. The release date and the three-month commit count say more about whether anyone is still maintaining this.
No Wellworn verdict has been tested against aaaa-nexus — Formally Verified AI Safety APIs yet, so nothing on this page is a recommendation.
also tagged mcp
- $THREE Token0 stars
- .FAF Context0 stars
- .FAF Context0 stars
- .NET Debugger for MCP0 stars
- .NET MCP Server0 stars
- licence
- not recorded
- categories
- mcp