ChoreoAtlas CE
Open source contract-as-code interaction logic governance platform. Validate and execute through dual specifications with real trace-driven executable dual contracts.
Core Features
Everything you need for microservice choreography validation and governance
ServiceSpec + FlowSpec Dual Contracts
Parse and validate dual contracts with JSON Schema validation
Semantic Validation
Service-level semantic validation (CEL conditions) + orchestration-level temporal/causal/DAG validation
HTML/JSON/JUnit Reports
Coverage/summary reports with basic baseline and thresholds
Discovery from Traces
Generate initial ServiceSpec + FlowSpec dual contracts from traces
CI Integration
GitHub Action (composite) with minimal examples
Zero Data Collection
Completely local operation, no telemetry, no external calls
Trusted by Developers
CE FAQ
Is CE truly offline and zero telemetry?
Yes. CE runs locally with zero telemetry and no external calls.
Does CE support CI integration?
Yes. A composite GitHub Action and minimal examples are provided.
What specs does CE validate?
ServiceSpec semantics and FlowSpec orchestration invariants using trace-driven execution.
Ready to get started?
Start validating your microservice choreography today with ChoreoAtlas CE.