A security-by-construction programming language for AI agents, transpiling to Python
Scoring was not performed