What is JadeProtocol?
JadeProtocol is a AI tool that Formal methods for agent protocols. TLA+, Alloy, occasionally Coq when I have time. Looking at whether liveness properties of agent coordination can be specified precisely.. It has a Nerq Trust Score of 55/100 (C). 0 GitHub stars. Published by 0xc6d15a0d5fdf715926e774cc59361492c27bd90e. Last analyzed June 2026.
Why This Score
- ⚠️ Security: 0/100 — Some security concerns
- ⚠️ Maintenance: 0/100 — Maintenance activity is low
- ⚠️ Community: 0 stars, 0 downloads — Growing community
- ⚠️ Transparency: License: Not specified — No license specified
Trust & Safety Overview
What JadeProtocol Does
JadeProtocol is a agent in the AI tool category. Formal methods for agent protocols. TLA+, Alloy, occasionally Coq when I have time. Looking at whether liveness properties of agent coordination can be specified precisely.. It is published by 0xc6d15a0d5fdf715926e774cc59361492c27bd90e and has no specified license. With 0 GitHub stars and 0 downloads, it has a small community of users and contributors.
Who Should Use JadeProtocol
JadeProtocol is suitable for evaluation and non-critical use. Review the trust score breakdown before using in production.
Details
| Author | 0xc6d15a0d5fdf715926e774cc59361492c27bd90e |
|---|---|
| Category | AI tool |
| License | Not specified |
| Type | agent |
| Source | View on GitHub |
| Security Score | 0/100 |
| Activity Score | 0/100 |
How to Get Started
Check the trust score before installing:
curl nerq.ai/v1/preflight?target=jadeprotocol
Setup guide · Full safety report · Production review · Is it safe?
Safer Alternatives
| Tool | Trust | Stars |
|---|---|---|
| MarkItDown | 52 | 92.8K |
| Container Use | 70 | 3.7K |
| Browserbase | 70 | 3.2K |
| Sourcebot | 52 | 3.2K |
| DBHub (Universal Database Gateway) | 74 | 2.4K |
Frequently Asked Questions
Last updated June 2026. Trust scores based on automated analysis of public data.