**项目简介（2‑3 句）** Intrafere / MOTO‑Autonomous‑ASI 是一套基于 Lean 4 的自动化 AI 研究平台，能够在本地或通过 OpenRouter、OAuth 等渠道并行运行多代理，持续数天无需人工干预。它把零散的 Prompt 与工具包装成可重复的工作流，专为 STEM 研究者