3,748 tools found
BrowserAct automates authenticated browser workflows, rendered extraction, screenshots, and isolated sessions with confirmation and handoff gates.
Agent skill that makes an LLM write plain English in the style of ASD-STE100 Simplified Technical English, in a plain or a strict mode.
Benchmark data, a model-agnostic generation and judging harness and a results viewer for a matched censorship evaluation of language models.
Differential-privacy gateway and MCP server that lets an untrusted AI agent query sensitive data through constrained, noised, budget-limited aggregates.
Go SDK for model calls, streaming, tools, structured output and agents, wire-compatible with the Vercel AI SDK React hooks.
Local, zero-cost merge queue for parallel Claude Code agents: numbered worktree lanes, a FIFO landing queue, build lock and a pre-push guard.
PGSimCity is a browser-based 3D city that turns PostgreSQL internals - buffer pool, WAL, vacuum, replication - into explorable, investigable scenes.
hwatu is a WebKit daemon that gives coding agents one-call verified page checks with a climbable pixel-diff score, in about 35 ms.
Relational language inside Lean 4 that records how declarations, theorems, requirements, tasks and documents relate, with rules, queries and certified proofs.
Model-neutral MCP coding runtime: file edits, patches, command execution, and git for any MCP client.
Skill for performance troubleshooting and RCA with Brendan Gregg's USE and TSA methods, a 60-second Linux triage, and evidence-backed reports.
Install, update, inspect, or remove a Fedora-packaged Hyprland session with backups and reviewed package plans.
