Lists (3)
Starred repositories
Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents
A desktop app for isolated, parallel agentic development
Use Garry Tan's exact Claude Code setup: 15 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
AI agents running research on single-GPU nanochat training automatically
This MCP server allows Claude and other AI assistants to access your LinkedIn. Scrape LinkedIn profiles, companies and jobs, and perform job searches.
Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.
nCPU: model-native and tensor-optimized CPU research runtimes with organized workloads, tools, and docs
Scala ORM to query SQL databases from Scala via concise, type-safe, and familiar case classes and collection operations. Connects to Postgres, MySql, H2, and Sqlite out of the box
LLMs as Copilots for Theorem Proving in Lean
Visual Studio Code extension for the Lean 4 proof assistant
Koog is a JVM (Java and Kotlin) framework for building predictable, fault-tolerant and enterprise-ready AI agents across all platforms – from backend services to Android and iOS, JVM, and even in-b…
⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more
The AI Toolkit for TypeScript. From the creators of Next.js, the AI SDK is a free open-source library for building AI-powered applications and agents
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…
Leaderboard Comparing LLM Performance at Producing Hallucinations when Summarizing Short Documents
State of the art mutation testing system for the JVM
A lightweight Model Context Protocol (MCP) server for safe Obsidian vault access
nlspec of StrongDM's Attractor, a non-interactive Coding Agent sufficient for use in a Software Factory
Example implementation of Algorithm W for Hindley-Milner type inference
The official Java SDK for Model Context Protocol servers and clients. Maintained in collaboration with Spring AI
The official Kotlin SDK for Model Context Protocol servers and clients. Maintained in collaboration with JetBrains