v0.1.0 · MIT License
Enables MCP-capable agents to settle deadlocks with a neutral, unsteerable tie-break and to obtain sealed independent AI review of their output, returning Ed25519-signed receipts that can be verified offline. Also supports running free demo matches and listing saved receipts with spend tracking.
v0.2.0 · GPL 3.0
Enables an AI agent to set up, run and verify engineering simulations through typed tools — creating or importing cases, setting boundary conditions, running solvers, checking convergence, verifying results against references, and rendering output, with edits appearing live in the GUI. It exposes no shell or code-execution tool.
v0.4.0 · MIT License
Enables AI agents to see compiled LaTeX output: it builds the document, returns rendered page images, maps any point on a page back to its exact source line, and diffs what the last edit changed. It also audits an entire book for regressions, letting an agent diagnose and verify layout fixes without reading source alone.
v0.1.0 · Apache 2.0
Gives AI coding agents on-demand security playbooks, a code scanner they can run on their own output, and live lookups against CISA KEV, NVD and OSV so they verify threats instead of guessing. Runs locally with no API keys or accounts, exposing skills, tools and a secure-build prompt to Claude Code, Codex, Cursor or any MCP client.
v8.1.1 · GPL 3.0
Opt-in, token-authenticated MCP server built into the Shelly Android terminal app: read-only tools for terminal output, git status, registered agents and repos on the phone, plus off-by-default run_command and write_file that need an on-device approval tap per call.
v0.1.0 · MIT License
Enables coding agents to record product demos, changelog GIFs, help-center guides, and bug repros by driving a signed-in browser or Mac window, then rendering branded MP4 and GIF outputs with delivery checks.
v0.0.1 · Apache 2.0
Enables coding agents to navigate and verify a contract-backed semantic graph of TypeScript backends, inspect change impact, run checks, explain failures, and draft human-reviewable contracts through bounded MCP tools and matching JSON CLI output.
v0.1.2 · MIT License
Keeps large tool outputs out of an agent's context window by spilling them to disk and handing back a short pointer instead. Lets the agent pull only what it needs — exact numbered line ranges read directly from disk, or verbatim relevant lines returned by a small model answering a question about the stored output, plus tools to open, list, and close documents.
v0.1.0 · MIT License
Enables an LLM to orchestrate multiple downstream MCP tools inside one isolated sandbox in a single turn, filtering intermediate results in memory and returning only the final output to cut context tokens.
v0.1.0 · MIT License
Enables Codex to delegate subtasks to concurrent background coding agents that can each run on any model provider supported by Pi, such as DeepSeek, Anthropic, Gemini, OpenRouter, or local models. Exposes MCP tools for listing models, spawning and waiting on agents, sending follow-ups, and aborting, backed by a live local web panel showing status, token usage, and streaming output.
— · Apache 2.0
ChannelTerm is an open-source MCP server that enables humans and AI agents to share live serial and SSH terminal sessions for embedded systems development and debugging. It allows AI agents to read device output, execute commands, assist with GDB debugging, and transfer files while keeping developers in control.
— · 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
Exposes MCP tools that compute longevity and metabolic metrics (autophagy index, GKI, MAGE), cardio-renal biomarkers (BUN/creatinine ratio, cardiac output and TPR, nocturnal BP dipping), chronobiology estimates (DLMO, melanopic lux, caffeine clearance), plus neuro-recovery and biomechanics scores. Runs as a zero-dependency Python JSON-RPC 2.0 stdio server so any MCP-compatible client can query these physiological domain calculators.
— · MIT License
Enables AI agents to read WeChat Official Account articles by fetching mp.weixin.qq.com links from the user's own machine and network and converting them into clean Markdown with title, account, author, and publish-time metadata. Provides both single-article and batch-reading tools (up to 20 URLs) with optional image handling, character limits, and JSON output.