yilabsai/houyiagent

HouYiAgent is a lightweight, production-ready multi-agent framework built on Pydantic v2 that combines declarative programming with neuro-symbolic verification for reliable agent execution. It features async event-driven execution, cross-platform SimpleSkills capability model, zero-config observability with OpenTelemetry, and formal verification using Z3 SMT solver. The framework is designed for developers building production AI agents who need robust governance, cost control, and comprehensive evaluation capabilities.