MCP servers and skills: search, filter by where they run, and compare.
Context compression for AI coding agents: compresses tool output before it enters the model, dedups repeats to 13-token refs. Claude Code, Cursor, Codex, Kiro, Zed, any MCP client. Rust, zero LLM call
PythonApache-2.0★ 672No key
Open-source toolkit for 1C:Enterprise/BSL: 180 diagnostics, formatter, LSP, CLI, VS Code/Cursor extension, SARIF, MCP server, and RU/EN documentation.
PythonMIT★ 13No key
MCP server that exposes Ruff's linter and formatter as tools, so AI assistants can lint and format Python in place.
PythonMITFew starsNo key
AI Skill 安全扫描：安装前检查危险命令、提示注入与密钥泄露｜Security scanner for AI agent skills
SkillApache-2.0★ 9No key
Headron helps teams check AI-written software with deterministic verification, project context, governed tools, and auditable receipts. CLI, MCP, and CI.
PythonMIT★ 3Few starsNo key
The verdict layer for AI-written software. Deterministic checks, the right context and governed tools on every change, ending in one verdict and a receipt anyone can audit. CLI, MCP, CI, desktop.
PythonMIT★ 3Few starsNo key
Powerful and flexible code quality checking tool designed to be used by both developers and AI agents.
PythonMIT★ 5No key
Professional Python verification CLI tool combining linting, type checking, and smart testing
PythonMITFew starsNo key
Stale-file detection and temporal context for LLM agents. Zero dependencies, any MCP client."
PythonMIT★ 1Few starsNo key
Semantic Scholar MCP server: 14 typed tools for paper search, citation graphs, author profiles, recommendations, PyPI/Docker.
PythonMIT★ 23No key
GlyphPact for Flutter: the deterministic SVG-to-Flutter icon compiler.
PythonMIT★ 1Few starsNo key
Who stands behind it
