← Discover MCPs and Agents
K
AgentAI & MLGitHub

KNighter

[SOSP'25] Automatic checker synthesis for system-level static analysis

Links

Repository

Collected info

  • ★ 180 stars
  • ⎇ 22 forks
  • Language: C++
  • Source updated: 6/9/2026