Show HN: UPA – An explicit organizational model for humans and AI

Category: devtools

Tags: formal-verification, knowledge-modeling, z3, ai-agents, business-rules

Score: 7.0/10 (Innovation: 8, Technical: 8, Documentation: 8, Utility: 4)

UPA is an explicit organizational modeling language and toolchain that captures business rules, workflows, evidence, assumptions, and unknowns in a machine-readable format, then uses Z3 to formally verify properties of the model. It aims to give AI agents and humans a shared, traceable 'organizational brain' that bridges probabilistic AI and deterministic business rules, with code generation and a viewer for inspecting models.

Target audience: software architects, business analysts, AI/agent developers, devops

Repository: https://github.com/julianfromano/upa-organization-brain · Python · MIT

View on Hacker News