GitHub repository: mdatikshahriar/SpecSentinel
Primary language: Python
Description: AI-powered specification linter for detecting inconsistencies, ambiguities, and semantic drift in programming language specs — starting with Java Language Specification (JLS) and JVM Spec.