Directorio de skills

Descubre skills reutilizables para AI agents.

Busca skills reales de GitHub por tarea y revisa stars, confianza, auditoría, categoría y ruta de instalación antes de utilizarlos.

Cada recomendación conserva un vínculo claro con su repositorio, auditoría y ruta de instalación.

Resultados de búsqueda: proof-assistant

Directorio en inglés

A tool that converts codebases, SQL schemas, and other files into queryable knowledge graphs for AI coding assistants.

92K
Stars
80/100
Confianza
Categoría: developmentAuditoría

AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, and more). Turn any folder of code, SQL schemas, R scripts, shell scripts, docs, papers, images, or videos into a queryable knowledge graph. App code + database schema + infrastructure in one graph.

91K
Stars
80/100
Confianza
Categoría: rag-knowledgeAuditoría

World's first open-source, agentic video production system. 12 pipelines, 52 tools, 500+ agent skills. Turn your AI coding assistant into a full video production studio.

48K
Stars
89/100
Confianza
Categoría: agent-skillsAuditoría

Persistent file-based planning for AI coding agents and long-running agentic tasks. Crash-proof markdown plans that survive context loss and /clear, plus a deterministic completion gate and multi-agent shared state on disk. Manus-style. Works with Claude Code, Codex CLI, Cursor, Kiro, OpenCode and 60+ agents via the SKILL.md standard.

26K
Stars
86/100
Confianza
Categoría: agent-skillsAuditoría

Autonomous coding agent as an SDK, IDE extension, or CLI assistant.

63K
Stars
77/100
Confianza
Categoría: coding-agentsAuditoría

The world's best AI personal assistant for email. Open source app to help you reach inbox zero fast.

11K
Stars
79/100
Confianza
Categoría: productivity-automationAuditoría

🦔 PostHog is an all-in-one developer platform for building successful products. We offer product analytics, web analytics, session replay, error tracking, feature flags, experimentation, surveys, data warehouse, a CDP, and an AI product assistant to help debug your code, ship features faster, and keep all your usage and customer data in one stack.

35K
Stars
80/100
Confianza
Categoría: growth-marketingAuditoría

open-source agentic AI data assistant for the next generation of AI + Data products.

19K
Stars
85/100
Confianza
Categoría: dataAuditoría

🧠 Leon is your open-source personal assistant.

17K
Stars
82/100
Confianza
Categoría: agent-frameworksAuditoría

Invoicing, Time tracking, File reconciliation, Storage, Financial Overview & your own Assistant made for Freelancers

15K
Stars
81/100
Confianza
Categoría: financeAuditoría