— · MIT License
Enables an AI agent to sign, verify, encrypt, decrypt, and manage OpenPGP keys while private key material stays in gpg-agent and passphrases go only to pinentry. Adds human approval for high-risk operations, typed-fingerprint confirmation for destructive ones, and audit logging that never records plaintext.
— · MIT
Enables AI agents and assistants to inspect live system telemetry, check TCP port connectivity, audit environment variables for leaked secrets, analyze and summarize log files, and list Docker containers — all with token-efficient, compressed output.
— · MIT License
Enables AI coding agents to retrieve compact structural codebase context through repository architecture summaries, AST symbol extraction, cyclomatic complexity scoring, and TODO/FIXME hotspot search.
— · MIT License
Enables AI agents and LLMs to persist facts, preferences, and observations in a local SQLite store and to build and traverse subject-predicate-object knowledge graphs across sessions. It provides fuzzy keyword search and graph queries so assistants retain context and recall prior project history without repeating prompts.
— · MIT License
Enables agents to query real-time GPU rental prices across 26 platforms, including current lowest quotes, 30-day price history, market movers, platform reliability, and task/budget recommendations. Access is read-only and metered per call via x402 with USDC on Base, requiring no signup or API key.
— · Apache 2.0
Enables stateless, pure-visual control of Android devices and emulators through adb shell, providing screen capture, coordinate-based taps, swipes, keyboard input, and arbitrary adb command execution for agent-driven interaction.
— · MIT License
Provides Model Context Protocol access to the SEAF ArchTool REST API, enabling agents to inspect sections and entities, navigate relations, query datasets, and run JSONata expressions against a SEAF portal.
— · MIT License
Enables VS Code Copilot Chat and custom agents to perform MongoDB queries, writes, transactions, schema discovery, index and collection management, and administrative commands across multiple secure connection profiles without using mongosh or PowerShell.
— · MIT License
Enables an AI agent to see and control the screen of an already-running macOS virtual machine over VNC, exposing four tools: screenshot, click, type_text, and key_press. This lets the agent drive a disposable VM's UI directly with its own model, without touching the real desktop or running a separate agent loop.
— · BSD 3-Clause
Enables AI agents to write, compose, and check assume-guarantee contracts, including refinement, consistency, compatibility, realizability, and LTL checks, and to use returned counterexamples to fix specifications.