{"slug": "prose-to-proof-software-engine", "title": "Prose to proof software engine", "summary": "The-dark-factory released Crucible, an AGPL-3.0-or-later tool that converts written specifications into Ada/SPARK code with a machine-checked proof and refuses to deliver anything it cannot prove. Crucible uses Qwen 2.5 Coder and Qwen 3.8 Coder to design and build code, runs on local resources, and works best with Claude under MCP, per the project's GitHub repository and CONNECTING.md instructions.", "body_md": "I’ve got a prose to code with proof creator at [GitHub - the-dark-factory/Crucible_AGPL: CRUCIBLE — a factory that turns a written specification into Ada/SPARK with a machine-checked proof, and refuses to deliver anything it could not prove. AGPL-3.0-or-later. · GitHub](https://github.com/the-dark-factory/Crucible_AGPL) which uses the Qwen 2.5 coder and the qwen 3.8 coder to design and build code. [GitHub - the-dark-factory/Crucible_AGPL: CRUCIBLE — a factory that turns a written specification into Ada/SPARK with a machine-checked proof, and refuses to deliver anything it could not prove. AGPL-3.0-or-later. · GitHub](https://github.com/the-dark-factory/Crucible_AGPL).      , its best used with Claude under MCP  but it provides proven code rather than vibed code from prose. Because it runs on local resources it is far more reasonable in electricity!     The instructions on how to mcp are at [Crucible_AGPL/CONNECTING.md at main · the-dark-factory/Crucible_AGPL · GitHub](https://github.com/the-dark-factory/Crucible_AGPL/blob/main/CONNECTING.md)", "url": "https://wpnews.pro/news/prose-to-proof-software-engine", "canonical_source": "https://forum.level1techs.com/t/prose-to-proof-software-engine/256915#post_1", "published_at": "2026-09-22 18:05:20+00:00", "updated_at": "2026-09-22 18:25:56.715220+00:00", "lang": "en", "topics": ["ai-tools", "developer-tools", "agent-protocols", "ai-agents", "large-language-models"], "entities": ["Crucible", "the-dark-factory", "Qwen 2.5 Coder", "Qwen 3.8 Coder", "Claude", "MCP", "Ada", "SPARK"], "alternates": {"html": "https://wpnews.pro/news/prose-to-proof-software-engine", "markdown": "https://wpnews.pro/news/prose-to-proof-software-engine.md", "text": "https://wpnews.pro/news/prose-to-proof-software-engine.txt", "jsonld": "https://wpnews.pro/news/prose-to-proof-software-engine.jsonld"}}