7
Published Tools
72
Total Stars
0
Weekly Downloads
56
GitHub Followers
304
Public Repos
100/100
Avg Security
Published Tools
5 MCP Servers1 Skill1 Agentacross 4 categoriesr33drichards
🦀 🏠 🐧 🍎 - A Javascript code execution sandbox that uses v8 to isolate code to run AI generated javascript locally without fear. Supports heap snapshotting for persistent sessions.
...morer33drichards
A Model Context Protocol (MCP) server that provides constraint solving capabilities using MiniZinc. This server exposes a single powerful tool for solving constraint satisfaction and optimization problems.
...morer33drichards
Computer Use A JavaScript REPL for cloud computer use. Simple. Stateful. Scale to zero. Serverless, resumable desktop containers with a code-mode MCP tool, a light admin interface, and policy to contain what agents do.
...morer33drichards
MCP server for async shell command execution with log streaming and search
r33drichards
MCP server for TLA+ — exposes TLC model checker, SANY parser, and PlusCal translator as MCP tools
wholelottahoopla
TypeScript API client for prompt-backend
Run JavaScript and TypeScript in sandboxed V8 isolates with policy-controlled host capabilities.