Explore
MCP servers and skills: search, filter by where they run, and compare.
remote-ble-toolsYahia-Mohammad
LocalTools to work with RemoteBLE: CLI and agentic AI
SkillApache-2.0★ 8No key
TECoSim-AgentYunTing-k
Local
MCP servers and skills: search, filter by where they run, and compare.
Tools to work with RemoteBLE: CLI and agentic AI
SkillApache-2.0★ 8No key
From cross-level modeling to intelligent design in display panel
SkillApache-2.0★ 5No key
Claude Code skill - deploy Android debug builds to a physical device over Tailscale + Wireless ADB, no USB required
SkillApache-2.0★ 2Few starsNo key
Provides guidance and instructions on managing remote devices on Developer Device Platform (DDP). Use when reserving remote Android devices, establishing connection tunnels, checking session status, o
OfficialSkillApache-2.0★ 21k in collectionNo key
AI tools that ships ZK mobile apps on vibes for any coding agent.
SkillApache-2.0★ 1Few starsNo key
Bilingual Agent Skill for constructive scientific-to-mathematical research: checkable results, explicit assumptions, counterexamples, and failure boundaries.
SkillApache-2.0★ 2Few starsNo key
SkillApache-2.0★ 6No key
Reality-first proof discipline: don't call it working until reality agrees.
SkillApache-2.0Few starsNo key
Who stands behind it
