FSL 发布面向 AI 生成与验证的形式化规格语言及 fslc 验证器

ymm-oss 开源了 FSL，一种为生成式 AI 设计的形式化规格语言，配套的 Rust 原生验证器 fslc 内置 Z3，支持 BMC、k-induction 无限深度证明和无求解器的显式状态引擎，输出机器可读 JSON 以支撑 LLM 写、验、修的循环。规格分 business、requirements、design 三层方言并通过 refinement 链接，fslc 还能生成集成测试脚手架、做事件日志一致性检查，并随附供 Claude Code 等 Agent 使用的多个 Agent Skills。