Explore/framework/KNighter
K

ise-uiuc/KNighterAbandoned

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

frameworkC++Apache-2.0
GitHubCompare
Refreshed 2h ago
OverviewActivity52wAlternativesDocs
Stars189
Forks27
HF Downloads—30d
Last commit11mo ago
Refreshed2h ago
Project healthAbandonedNo commits in 11 months.
Production readinessResearch / EarlyBest for exploration and prototyping.
Risk notesApache-2.0Verify license before production use.
AgentHub Score
55 / 100
Composite score from 6 signals. How we score →
Active project
55Score
Growth
81B+
Activity
30C
Documentation
50C
Maturity
70C+
Community
81B+
Production
58C
GitHub stars · 74 days observed189 +0.53% / 30d
snapshots
Repository activity · 74 days observedReal snapshots from pushed_at
inactivepushed
2026-07-262026-10-09
Practical assessment
Should you use it?

✓ Best for

  • Multi-agent orchestration
  • Production agentic workflows
  • Stateful long-running tasks

◎ Strengths

  • Stable API
  • Active release cadence
  • Strong GitHub community

✕ Not ideal for

  • Simple single-step automation
  • Teams without Python/ML expertise

⚠ Watch-outs

  • Breaking changes between minor versions
  • Ecosystem lock-in if tightly coupled
Technical details
What's inside
LanguageC++
LicenseApache-2.0
Sourcegithub
Open source✗ No
Commercial use—
Docs—
Demo—
Paper—

AgentHub Score

55
Score 55/100
Below average

Alternatives

E
ECC
275.4k · framework
95
P
ponytail
158.6k · framework
95
C
cc-switch
141.4k · framework
95
G
graphify
124.8k · framework
95
Compare all →

Recent activity

Latest commit 11mo ago11mo ago
Indexed by AgentHub crawler2h ago
Monitor for new releasesongoing