autoform
Set up, plan, publish, prove, and review Lean formalizations as linked Markdown nodes checked through Lean LSP and REPL.
Пакет плагинов · от Vivien Cabannes
Коротко
autoform: пакет плагинов для ИИ-инструментов разработки, издатель Vivien Cabannes. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). Последнее изменение мы зафиксировали 2026-10-22. Данные нашего прохода по витринам на 2026-10-23.
Что просит
- Ставится как пакет плагинов
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Работает с
- Claude Code
По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.
Подключить
Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.
Как плагин Claude Code
Собрано из того, что объявляет Community GitHub marketplaces.
/plugin marketplace add facebookresearch/autoform-bot
/plugin install autoform@autoformГде опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Маркетплейс сообщества facebookresearch/autoform-bot (Открыть исходники на GitHub) | Опубликован | 0.6.0 | Форки (GitHub): 32 Звёзды (GitHub): 124 |
Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Есть в одном маркетплейсе сообщества
| Витрина | Репозиторий | Звёзды (GitHub) |
|---|---|---|
| autoform | facebookresearch/autoform-bot | 124 |
Как менялись числа
- 2026-10-2132
- 2026-10-2232
Каждая точка: день, когда мы прочитали другое число; ровные участки: дни, когда число не менялось. Числа разных витрин никогда не складываются.
Что входит в пакет
Так опубликовано на витрине Community GitHub marketplaces.
MCP-серверы: 2
autoform-lspautoform-repl
Скиллы: 7
agent-reviewdebrief-orchestratordevelop-pluginformalizehuman-reviewroadmapsetup
Что менялось
- Community GitHub marketplaces: выпущена версия 0.6.0 (была 0.5.0)
- Community GitHub marketplaces: изменился состав (частей теперь 9): добавлено: скилл debrief-orchestrator
- Стал продуктом, за которым мы следим
- Community GitHub marketplaces: появился
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, disprove, checkpoint, review, refactor, golf, learn, diagnose) — LSP-first, scripts fallback
-
Advanced debugging, code review, deep research, technical documentation, creative ideation, and semi-autonomous development workflows with parallel theory validation, team-based…
-
Clean up, golf, and bring Lean 4 code up to mathlib standards before PR submission
-
Canonical-pattern docs your AI assistant routes to at every lifecycle gate (plan / build / commit), plus create-canon to author canons and kickoff to onboard a repo.
-
A curated collection of reusable agent skills for engineering, research, and knowledge workflows.
-
CodexQB packages adaptive evidence-backed repo planning, semantic validator gates, deterministic Goal previews, and artifact-based Step 4 apply orchestration.
-
Research a change, work through its design, and implement it with reviewable local documents
-
Core agents and commands required by all plugins
-
Adds intent-and-decision alignment, explicit behavior-preserving codebase cleanup, evidence-based review, PR explanations, UI design and mockups, clear explanatory visuals, and…
-
Knowledge management, decision discipline, codebase understanding, plan pre-mortems, and release retrospectives for Claude Code
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине Claude Code: claude-plugins-community (5)
-
Advanced debugging, code review, deep research, technical documentation, creative ideation, and semi-autonomous development workflows with parallel theory validation, team-based…
-
Story Driven Development workflow for Claude Code. Keeps your documentation and code in sync via status tracking and git-diff-based prompts.
-
project-scaffolder-synaptic-edition
Generate a complete project knowledge base from a single brief, then orchestrate development with an AI project leader, quality pipeline, and skills that learn from experience…
-
Spec-driven workflow for AI coding agents: PRD, plan, check, and archive features using tracer-bullet vertical slices.
-
Skills for authoring and reviewing technical documents: ADRs, CLAUDE.md, project docs, and independent document review with structured evaluation.
Есть на витрине Claude Code: claude-plugins-official (5)
-
Comprehensive feature development workflow with specialized agents for codebase exploration, architecture design, and quality review
-
Tools to maintain and improve CLAUDE.md files - audit quality, capture session learnings, and keep project memory current.
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
Analyze codebases and recommend tailored Claude Code automations such as hooks, skills, MCP servers, and subagents.
-
Comprehensive development workflow for building AI agents with the Atomic Agents framework. Includes specialized agents for schema design, architecture planning, code review, and…
Есть на витрине Claude: knowledge-work-plugins (5)
-
Streamline engineering workflows — standups, code review, architecture decisions, incident response, and technical documentation. Works with your existing tools or standalone.
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
Accelerate design workflows — critique, design system management, UX writing, accessibility audits, research synthesis, and dev handoff. From exploration to pixel-perfect specs.
-
Build beautiful documentation sites with Mintlify. Convert non-markdown files into properly formatted MDX pages, add and modify content with correct component use, and automate…
-
AI-first project auditor and re-engineer based on the 9 design principles and 7 design patterns from the TechWolf AI-First Bootcamp
Есть на витрине Codex: openai-curated (openai/plugins) (5)
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Qodo setup, code intelligence, and review workflows.
-
Notion workflows for implementation planning, research synthesis, meeting preparation, and knowledge capture.
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
-
An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.
Есть на витрине Community GitHub marketplaces (5)
-
Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, disprove, checkpoint, review, refactor, golf, learn, diagnose) — LSP-first, scripts fallback
-
Clean up, golf, and bring Lean 4 code up to mathlib standards before PR submission
-
Canonical-pattern docs your AI assistant routes to at every lifecycle gate (plan / build / commit), plus create-canon to author canons and kickoff to onboard a repo.
-
A curated collection of reusable agent skills for engineering, research, and knowledge workflows.
-
CodexQB packages adaptive evidence-backed repo planning, semantic validator gates, deterministic Goal previews, and artifact-based Step 4 apply orchestration.
Есть на витрине Copilot CLI: github/awesome-copilot (5)
-
Analyze any repository and generate AI-ready configuration — AGENTS.md, copilot-instructions.md, CI workflows, issue templates, and more. Mines your PR review patterns and creates…
-
Goal-driven task orchestration with independent verification. Interviews the user to define a clear goal, then loops between a Builder subagent (does the work) and an Inspector…
-
Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.
-
Generic cross-repo command center canvas for GitHub Copilot with onboarding, focus planning, repo health, work signals, and session cleanup.
-
7 specialized agents covering the full software development lifecycle from UX design and architecture to security and DevOps.
Есть на витрине Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Advanced Security plugin for GitHub Copilot.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
model-apps
Build and deploy Power Apps generative pages for model-driven apps with specialist agents for planning, entity creation, and parallel code generation. Requires PAC CLI >= 2.7.0…
Есть на витрине Cursor: cursor/plugins (5)
-
if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.
-
Skills for building on the Cursor Origin API. Fetch the live spec first, then follow the Origin rules for credentials, scopes, webhooks, paging, and errors. Includes a skill that…
-
Consult a stronger model before major decisions, when stuck, and before declaring done.
-
Render PR diffs as review canvases grouped by importance.
-
Internal team workflows for CI, code review, shipping, local automation, and verification.
Есть на витрине Docker MCP Catalog (5)
-
Tools and resources for writing Effect code in Typescript.
-
Stop stitching context for Copilot and Cursor. With Sequa MCP, your AI tools know your entire codebase and docs out of the box.
-
Provide LLMs hosted, clean markdown documentation of libraries and frameworks.
-
Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.
-
Ref powerful search tool connets your coding tools with documentation context. It includes an up-to-date index of public documentation and it can ingest your private documentation…
Есть на витрине Official MCP Registry (5)
-
PAPI: Persistent Adaptive Project Intelligence
Adaptive plan/build/review cycles for AI coding assistants, persisted across sessions.
-
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
-
Local-first knowledge vaults for project docs and specs. Tagged, versioned, full-text searchable.
-
patchwork — Codebase Conventions for AI Agents
Scan any codebase, generate CONVENTIONS.md, expose conventions as MCP tools for AI agents.
-
Community of Consciousness MCP Server — upload and explore collective wisdom via GitHub.
Есть на витрине npm registry (MCP servers) (5)
-
Overleaf MCP server for Claude, Codex, ChatGPT, and Cursor with safe LaTeX editing and review.
-
Local persistent memory and Markdown wiki for AI coding agents: 24 MCP tools, no gateway required.
-
Compile documents into a cited knowledge wiki. Retrieve evidence, query, and review via local MCP.
-
One workspace for every AI coding assistant. Shared tasks, memory, and governance.
-
notion-mcp-server io.github.awkoy/notion-mcp-server
Token-auth Notion MCP: pages, databases, blocks, comments, files. Runs headless in CI and agents.
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Хотите такой знак у своего плагина в нашем каталоге?
Докажите, что поддерживаете его, файлом в репозитории, файлом на вашем домене или DNS-записью, и сможете показать этот знак на карточке, а ещё живые баннеры для сайта и README. Как проходит подтверждение
Ещё вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.
Данные витрины Community GitHub marketplaces. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.