Discover the Best AI Tools

A tool for managing and automating GitHub workflows using AI.

A tool for generating code using artificial intelligence.

GitHub user @sraphaz is involved in AI code generation.

A full browser UAT skill for Playwright testing with various features.

AG2 is an open-source programming framework for building AI agents and facilitating cooperation among multiple agents to solve tasks.

Goedel-Prover-V2 is an open-source automated theorem prover in Lean 4 with models ranging from 8B to 32B, demonstrating strong performance in formal verification tasks.

A repository of over 734 structured cybersecurity skills for AI agents, mapped to MITRE ATT&CK and compatible with various AI platforms.

Agentic threat modeling platform that autonomously generates attack trees, maps steps to MITRE ATT&CK techniques, and provides mitigation recommendations.

AI-powered reverse engineering plugin for IDA Pro that integrates LLM-powered analysis.

A tool that builds a tool graph from OpenAPI/MCP specs to retrieve multi-step workflows, improving accuracy and reducing token usage.

A tool for signing HTTP calls with Ed25519 signatures and timestamps.

Permission control plane for AI agents that enforces least-privilege YAML policies on every tool call, classifies sensitive data, detects dangerous skill chains, and generates compliance audit trails.

MCP server for ITASCA PFC discrete element simulation that allows users to browse documentation, execute scripts, capture plots, and manage long-running tasks.

A tool for querying, summarizing, and tracing logs across multiple cloud platforms.

An AI-powered tool for controlling 3D globe applications using MCP (Multi-Cloud Platform).

Project memory for AI coding sessions that auto-captures checkpoints and provides re-entry briefings.

MCP server providing AI coding agents on-demand access to private project documents via BM25 ranked search.

MCP server for Godot 4.x with runtime control via injected UDP bridge

A development companion for Godot 4 with test running, API docs, script analysis, and more.

MCP server for Binance USDT-M Futures trading that exposes tools for market data, account state, order management, and position/margin control.

Pay-per-call DeFi data API for AI agents via x402 micropayments (USDC on Base).

Model Context Protocol server for file system operations.

MCP server that helps AI agents explore OpenAPI specs, search endpoints, and generate TypeScript types.

Java memory leak diagnostics tool using jcmd, jmap, jstat, JFR, Eclipse MAT, and async-profiler.