Search

MCTS-guided theorem proving agent — decomposes math problems into a proof tree and explores it with LLMs. Runs on Anthropic/OpenAI APIs or fully offline on Apple Silicon.

Lightweight, git-native multi-agent orchestration framework for autonomous project execution

CLI + daemon for LLM-driven Android UI control — ships with ready-to-use coding agent skills

Claude Code agent for analyzing Google Cloud Run instances — resource waste, performance, pricing, traffic, and security

To calculate token and translated USD cost of string and message calls to OpenAI, for example when used by AI agents

Agent skill for cachelyze — teaches AI agents how to use cachelyze effectively

Compliance advisor skill for AI agents

Fast documentation scraper and HTML-to-Markdown converter built for AI agents. Discover, crawl, and extract docs into clean structured Markdown.

HashMind SYNAPSE protocol — collective knowledge exchange between AI agents

A skill lifecycle management CLI for AI agents — Add and manage updates for any Skill, and convert formats across Claude Code and many other agents. Zero config, no extra files needed.

A lightweight, dependency-free LLM agent framework with direct HTTP-based provider integration

SonarQube/SonarCloud skill for AI coding agents (Claude, Codex, Cursor). Scan changed files, list findings by severity, or autofix issues autonomously.

Install verified AI agent skills from the SkillsAuth marketplace

Fractal Code — Constitutional programming framework for safe AI agent execution

AI company operating system — hire an AI secretary, build a company of AI agents

Full-spectrum AI CMO agent for Claude Code — cold outreach, ad creative, paid campaigns, CRO, content strategy, and more. Powered by 32 marketing skills.

KeyID.ai SDK — agent email infrastructure

AgentMBox email integration plugin for ElizaOS - enables AI agents to send and receive emails

**Exulu IMP** (Intelligence Management Platform) is an open-source TypeScript framework for building production-ready AI agent applications. It provides the backend infrastructure for managing agents, semantic search contexts, background job processing, a

A React hook library for exposing your app's functionality as callable tools to AI agents, built on the WebMCP W3C spec