Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]

🙌 OpenHands: Code Less, Make More

An MCP server that autonomously evaluates web applications.

Agent framework for the JVM. Pronounced Em-BAY-bel /ɛmˈbeɪbəl/

Your single pane of glass for real-time analytics into MySQL/MariaDB & ProxySQL

The official Kotlin SDK for Model Context Protocol servers and clients. Maintained in collaboration with JetBrains

The official Java SDK for Model Context Protocol servers and clients. Maintained in collaboration with Spring AI

Specification and documentation for the Model Context Protocol

An open protocol enabling communication and interoperability between opaque agentic applications.

PostgreSQL zero-downtime migrations made easy

Model Context Protocol Servers

An extremely fast Python package and project manager, written in Rust.

A high-performance observability data pipeline.

A commenting system powered by GitHub Discussions. 💬 💎

Static analysis for GitHub Actions

A command-line benchmarking tool

Advent of Code

The Kotlin Programming Language.

A JUnit5 Extension to help write tests that call System.exit()

A Gradle plugin to make your Java code check for nullability by default

🚀 Release projects quickly and easily with JReleaser

Describing CSV files, typing CSV data

Package to support internationalization, containing ISO 3166-1 country code enum, ISO 639-1 language code enum, etc.

An IntelliJ plugin which allows you to edit diagrams.net (formerly known as draw.io) diagrams directly in IntelliJ!

Index classes, do not scan them!