🎉v0.1.2 已发布 - 新增企业级功能

Map. Verify. Steer Cross-Service Choreography

契约即代码交互逻辑治理平台。通过双规约原则（ServiceSpec + FlowSpec）进行契约验证和执行，将追踪转换为可执行契约，在 CI/CD 和运行时验证微服务编排。

跨平台支持

5分钟快速开始

开源免费

terminal

$ choreoatlas validate --flow order-fulfillment.flowspec.yaml \
                      --trace successful-order.trace.json

✅ FlowSpec validation passed
✅ ServiceSpec contracts validated  
✅ Execution trace matches choreography
✅ All conditions satisfied

📊 Coverage: 95% | Steps: 8/8 | Services: 4/4
🎯 Baseline: ↑2% vs previous run

500+

开源下载

企业用户

99.9%

验证准确率

核心能力

Atlas 组件家族

Scout 探索、Proof 校验、Pilot 指导 - 全方位微服务编排治理

双规约验证

ServiceSpec 服务级契约 + FlowSpec 编排级规约，确保服务间交互的完整性和一致性

实时验证

基于执行追踪的动态验证，将实际运行情况与预期编排进行对比

可观测性集成

支持 OTLP、Jaeger、Tempo 等主流链路追踪系统，无缝集成现有基础设施

CI/CD 门禁

与 GitHub Actions、Jenkins 等 CI/CD 系统集成，在部署前验证服务编排

自动发现

Atlas Scout 从追踪数据自动生成初始 FlowSpec，降低接入成本

智能告警

基线漂移检测、异常抑制、智能通知，减少噪声提高效率

FlowSpec 示例

order-fulfillment.flowspec.yaml

info:
  title: "订单履行流程"
  version: "1.0.0"
  
services:
  order: 
    spec: "./services/order.servicespec.yaml"
  payment:
    spec: "./services/payment.servicespec.yaml"
  inventory:
    spec: "./services/inventory.servicespec.yaml"
    
flow:
  - step: "创建订单"
    call: "order.create"
    input:
      items: "${request.items}"
    output:
      orderId: "response.id"
      
  - step: "验证库存"
    call: "inventory.check"  
    input:
      items: "${request.items}"
      orderId: "${orderId}"
    output:
      available: "response.available"
      
  - step: "处理支付"
    call: "payment.process"
    input:
      amount: "${request.amount}"
      orderId: "${orderId}"
    condition: "${available == true}"
    output:
      paymentId: "response.id"