AI Agent Skills

A powerful C# Roslyn analyzer that uses static analysis to detect bugs, surface security issues, and enforce best practices—helping developers and AI write more reliable…

Analyze videos using LLMs, Computer Vision and Automatic Speech Recognition

Local-first chat history analyzer with AI. | 本地优先的 AI 聊天记录分析工具

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

SonarSource Static Analyzer for JavaScript and TypeScript

A static analyzer for Java, C, C++, and Objective-C

SkillOpt is a text-space optimizer that trains reusable natural-language skills for frozen LLM agents through trajectory-driven edits, validation-gated updates, and depl…

Static Analyzer for Solidity and Vyper

A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with…

A fast PostgreSQL Log Analyzer

A static type analyzer for Python code

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Create 🔥 videos with Stable Diffusion by exploring the latent space and morphing between text prompts

Static analyzer and linter for Clojure code that sparks joy

Scalable, fast, and disk-friendly vector search in Postgres, the successor of pgvecto.rs.

An Intelligent Python Code Quality Analyzer