Juwan-Hwang/moon-certified ? reverse-engineered prompt

帮我把这个 MoonBit 项目做成一个完整的核心算法和数据结构库，重点是适合 moon prove 做形式化验证的那种实现。

我想要它能覆盖排序，搜索，图算法，树结构，字符串，数论，几何，动态规划这些常见能力，而且对外接口尽量统一，返回值要安全一点，尽量别用那种容易误解的哨兵值，能用 Option 就用 Option。那些容易溢出的地方也请顺手加上检查，能提供安全版本就一起提供。

如果某些高级算法暂时没法完全证明，也没关系，先保证代码能跑，测试要尽量全，边界情况和随机输入都要考虑。你可以先把基础框架和最常用的几个模块整理好，再继续补全其它目录里的内容。要是需要，我也希望你能顺手检查一下 README 里的使用说明，让项目更容易跑起来，必要时查一下最新的 MoonBit，Why3，Z3 文档。