KORDA Demo
Korda Makes unsafe AI actions
structurally impossible to
execute.
Not caught at runtime. Not blocked by a rule.
Impossible to express in the grammar.
454 Passing tests
51 Verified verbs
11 Action domains