MCP serverHamjamiyat
Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Tavsif asl tilda
atomadictech · ↓ 0 ta o'rnatish
O'rnatish
Konfiguratsiyani mijoz sozlamalariga qo'shing. <Burchak qavslar> ichidagi qiymatlarni o'zingiznikiga almashtiring.
Konfig fayli: claude_desktop_config.json
Yoki bitta buyruq bilan — CLI tanlangan mijoz konfigiga qoʻshadi:
CLI
npx ai-point add io.github.atomadictech/atomadic-forgeInstrumentlar
Instrumentlar ro'yxati serverda sinov muhiti paydo bo'lganda yoki tahririyat uni to'ldirganda ko'rinadi.