Scientific rover built through SolidCraft MCP: editable CAD, website and splash artwork, videos, and a reproducible performance workload.
Intelligent prompt improver hook for Claude Code. Type vibes, ship precision.
DLRover: An Automatic Distributed Deep Learning System
WebRover is an autonomous AI agent designed to interpret user input and execute actions by interacting with web elements to accomplish tasks or answer questions. It leverages advanced language models and web automation tools to navigate the web, gather information, and provide structured responses based on the user's needs.
Code that runs on the Open Source Rover
Lean Theorem Prover MCP
MOSS: a small, mostly 3D-printed litter-picking rover. Cleaner streets, one maker at a time.