OpenAgentSkill Registry Manifest
Skill: KNighter
Slug: ise-uiuc-knighter
Category: agent-frameworks
Description: [SOSP'25] Automatic checker synthesis for system-level static analysis

Agent fit:
- Decision: 52/100 Needs manual review
- Primary fit: Coding agents
- Role: Needs validation

Supply profile:
- Track: Coding and developer agents
- Scenario: Coding agents
- Applicable agents: Claude Code, CLI, Codex, Cursor, C++
- Maintenance: 8mo since push
- Risk: Needs review

Trust:
- Trust score: 75/100 Strong shortlist
- Audit: 74/100 Needs review

Attribution:
- Status: Community indexed
- Source: GitHub star discovery
- Creator: ise-uiuc
- Claim URL: https://www.openagentskill.com/skills/ise-uiuc-knighter#claim-this-skill

Install:
npx skills add ise-uiuc/KNighter

URLs:
- Web: https://www.openagentskill.com/skills/ise-uiuc-knighter
- API: https://www.openagentskill.com/api/agent/skills/ise-uiuc-knighter
- Install API: https://www.openagentskill.com/api/skills/ise-uiuc-knighter/install
- Repository: https://github.com/ise-uiuc/KNighter