A multi-transport micro MCP server core (asyncio and synchronous)
☆23Aug 29, 2026Updated 3 weeks ago
Alternatives and similar repositories for umcp
Users that are interested in umcp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool for generating random, syntactically-correct Python code. Designed for fuzzing and testing of tools that parse Python code.☆22Sep 22, 2023Updated 3 years ago
- Gruvbox colorscheme that uses Pygments to highlight IPython.☆11Aug 31, 2020Updated 6 years ago
- Send sstv with an esp32 and a DDS☆12Mar 16, 2025Updated last year
- A static site generator using isomorphic react☆12Mar 10, 2015Updated 11 years ago
- Minimally Invasive bash Preprocessor☆15May 15, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 8 months ago
- Pmod™ Compatible USB ULPI PHY☆14Apr 30, 2022Updated 4 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- Nurpax's PETMATE PETSCII graphics app, with updates by wbochar☆14Sep 13, 2026Updated 2 weeks ago
- Parametric OpenSCAD model for making coil forms for coax-traps for wire antennas.☆17Jun 25, 2020Updated 6 years ago
- The Lord of Gifs! ...Hahahaha shut up.☆10Jul 12, 2026Updated 2 months ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Banana jack module☆16Feb 14, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- Python + PyQt Sprite Editor and Animator☆14Aug 16, 2019Updated 7 years ago
- A versatile and powerful data platform allowing interactive searches, dashboards, alerts, and more.☆26Aug 7, 2026Updated last month
- Node module for modifying XML files.☆13Mar 31, 2018Updated 8 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Crabzilla provides a simple interface for running JavaScript modules alongside Rust code.☆16Dec 23, 2021Updated 4 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- ☆15Dec 24, 2025Updated 9 months ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A String Manipulation Library for Wren☆13Jul 22, 2017Updated 9 years ago
- ☆13Dec 17, 2019Updated 6 years ago
- c64 assembly course☆15Nov 8, 2025Updated 10 months ago
- Display a Koala Pad Picture in Assembly Language on the Commodore 64☆10Jun 22, 2024Updated 2 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 years ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 6 years ago
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆13Jul 16, 2024Updated 2 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆24Oct 7, 2024Updated last year
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated 10 months ago
- PCUAE Manager (Project Carousel Usb Anniversary Edition) is an application for managing installation of the PCUAE software and managing g…☆20Feb 6, 2026Updated 7 months ago
- An adjustable T Match where the capacitors and inductors are on the PCB.☆19Jun 8, 2023Updated 3 years ago
- ☆10Jul 29, 2022Updated 4 years ago
- Template for Lean<->Rust FFI☆17Feb 11, 2024Updated 2 years ago
- ☆10Sep 21, 2024Updated 2 years ago