Starred repositories
Open-source MCP server for LinkedIn. Give Claude and any MCP-compatible AI agent access to profiles, companies, jobs, and messages.
Calculates cognitive complexities of functions (and methods) in Go source code. (Golang cognitive complexity)
Ghost in your shell. Ante is a self-contained agent harness with a highly optimized core. It works like Claude Code or Codex, with none of their dependencies or model constraints.
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
Dafny is a verification-aware programming language
Programming language for literate programming law specification
Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.
Kiro is an agentic IDE that works alongside you from prototype to production.
Semantic version control => entity-level diffs, blame, and impact analysis on top of git. 28 languages via tree-sitter. Built for coding agents.
Translate your Go program into multiple languages.
University Domains and Names Data List & API
Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors
The official Go SDK for Model Context Protocol servers and clients. Maintained in collaboration with Google.
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
💫 Toolkit to help you get started with Spec-Driven Development
Continuous drift detection for Terraform & Terragrunt stacks
Multi-tenant REST API that persists data in different schemas
WebSocket emulation - Javascript client
Clean, type- and null-safe Kotlin mapping code generation at compile-time with Java interop
A framework example for Server Driven UI (SDUI) that teaches you the best practices to scale.
CLI to create a Spring Boot with Thymeleaf project
Java embedded PostgreSQL component for testing