Avatar for Antonio Cantallops Alba from gravatar.com

Antonio Cantallops Alba

Username    DokenTokuyama
Date joined   Joined

2 projects

rust-audit

Last released

Static auditor and auto-fixer for AI-generated Rust traps — stubs, fake tests, swallowed errors, panic/unsafe misuse, hallucinated or typosquatted crates

veyra-proof

Last released

Evidence-based Rust workspace audit: runs the real toolchain and reports only what it can prove
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page