Category & trade
Primary
artificial-intelligence · embed-ft 0.52
Tree path
Technology & Computing › Artificial Intelligence
Group (tier-1)
AI readiness
AI training policy
prohibited
ToS prohibits AI
yes
Terms of Service
found · https://caj.al/terms
AI-bot protection
AI files
Evidence
tos:no-ai-training
Compliance (GEO / GDPR)
TLD
Overview
Title
Cajal | Provably correct code
Description
Cajal builds Tau, a prover that verifies your compiled binary with mathematical certainty. Make your mission-critical software provably correct, down to the machine level.
Final URL
Language
en (html)
Scanned at
2026-07-04 10:03:21