Open-source MCP server for secure, low-latency cloud-browser automation on Kernel.
☆32Aug 27, 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:
- ☆15Updated this week
- A multi-hypervisor VM runtime for OCI images, supporting Cloud Hypervisor, Firecracker, QEMU, and Apple Virtualization.framework.☆325Updated this week
- Custom Keras ML block example for Edge Impulse☆12Updated this week
- Prima JWKS-sync client implementation for Auth0☆11Updated this week
- Public ErdosBench smoke test: 14 public-source Erdős-style problems and baseline reports☆25Jun 8, 2026Updated 2 months 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.
- Lightcone: SDK for computer use agents☆17Jul 16, 2026Updated last month
- Browser extension to copy login cookies from sentry.io to dev.getsentry.net☆17Apr 10, 2026Updated 4 months ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 4 months ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- ☆15May 13, 2026Updated 3 months ago
- ☆16Apr 15, 2026Updated 4 months ago
- Yutori MCP☆23Updated this week
- A landing page for Socratica☆25Aug 10, 2026Updated 2 weeks ago
- An example repo that demonstrates a basic turbo-engine enabled program.☆14Nov 15, 2023Updated 2 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.
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 5 months ago
- Template for your own Personal User Manual☆19Jul 10, 2020Updated 6 years ago
- Waffer-thin FlaskGPT on Vercel.☆12Jun 1, 2023Updated 3 years ago
- Distributed compute that processes documents.☆20Jul 11, 2026Updated last month
- Handles the server production entry.☆10Aug 22, 2026Updated last week
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- sherp is a CLI for building presentations from Markdown/MDX. Instant dev server, multiple themes, keyboard navigation, and PDF export.☆17Nov 29, 2025Updated 9 months ago
- Framework-agnostic, encoding-generic isomorphic server functions for Rust.☆12Jan 5, 2024Updated 2 years ago
- A foreign data wrapper for orb☆12Jun 23, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Experimenting with react.email and Next.js 13 Route Handlers☆16Feb 28, 2023Updated 3 years 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
- Pi extension for parallel.ai web intelligence tools☆29Jul 17, 2026Updated last month
- Packages that enable v1 APIs in Remix v2 to enable easier upgrades.☆15Nov 21, 2025Updated 9 months ago
- aimd - AI Streaming Markdown Renderer☆14Jul 11, 2025Updated last year
- ☆58Aug 4, 2025Updated last year
- A modern alternative to daemon-pid, with bugfixes, ESM, etc☆11Jun 3, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A collection of Basalt (Bash) packages.☆15Feb 6, 2026Updated 6 months ago
- A verifier that integrates LLMs into automated C program verification☆17Apr 4, 2026Updated 4 months ago
- ☆36Jul 24, 2025Updated last year
- Graph-based neural tactic prediction models for Coq.☆17Sep 17, 2025Updated 11 months ago
- ☆15Feb 9, 2026Updated 6 months ago
- The SAIL blog☆13Jul 6, 2026Updated last month
- An Infr app that helps you replay & talk to everything you've ever seen.☆15Sep 19, 2023Updated 2 years ago