Contact
Social
Category & trade
Primary
software-and-applications · embed-ft 0.49
Tree path
Technology & Computing › Computing › Software and Applications
Group (tier-1)
Also (top-3)
Tech stack
CDN
AI readiness
AI-Readiness score
28 / 100 · not-ready · see similar
AI training policy
allowed
AI-bot protection
AI files
Compliance (GEO / GDPR)
TLD
Overview
Title
Proofcraft
Description
Commercial support, verification projects, and consulting in formal verification in general and the seL4 microkernel in particular.
Final URL
Language
en (html)
Scanned at
2026-07-11 01:11:05