Check alpha-forge prerequisites and capabilities before use. Returns binary found, version, authentication, plan, doctor, and error status without failing on missing binary.
Apache 2.0
Crie épicos, features, histórias e tasks no Azure DevOps a partir de uma conversa.
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.