Loading...
Loading...
Manimate: SKILL.md for creating animations with Manim. It is listed under Development & Code on AI Registry as a free tool.
The tools below are approved listings in the same category, ordered by how closely their tags match Manimate. This is an automatic list. We have not written a researched verdict for Manimate yet, so treat it as a shortlist and check each vendor's pricing page before switching.
Built from each tool's listing. Vendors can update their own listing after claiming it.
AgentCall lets AI Agents join meetings with voice, video & screen-share to build together.
AgentCall is a skill and API that lets an existing AI agent join Google Meet, Zoom and Microsoft Teams calls as a participant that listens, speaks and collaborates. Setup takes three steps: ask the agent to install the skill from the AgentCall GitHub repository, share an API key from the dashboard once, then tell the a...
AI pair programming in your terminal — one static binary, sub-ms startup, any model
agentty is a coding agent for the terminal, written in C++26 and shipped as a single static binary of about 19 MB with no Node, Python or npm dependency. It positions itself as a drop in alternative to Anthropic's Claude Code client, with a cold start of a few milliseconds on Linux and an inline interface that sits at ...
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
Archon is an open source agentic system from FrenzyMath, the AI for mathematics team at Peking University's Beijing International Center for Mathematical Research. It autonomously formalizes research level mathematics in Lean 4, turning informal definitions and proofs into machine verified code across whole multi file ...
Autonomous Engineering
Bosun is an open source control plane for running autonomous coding agents as an engineering fleet. It plans work, routes each task to an executor, enforces quality gates and manages the pull request lifecycle from branch to merge, so AI agents write code while Bosun handles coordination, recovery and release. It insta...
Build big projects with Claude.
Chief is an open source command line tool that builds large software projects by running a coding agent in a loop. The developer describes a project as a series of tasks, and Chief works through them one at a time, running the agent until each task is done and making one commit per task. Each iteration starts with a fr...
Claude Code hooks + an installable plugin marketplace: safety, cost, observability, productivity.
Claude Code Hooks is an open source collection of tested guardrail plugins that intercept the Claude Code agent loop. Each hook is a small program that receives a JSON payload on standard input whenever Claude Code reaches a lifecycle event, checks it against rules, and returns exit code 0 to let the action proceed or ...