JuanMarchetto / agent-skills Star 5 Code Issues Pull requests 25+ skills for AI coding assistants — multi-agent panels, evaluation pipelines, testing, browser automation, and moretestingautomationskillsevaluationmulti-agentbrowser-automationai-agentsai-toolsclaude-coderust-migration Updated Mar 26, 2026Shell
AkashPriyadarshii / c2proof Star 0 Code Issues Pull requests C to Rust migration with a verification report. Verifier-first c2rust wrapper: flat C repo in, compiling Rust port PR + proof artifact out.ruststatic-analysistranspilermemory-safetylegacy-codecli-toolgithub-actionsc2rustc-to-rustcode-modernizationrust-migration Updated Aug 23, 2026Rust