Tagged "development-workflows"

3 articles tagged development-workflows, 12 February 2026 to 17 March 2026. Newest first.

• Mistral Releases Leanstral: First Open-Source Code Agent for Lean 4 Proof Assistant 17 March 2026

  Mistral AI releases Leanstral-2603, the first open-source code agent specifically designed for the Lean 4 proof assistant, enabling local automated mathematical theorem proving and formal verification.

• Massu: Governance Layer for AI Coding Assistants with 51 MCP Tools 23 February 2026

  Massu introduces a governance and orchestration layer for AI coding assistants, integrating 51 Model Context Protocol tools. This addresses control and safety concerns for developers deploying local LLM-based coding agents.

• ByteDance Releases Seedance 2.0 AI Development Platform 12 February 2026

  ByteDance has launched Seedance 2.0, an updated AI development platform that may include new capabilities for model deployment and inference optimization.