A multi-transport micro MCP server core (asyncio and synchronous)
☆22Jul 21, 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.☆23Sep 22, 2023Updated 2 years ago
- Gruvbox colorscheme that uses Pygments to highlight IPython.☆11Aug 31, 2020Updated 5 years ago
- ANSI drawing tool, supports ANSI/ASCII/AVATAR/PCBorard, XBIN/BIN .xb/.bin, IceDraw .idf, Artworx .adf and TundraDraw .tnd files.☆12Apr 10, 2024Updated 2 years ago
- An Aseprite JSON parser for Golang☆10Jul 21, 2024Updated 2 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 7 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Single file PCX image loader.☆11Sep 24, 2019Updated 6 years ago
- GIMP plug-in for convenient switching between frames in animations☆13Dec 28, 2022Updated 3 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated last year
- A maintained version of the original ("classic") Pascal codebase for ZZT.☆14Mar 11, 2026Updated 5 months ago
- QB64-PE bindings for raylib (a simple and easy-to-use library to learn videogames programming)☆13Oct 3, 2024Updated last year
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- ☆19Apr 24, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 3 years ago
- Python + PyQt Sprite Editor and Animator☆14Aug 16, 2019Updated 6 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Windows binaries for sfarkxtc (to uncompress soundfonts)☆12Sep 14, 2025Updated 11 months 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☆12Sep 3, 2020Updated 5 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- A String Manipulation Library for Wren☆13Jul 22, 2017Updated 9 years ago
- Explore the Apple 2 HGR amd DHGR esoteric screen layout with bit twiddling and byte manipulation.☆14Dec 19, 2025Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Firefox addon which let you view .ans file in the browser.☆15Feb 11, 2022Updated 4 years ago
- c64 assembly course☆15Nov 8, 2025Updated 9 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
- SDL2_gfx Mirror, likely out of date☆14May 16, 2016Updated 10 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Ableton Live 10 Theming tool - Windows☆16Jan 14, 2018Updated 8 years ago
- ☆10Jul 29, 2022Updated 4 years ago
- A forth-inspired, bytecode-compiled scripting language for Anachro Powerbus☆14Dec 8, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Template for Lean<->Rust FFI☆17Feb 11, 2024Updated 2 years ago
- Various Samples☆13Jan 17, 2026Updated 6 months ago
- UCI-compatible chess engine in OCaml.☆15Apr 20, 2025Updated last year
- Text User Interface for QB64 projects☆11Jun 29, 2026Updated last month
- A Godot 4 plugin to render a terminal-like ASCII grid.☆16Mar 16, 2024Updated 2 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Jun 2, 2026Updated 2 months ago
- Yet Another Roguelike Tutorial in Godot(C#)☆12Jun 17, 2024Updated 2 years ago