Open-source MCP server for secure, low-latency cloud-browser automation on Kernel.
☆37Oct 8, 2026Updated this week
Alternatives and similar repositories for kernel-mcp-server
Users that are interested in kernel-mcp-server are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kernel CLI☆28Updated this week
- Demo AI Agent that executes browser automation tasks from natural language using Kernel's playwright execution API and Vercel AI SDK☆17Nov 7, 2025Updated 11 months ago
- ☆15Updated this week
- Single page app that serves as a remote control to trigger MacroDroid actions on remote Android devices connected to internet and running…☆18Oct 12, 2024Updated last year
- Provides a simple low-poly shader for zylann's terrain plugin☆14Jun 29, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- RabbitMQ example used in Jstobigdata tutorial☆13Oct 24, 2023Updated 2 years ago
- Scan GitHub forks of your repo for patterns worth upstreaming. A Pi extension.☆16Apr 17, 2026Updated 5 months ago
- Godot-3D-Procedural-Infinite-Terrain☆21Sep 2, 2025Updated last year
- minidlna plugin for OpenMediaVault☆11Aug 16, 2026Updated last month
- ☆19Jun 19, 2026Updated 3 months ago
- Public ErdosBench smoke test: 14 public-source Erdős-style problems and baseline reports☆26Jun 8, 2026Updated 4 months ago
- This repository serves as a central hub for discovering tools and services focused on automated prompt engineering. Whether you're lookin…☆16Oct 11, 2024Updated last year
- Lightcone: SDK for computer use agents☆18Jul 16, 2026Updated 2 months ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 5 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.
- F-Droid repository for Molly.☆13Jul 31, 2026Updated 2 months ago
- Cloud Browser MCP server☆41Jul 26, 2025Updated last year
- JSON schema of graphcool.yml files☆12Dec 11, 2020Updated 5 years ago
- A collection of general utility and mathematical functions for GameMaker Studio 2 (Version 2.3).☆17Jun 12, 2023Updated 3 years ago
- Multi-platform chatbot adapters for OpenCode — Slack, Discord, Telegram☆16Mar 26, 2026Updated 6 months ago
- A list of Free Software network services and web applications which can be hosted locally. Selfhosting is the process of hosting and mana…☆12Nov 16, 2019Updated 6 years ago
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 6 months ago
- The Python interface for YARA http://virustotal.github.io/yara/☆20Jul 13, 2017Updated 9 years ago
- Template for your own Personal User Manual☆19Jul 10, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Trajectory Recording and Capture Environments☆19Jan 24, 2026Updated 8 months ago
- 🐵 Userscipts for Firefox and Chrome☆23Feb 9, 2026Updated 8 months ago
- Distributed compute that processes documents.☆20Jul 11, 2026Updated 2 months ago
- The Mobile App Pentest cheat sheet was created to provide concise collection of high value information on specific mobile application pen…☆16Apr 11, 2017Updated 9 years ago
- Guide to Forbidden Knowledge☆24Nov 16, 2025Updated 10 months ago
- sherp is a CLI for building presentations from Markdown/MDX. Instant dev server, multiple themes, keyboard navigation, and PDF export.☆17Nov 29, 2025Updated 10 months ago
- Samsung's CodeSigner☆14Sep 28, 2020Updated 6 years ago
- Rust bindings for CTranslate2☆14Jun 21, 2023Updated 3 years ago
- A small example repo for building a backend with LlamaParse☆22May 13, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Godot 4.2 Procedurally Generated Terrain (Chunk System) 3D Desert is a project showcasing dynamic, real-time terrain generation in a vast…☆26Apr 1, 2024Updated 2 years ago
- 📓 Manage your notes & tasks in a tidy and fancy way. A taskbook clone written in Python.☆11Oct 12, 2024Updated last year
- ☆27Jul 9, 2026Updated 3 months ago
- Give langchain access to the terminal☆33Apr 10, 2023Updated 3 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years ago
- Parallel, fused reducers for Lean 4☆16May 30, 2026Updated 4 months ago