skills for coding agents related to marimo
Repositories
mvanhorn repositories
Open-source framework for the research and development of foundation models.
Python tool for converting files and office documents to Markdown.
A WYSIWYG Markdown editor with native AI. Fully open source. Free to use. Your data stays local.
Blazing fast and lightweight PostGIS, MBtiles and PMtiles tile server, tile generation, and mbtiles tooling.
From the team behind Gatsby, Mastra is a framework for building AI-powered applications and agents with a modern TypeScript stack.
A beautiful and functional email client for your terminal, built with Go and the charming Bubble Tea TUI library. Never leave your command line to check your inbox or send an email again!
An extensive math library for JavaScript and Node.js
Matrix Client-Server SDK for JavaScript
matrix.org public website
Lightweight HTTP bridge that forwards webhook payloads as Matrix messages, impersonating per-sender bot users via an Application Service token.
AI-native HTAP database with Git-for-Data and built-in vector search, serving as the data and memory backbone for intelligent agents and applications.
Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages
Apache Maven core
The Teleport Coding Challenge — contest hub at mazesofmenace.ai
Quality Assurance checks for grid data derived from Multi Beam Echo Sounder data
Bridge an MCP stdio client (Claude Desktop) to a remote MCP server speaking the SSE transport without the need to use Node.js. Zero dependencies, single binary.
An AI Gateway, registry, and proxy that sits in front of any MCP, A2A, or REST/gRPC APIs, exposing a unified endpoint with centralized discovery, guardrails and management. Optimizes Agent & Tool calling, and supports plugins.
MCP server for Grafana