autoform
Set up, plan, publish, prove, and review Lean formalizations as linked Markdown nodes checked through Lean LSP and REPL.
Pacote de plugins · de Vivien Cabannes
Resumo
autoform é um pacote de plugins para ferramentas de programação com IA publicado por Vivien Cabannes. Marketplaces que lemos e que o listam: 1 (Community GitHub marketplaces). A última mudança que registramos foi em 2026-10-21. Conforme nossa passagem pelos marketplaces em 2026-10-21.
O que pede
- Instala-se como pacote de plugins
Nenhum dos marketplaces que lemos publica as ferramentas ou as configurações que ele pede.
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Funciona com
- Claude Code
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como plugin do Claude Code
Gerado a partir do que Community GitHub marketplaces declara.
/plugin marketplace add facebookresearch/autoform-bot
/plugin install autoform@autoformOnde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Marketplace da comunidade facebookresearch/autoform-bot (Abrir o código no GitHub) | Listado | 0.5.0 | Forks (GitHub): 32 Estrelas (GitHub): 123 |
Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
Listado em um marketplace da comunidade
| Marketplace | Repositório | Estrelas (GitHub) |
|---|---|---|
| autoform | facebookresearch/autoform-bot | 123 |
O que o pacote contém
Conforme publicado em Community GitHub marketplaces.
Servidores MCP: 2
autoform-lspautoform-repl
Skills: 7
agent-reviewdebrief-orchestratordevelop-pluginformalizehuman-reviewroadmapsetup
O que mudou
- Community GitHub marketplaces: composição mudou (agora 9 partes): adicionado: skill debrief-orchestrator
- Passou a ser um produto que acompanhamos
- Community GitHub marketplaces: apareceu
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
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
Plugins semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em 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.
Listado em 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…
Listado em 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
Listado em 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.
Listado em 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.
Listado em 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.
Listado em 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…
Listado em 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.
Listado em 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…
Listado em 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.
Listado em 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.
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Quer esta marca no seu plugin em nosso catálogo?
Prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS, e você poderá mostrar esta marca na ficha, com banners ao vivo para o seu site e o README. Como funciona a verificação
Você também recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Community GitHub marketplaces. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.