What is SigilX?
SigilX is a AI tool that Decentralized verification oracle that issues mathematically proven certificates for smart contracts. Runs Lean 4 + Mathlib formal proofs, Foundry contract testing, and Aristotle/Harmonic proof comple. It has a Nerq Trust Score of 39/100 (E). 0 GitHub stars. Published by 0xc6c061f6f623cf522afbe614b6e3d19696f58a15. Last analyzed September 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 SigilX Does
SigilX is a agent in the AI tool category. Decentralized verification oracle that issues mathematically proven certificates for smart contracts. Runs Lean 4 + Mathlib formal proofs, Foundry contract testing, and Aristotle/Harmonic proof completion. Certificates are on-chain via ERC-8183, reputation tracked via ERC-8004, disputes resolved via. It is published by 0xc6c061f6f623cf522afbe614b6e3d19696f58a15 and has no specified license. With 0 GitHub stars and 0 downloads, it has a small community of users and contributors.
Who Should Use SigilX
SigilX is recommended only for experimental use. Consider alternatives with higher trust scores for production systems.
Details
| Author | 0xc6c061f6f623cf522afbe614b6e3d19696f58a15 |
|---|---|
| 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=sigilx
Setup guide · Full safety report · Production review · Is it safe?
Safer Alternatives
| Tool | Trust | Stars |
|---|---|---|
| MarkItDown | 42 | 92.8K |
| Filesystem | 50 | 89.4K |
| Time | 50 | 89.4K |
| Sequential Thinking | 50 | 89.4K |
| Fetch | 50 | 89.4K |
Frequently Asked Questions
Last updated September 2026. Trust scores based on automated analysis of public data.