— · MIT License
Enables users to compute symbolic derivatives and integrals, including definite and improper cases, and verify antiderivatives through SymPy-backed MCP tools.
— · MIT License
Enables MCP-capable assistants such as Codex and Claude to delegate bounded text work — summaries, structured extraction, classification, rewrites, code drafts and log digestion — to locally hosted Ollama models, with conservative routing that keeps small or sensitive tasks with the caller and private-result artifacts for sensitive output.
— · MIT License
Exposes explicitly approved local Windows stdio and loopback HTTP MCP backends through a single OAuth-protected remote HTTPS MCP endpoint, letting a mobile AI client invoke whitelisted tools with namespacing, PKCE-based authorization, and per-tool permissions.
— · Apache 2.0
Enables exhaustive, unit-by-unit analysis of open-source repositories through MCP, cataloging every file and symbol, resolving dynamically built routes and URL paths, and mapping call and value flows via LSP and Joern. Every conclusion carries file:line evidence tied to a pinned commit, with unresolved items tracked in an unverified list and assigned verification grades L0–L2.
— · MIT License
Enables agents to observe a desktop and perform mouse and keyboard actions through ESP32-based BLE or USB HID hardware, with local action translation and no second model in the MCP path.
— · MIT License
Enables on-demand discovery and loading of locally registered skills through read-only MCP tools, respecting explicit-invocation policies and returning skill instructions with paths to scripts, templates, and references.