Category
Primary
artificial-intelligence · embed-ft 0.7
Tree path
Technology & Computing › Artificial Intelligence
Group (tier-1)
Also (top-3)
Tech stack
AI readiness
AI training policy
reserved
AI-bot protection
Blocked AI bots
AI files
Evidence
robots:Amazonbot+Applebot-Extended+Bytespider+CCBot+ClaudeBot+Google-Extended+GPTBot+Meta-ExternalAgent
Compliance (GEO / GDPR)
TLD
Overview
Title
Aevion — Proof-Native AI Governance
Description
ProofOS: receipt chain for Lean 4 proof obligations. Public repo: 4 proved theorems (0 sorry) and 2 open obligations, published as a machine-readable gap list. Agent Counsel Colony with Byzantine fault detection.
Final URL
Language
en (content-backfill)
Scanned at
2026-06-17 02:47:35