aaaa-nexus — Formally Verified AI Safety APIs vs Agentic Terminal Directory
Side by side on the facts. GitHub figures come straight from each repository; ratings come from signed-in reviewers here.
- Type
- aaaa-nexus — Formally Verified AI Safety APIsMCP Server
- Agentic Terminal DirectoryMCP Server
- Category
- aaaa-nexus — Formally Verified AI Safety APIsPayments
- Agentic Terminal DirectoryPayments
- GitHub stars
- aaaa-nexus — Formally Verified AI Safety APIs0
- Agentic Terminal Directory0
- Trust score
- aaaa-nexus — Formally Verified AI Safety APIsNot yet assessed
- Agentic Terminal Directory79/100 · Good
- Community rating
- aaaa-nexus — Formally Verified AI Safety APIsNo reviews yet
- Agentic Terminal DirectoryNo reviews yet
- Last commit
- aaaa-nexus — Formally Verified AI Safety APIsUnknown
- Agentic Terminal Directory5 days ago
- Licence
- aaaa-nexus — Formally Verified AI Safety APIsNone declared
- Agentic Terminal DirectoryMIT
- Official
- aaaa-nexus — Formally Verified AI Safety APIsNo
- Agentic Terminal DirectoryNo
Highlighted cells win that row on an objective measure. Rows without a clear winner — category, licence, source — are left unmarked. A higher trust score means better auditability and maintenance, not safer code.