FSL

FSL, a governed symbolic language for making autonomous-agent claims inspectable, has released version 1.1.8 of its public package, which includes 32 theorem records with 31 machine-checked by Lean 4 …

Dropway launches a platform that lets users share HTML and Markdown files generated by LLMs via drag-and-drop, CLI, or MCP integration, with per-site access controls and automatic versioning. The tool…