Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
47,133 repositories indexed
1–18 of 18 · Most stars
Python Type Checker / Language Server
The instafailing RSpec progress bar formatter
Cross-platform GitHub contribution streak and statistic tracking menu bar application with reminder notification
Cover your Mac's screen with a hotkey while AI agents keep running, even with the lid closed. The covered screen glows when Claude Code, Codex or Gemini needs you. Touch ID unlock.
A gatling plugin for running load tests on Apache Dubbo(https://github.com/apache/incubator-dubbo) and other java ecosystem.
In the midst of all the tools out there that you can possibly use to keep track of them. Here's a "shovel" that just works to try them all out.
Evaluate Nodejs Code Snippets From Menubar! :computer:
Simple Container-Utilizing Build Apparatus
Swift implementation of Github REST API v3
Cut context bloat in your AI-agent stack: find and safely prune unused skills, MCP servers and subagents from real transcript evidence
GitHub App authentication for Go: installation tokens, JWTs and PATs as oauth2.TokenSource, plus webhook signature verification and KMS/HSM signing
Simple MacOS app to alert you when you have unread GitHub notifications
Type-safe Swift client for GitHub's REST API, generated from GitHub's official OpenAPI spec with Apple's Swift OpenAPI Generator. Auto-released monthly.
🧭 Let your coding agent off the leash — not off the rails. Guardrails, a hard budget cap & a self-fixing PR loop for Claude Code / Codex / Gemini. Eval-gated 100/100, you always merge.
It falls out of your notch. Hotkey, repo, Return: your terminal opens with Claude Code, Codex or any agent already running. Free, MIT, local-only macOS.
See where it leaks, stop paying for it — a live Claude Code status line that prices every turn, your subagents, cache rebuilds, plus limits, context and git.
Package manager for MCP servers, Agent Skills (SKILL.md), and Claude Code commands, hooks, subagents, and output styles. Installs into Claude Code, Cursor, Codex, Gemini CLI, Copilot, and Cline.
Find the Greatest Common Divisor using Euclidean Algorithm