MakerRelay
+ Submit
← GitHub Trending

GitHub topic

ai-safety GitHub repositories

Explore 6 tracked GitHub repositories tagged ai-safety. Compare their recorded star activity and implementation languages, then follow related topics to find other projects.

Snapshot: 2026-10-28. The collection gained 62 stars since the previous daily snapshot.

Tracked repositories
6
Total stars
14,189
Stars gained · 7 days
+357
Stars gained · 30 days
+837

Compare star activity

Up to five projects on this page, ordered by total stars. Open a project for its description and recorded star history.

Swipe to compare all star periods →

Star activity for ai-safety repositories on this page
RepositoryTotal starsToday7 days30 days
Tencent/AI-Infra-Guard7.1K+33+225+543
sahibzada-allahyar/Formal-Verification-RSI2.9K+1+5+5
kenryu42/cc-safety-net1.8K+28+119+263
cvs-health/uqlm1.2K+0+3+10
chrisliu298/awesome-llm-unlearning637+0+5+14

Explore repositories

Showing 1–6 of 6 tracked repositories.

sahibzada-allahyar/Formal-Verification-RSI

Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.

kenryu42/cc-safety-net

A pre-execution guard for AI coding agents. It blocks destructive Git and file system commands, plus common attempts to access sensitive files, before a tool call runs. Supports Amp Code, Antigravity CLI, Claude Code, Codex, Cursor, DeepSeek Harness, Devin CLI, GitHub Copilot CLI, Grok Build, Hermes Agent, Kimi Code, OpenClaw, OpenCode, and Pi.