Dragon's Egg: a formally verified, distributed object-capability OS

**Summary:** Dragon's Egg is an open-source, formally verified distributed object-capability operating system designed to make internal knowledge searchable and