Explore/framework/KNighter
K

ise-uiuc/KNighterAbandoned

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

frameworkC++Apache-2.0
GitHubCompare
Refreshed just now
OverviewActivity52wAlternativesDocs
Stars188
Forks25
HF Downloads30d
Last commit10mo ago
Refreshedjust now
Project healthAbandonedNo commits in 10 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 · 35 days observed188 +3.30% / 30d
snapshots
Repository activity · 35 days observedReal snapshots from pushed_at
inactivepushed
2026-07-262026-08-31
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
245.1k · framework
95
H
hermes-agent
238.9k · framework
95
C
cc-switch
130.4k · framework
95
G
graphify
113.0k · framework
95
Compare all →

Recent activity

Latest commit 10mo ago10mo ago
Indexed by AgentHub crawlerjust now
Monitor for new releasesongoing