autoform
Set up, plan, publish, prove, and review Lean formalizations as linked Markdown nodes checked through Lean LSP and REPL.
Plugin-Paket · von Vivien Cabannes
Überblick
autoform ist ein Plugin-Paket für KI-Coding-Tools von Vivien Cabannes. Marktplätze, die wir lesen und die es listen: 1 (Community GitHub marketplaces). Die letzte erfasste Änderung war am 2026-10-21. Stand unseres Marktplatz-Durchlaufs vom 2026-10-21.
Was es abfragt
- Wird als Plugin-Paket installiert
Keiner der Marktplätze, die wir lesen, veröffentlicht seine Tools oder die abgefragten Einstellungen.
Was es deklariert, abfragt und ausführt, vollständig
Installieren Sie nur Plugins von Entwicklern, denen Sie vertrauen. Wir zeigen, was die Marktplätze veröffentlichen, und testen keine Plugins.
Funktioniert mit
- Claude Code
Nach den Marktplätzen, die ihn listen, und dem angegebenen MCP-Transport, wie jeder Client sie dokumentiert. Wir testen keine Plugins.
Verbinden
Befehle und Konfigurationen nur aus den Angaben der Marktplätze. Wir führen sie nicht für Sie aus und testen keine Plugins.
Als Claude-Code-Plugin
Erstellt aus den Angaben von Community GitHub marketplaces.
/plugin marketplace add facebookresearch/autoform-bot
/plugin install autoform@autoformWo es veröffentlicht ist
| Marktplatz | Status | Version | Zahlen | Verifiziert | Erstmals gesehen |
|---|---|---|---|---|---|
| Community-Marktplatz facebookresearch/autoform-bot (Quelle auf GitHub öffnen) | Gelistet | 0.5.0 | Forks (GitHub): 32 Sterne (GitHub): 123 |
Nicht markiert |
Jede Zahl stammt vom jeweiligen Marktplatz und wird nie über Marktplätze hinweg addiert. Ein Marktplatz ohne veröffentlichte Zahl zeigt keine: keine Zahl ist nicht null.
In einem Community-Marktplatz gelistet
| Marktplatz | Repository | Sterne (GitHub) |
|---|---|---|
| autoform | facebookresearch/autoform-bot | 123 |
Was das Paket enthält
So veröffentlicht auf Community GitHub marketplaces.
MCP-Server: 2
autoform-lspautoform-repl
Skills: 7
agent-reviewdebrief-orchestratordevelop-pluginformalizehuman-reviewroadmapsetup
Was sich geändert hat
- Community GitHub marketplaces: Zusammensetzung geändert (jetzt 9 Bestandteile): hinzugefügt: Skill debrief-orchestrator
- Wird seitdem als Produkt geführt
- Community GitHub marketplaces: erschienen
Ähnliche Plugins
Produkte, deren eigene Namen, Beschreibungen, Werkzeuge und Skills diesem der Bedeutung nach am nächsten sind, auf allen Marktplätzen, die wir lesen. Die Nähe ist nur innerhalb dieser Liste geordnet.
-
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
Ähnliche Plugins nach Marktplatz
Dieselbe Frage an jeden Marktplatz einzeln: Gibt es dort ein Gegenstück zu diesem Plugin?
Gelistet auf 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.
Gelistet auf 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…
Gelistet auf 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
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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.
Gelistet auf 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…
Gelistet auf 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.
Gelistet auf 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…
Gelistet auf 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.
Gelistet auf 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.
Nach Bedeutung gefunden, nicht über gemeinsamen Code oder ein gemeinsames Repository: Ähnliche Plugins bleiben getrennte Produkte, und dies ist weder eine Bewertung noch eine Empfehlung.
Möchten Sie dieses Zeichen für Ihr Plugin in unserem Katalog?
Belegen Sie mit einer Datei im Repository, einer Datei auf Ihrer Domain oder einem DNS-Eintrag, dass Sie es pflegen, und Sie können dieses Zeichen auf der Karte zeigen, dazu Live-Banner für Ihre Website und Ihr README. So funktioniert die Verifizierung
Außerdem erhalten Sie Hinweise, wenn ein Marktplatz es aufnimmt, entfernt, sein Verified-Zeichen oder seine Anforderungen ändert, und sein Remote-Endpunkt wird wie ein Webdienst überwacht.
Daten von Community GitHub marketplaces. Die Zahlen stammen aus unseren eigenen regelmäßigen Durchläufen über die Marktplätze, zuletzt abgerufen am . Kontaktdaten von Plugin-Herausgebern veröffentlichen wir nicht.