IndiePort

Lean AI 工具

探索標籤為「lean」的 AI 工具。

2 個工具· 2 個免費
Open Ontologies

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

ai-nativedescription-logicsformal-verificationinfrastructure-as-code+4
0
前往
Carbon
Carbon開源

Open-source manufacturing ERP, MES and QMS. Quoting, MRP, inventory, shop floor, quality and lot/serial traceability on one Postgres schema, with a REST API and MCP server. Self-host or use Carbon Cloud.

ai-agentsbill-of-materialserpinventory-management+4
0
前往

相關標籤

ai-nativedescription-logicsformal-verificationinfrastructure-as-codeisabelle-languageknowledge-graphlean4ai-agentsbill-of-materialserpinventory-managementmanufacturing