Server implementing the Microsoft Language Protocol for Ada and SPARK

An MCP server wrapper in Python for the standard Ada Language Server (ALS)

dev tools, env vars, task runner

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

Production-grade Ghidra MCP Server — 132 endpoints, cross-binary documentation transfer, batch analysis, headless mode, and Docker deployment for AI-powered reverse engineering

Official repo for spec & SDK of MCP Apps protocol - standard for UIs embedded AI chatbots, served by MCP servers

A Kotlin Multiplatform library providing resilience patterns (Timeout, Retry, Circuit Breaker, Rate Limiter, Bulkhead, Hedging, Cache, Fallback) for suspend functions. Compose them declaratively wi…

A simple, yet powerful, State Machine to manage UI complex UI states, written in Kotlin for multiplatform usage!

On-device LLM inference for Kotlin Multiplatform (Android, iOS, Desktop, JVM) using llama.cpp and STT through whisper.cpp

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

convert simple cryptol expressions into finite-state machines

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

🙌 OpenHands: AI-Driven Development

Kilo is the all-in-one agentic engineering platform. Build, ship, and iterate faster with the most popular open source coding agent. #1 on OpenRouter. 1.5M+ Kilo Coders. 25T+ tokens processed

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

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]

Minimal CLI coding agent by Mistral

AI coding agent for software engineers

Automated generation of provably secure, zero-copy parsers from format specifications

Verified DICE based Boot Firmware for STM32H7

An introduction to programming language theory in Agda

A high-throughput and memory-efficient inference and serving engine for LLMs

Microsoft BASIC for 6502 Microprocessor - Version 1.1

Paper2Agent is a multi-agent AI system that automatically transforms research papers into interactive AI agents with minimal human input.

Zork I (Microcomputer Version) by Infocom

A simple CLI to install MCP servers into any client - auth included!

Build Real-Time Knowledge Graphs for AI Agents

Semi-Structured Agentic Framework. Workflows build themselves as agents discover what needs to be done, not what you predicted upfront.