Formal verification skills for Claude Code, Codex, OpenCode, and Gemini. Rust -> Lean 4 via Aeneas.
No description provided.
Gemini CLI
Google AI JavaScript SDK
[](https://www.npmjs.com/package/@google/genai) [](https://www.npmjs.com/package/@google/genai)
Rust language support for the CodeMirror code editor
Rust dictionary for cspell.
Super-fast alternative for babel
Core SDK for Gemini Wallet integration with popup communication
Lezer-based Rust grammar
Genkit AI framework plugin for Google AI & Vertex APIs, including Gemini APIs.
Queue for messages and jobs based on Redis
Browser automation CLI for AI agents
Gemini CLI Core
Generates and consumes source maps
Welcome to the [Node.js] binding for the Rust [`matrix-sdk-crypto`] library! This binding is part of the [`matrix-rust-sdk`] project, which is a library implementation of a [Matrix] client-server.
A high-performance utilities for WhatsApp, powered by Rust and WebAssembly.
Observe-first TUI for multi-CLI tmux development.
Rust grammar for tree-sitter
Create cross-toolchain from https://github.com/rust-cross/manylinux-cross/tree/main
A simple toolkit for building scalable and maintainable applications
Add MCP servers to your favorite coding agents with a single command.
Fast JavaScript/TypeScript bundler in Rust with Rollup-compatible API.
JSON Schema Meta Schema & Generated types for typescript, rust, golang and python
Rust client for Google Gemini API
Rust client for Google Gemini API