Give AI agents eyes, ears, and verifiable results. Watch Skill turns video, audio and screen activity into searchable, timestamped evidence and proves work with deterministic contracts, not model opinion. DeepWatch is the agent workspace built on DeepSeek Harness. Python + npm, MCP, CLI, REST, Web.

Multi-CLI agent swarm orchestrated by Claude Code: external AI CLIs code in isolated worktrees, Claude verifies and merges

Mobile app automation and verification for AI coding agents. CLI, MCP server, and typed Node.js API for iOS, Android, HarmonyOS, TV, web, macOS, and Linux.

Chiasmus is an MCP server that gives language models access to formal verification

MCP server that orchestrates language servers into agent-native workflows. 65 tools, 30 CI-verified languages.

Tools for AI agents to test, fix and optimise your codebase

TypeScript multi-agent framework that runs in your own environment: consequential actions wait for approval and every run leaves a verifiable record. Describe the goal, not the graph. 13 built-in providers (Claude, OpenAI, Gemini, DeepSeek and more) plus any OpenAI-compatible endpoint, local models included.

Git. Ship. Done - Core

Curated collection of agent skills for AI coding assistants.

Turns AI agents from chaotic code generators into disciplined engineers. 12-stage workflow from research to production.