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.
v0.6.7 · MIT License
Enables MCP clients to reverse-engineer binary files — hex viewing, disassembly, function/call-graph recovery, syscall and RTTI naming, string/xref search, and symbol export for Ghidra and IDA — across Switch NSO/NRO/NSP and many other formats. Tool output is persisted as annotations so analysis carries across sessions.
v0.2.0 · MIT License
Turns a long tennis recording into a labeled highlight reel: keyframe-aligned lossless rally clips, hit count / venue / timestamp burned in, and a self-check on every output. Runs locally with ffmpeg.
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 MCP clients to create and control persistent, PTY-backed terminal sessions on macOS: launch commands and interactive programs, read output incrementally via byte cursors, send keystrokes, wait on conditions, and detect running/awaiting-input/exited states. Sessions run inside a Seatbelt sandbox with command policies, human approvals, secret redaction, and hash-chained audit logging.
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 MCP clients such as ChatGPT to execute shell commands, manage files, and view or capture images on Mac and Linux hosts. Supports terminal-based connection approval, time-limited access, and output controls.
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.