Skip to content
View fprochazka's full-sized avatar
🏠
Working from home
🏠
Working from home

Organizations

@Kdyby @framefork

Block or report fprochazka

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Give your AI agent a Pup — a CLI companion with 200+ commands across 33+ Datadog products.

Rust 632 57 Updated Apr 12, 2026

Unblock, scrape, and search tools for MCP clients

JavaScript 60 5 Updated Apr 1, 2025

Open source repository of plugins primarily intended for knowledge workers to use in Claude Cowork

Python 11,122 1,269 Updated Apr 10, 2026

Persistent cluster-friendly scheduler for Java

Java 1,540 239 Updated Apr 10, 2026

The next-generation file converter. Open source, fully local* and free forever.

Svelte 14,577 745 Updated Apr 1, 2026

jfmt is an opinionated java source code formatter for the command line

Java 45 3 Updated Feb 4, 2026

postgresai – Postgres observability built for humans and AI agents

Python 119 9 Updated Apr 10, 2026

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

OCaml 14,768 909 Updated Apr 11, 2026

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]

Python 18,971 2,050 Updated Apr 6, 2026

🙌 OpenHands: AI-Driven Development

Python 71,071 8,926 Updated Apr 12, 2026

An MCP server that autonomously evaluates web applications.

Python 1,235 106 Updated Feb 11, 2026

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

Kotlin 3,292 316 Updated Apr 12, 2026

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

Python 1,143 76 Updated Mar 17, 2026
Shell 153 11 Updated Apr 12, 2026

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

Kotlin 1,333 207 Updated Apr 10, 2026

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

Java 3,358 864 Updated Apr 10, 2026

Specification and documentation for the Model Context Protocol

TypeScript 7,784 1,438 Updated Apr 11, 2026

Agent2Agent (A2A) is an open protocol enabling communication and interoperability between opaque agentic applications.

Shell 23,150 2,348 Updated Apr 9, 2026

PostgreSQL zero-downtime migrations made easy

Go 6,417 143 Updated Feb 17, 2026

Model Context Protocol Servers

TypeScript 83,568 10,352 Updated Mar 29, 2026

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

Rust 83,131 2,934 Updated Apr 12, 2026

A high-performance observability data pipeline.

Rust 21,630 2,092 Updated Apr 12, 2026

A commenting system powered by GitHub Discussions. :octocat: 💬 💎

TypeScript 11,527 469 Updated Jul 6, 2025

Static analysis for GitHub Actions

Rust 4,138 161 Updated Apr 12, 2026
Kotlin 1 Updated Dec 9, 2024

A command-line benchmarking tool

Rust 27,853 471 Updated Feb 14, 2026
Kotlin 1 Updated Dec 22, 2025
Python 1 Updated Jan 5, 2026

Advent of Code

Rust 3 Updated Dec 28, 2025

The Kotlin Programming Language.

Kotlin 52,573 6,278 Updated Apr 12, 2026
Next