Avatar for Aidan Yang from gravatar.com

Aidan Yang

Username    aidanby
Date joined   Joined

1 project

athanor-ai

Last released

Formal verification as agentic training signal — CLI + self-hosted runner

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page