plumbline
Verification infrastructure for AI-assisted work. Generates verification contracts before implementation, verifies results after.
Pacote de plugins · de Emilio Carrion · não está mais listado
Resumo
plumbline é um pacote de plugins para ferramentas de programação com IA publicado por Emilio Carrion. Nenhum marketplace que lemos o lista mais; a última listagem saiu em 2026-10-20. A última mudança que registramos foi em 2026-10-20. Conforme nossa passagem pelos marketplaces em 2026-10-19.
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.
Conectar
Sem dados para um comando automático: o que os marketplaces declaram não diz de forma inequívoca como conectá-lo.
Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Marketplace da comunidade emiliocarrion/plumbline (Abrir o código no GitHub) | Removido em 2026-10-20 | 0.5.0 | Forks (GitHub): 2 Estrelas (GitHub): 5 |
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.
O que o pacote contém
Conforme publicado em Community GitHub marketplaces.
Skills: 2
contractverify
O que mudou
- Não está mais listado em Community GitHub marketplaces
- Community GitHub marketplaces: removido
- 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.
-
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
-
General-purpose agent superteam for Claude code - contract-gated verification loops with 7 outer-loop roles, 5-phase orchestration, task form-driven inner-loop cooperation, and…
-
Independent deterministic verification for AI-written software. Local, evidence-backed checks.
-
Adversarially stress-test technical plans by verifying claims against real docs, running POC code, and updating the plan before you build.
-
Make Claude Code prove it finished the job. Runs a substantial coding task as an evidence-driven closed loop and ends with one explicit ship-or-revise decision.
-
veris io.github.vighriday/veris
Behavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT.
-
Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate TypeScript/Python code with runtime…
-
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…
-
Architecture, executable planning, governed execution, and adversarial review for coding agents.
-
A set of strict, senior-level engineering guardrails and security standards for AI coding agents.
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)
-
Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate TypeScript/Python code with runtime…
-
A set of strict, senior-level engineering guardrails and security standards for AI coding agents.
-
VerifiedX helps Claude install and verify action protection in existing AI systems with minimal code changes. It inspects a repo, detects the smallest real integration seam such…
-
Comprendo gates AI implementation behind a visual developer approval step. When you type /comprendo <task>, Claude reads your codebase, builds a structured plan with before/after…
-
Spec-driven workflow for AI coding agents: PRD, plan, check, and archive features using tracer-bullet vertical slices.
Listado em Claude Code: claude-plugins-official (5)
-
Output.ai workflow development toolkit for Claude Code. Adds 5 specialist agents (planner, builder, debugger, prompt writer, quality reviewer), 40+ slash-command skills covering…
-
Comprehensive development workflow for building AI agents with the Atomic Agents framework. Includes specialized agents for schema design, architecture planning, code review, and…
-
Skills for adding DeepEval evaluations, tracing, datasets, Confident AI reports, and iterative improvement loops to AI applications.
-
Set up endorctl and use Endor Labs to scan, prioritize, and fix security risks across your software supply chain
-
Comprehensive feature development workflow with specialized agents for codebase exploration, architecture design, and quality review
Listado em Claude: knowledge-work-plugins (5)
-
AI-first project auditor and re-engineer based on the 9 design principles and 7 design patterns from the TechWolf AI-First Bootcamp
-
Streamline engineering workflows — standups, code review, architecture decisions, incident response, and technical documentation. Works with your existing tools or standalone.
-
DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…
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.
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
Listado em Community GitHub marketplaces (5)
-
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
-
General-purpose agent superteam for Claude code - contract-gated verification loops with 7 outer-loop roles, 5-phase orchestration, task form-driven inner-loop cooperation, and…
-
Adversarially stress-test technical plans by verifying claims against real docs, running POC code, and updating the plan before you build.
-
Make Claude Code prove it finished the job. Runs a substantial coding task as an evidence-driven closed loop and ends with one explicit ship-or-revise decision.
-
Architecture, executable planning, governed execution, and adversarial review for coding agents.
Listado em Copilot CLI: github/awesome-copilot (5)
-
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…
-
Run a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
Task Researcher and Task Planner for intermediate to expert users and large codebases - Brought to you by microsoft/edge-ai
-
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.
-
Advanced Security plugin for GitHub Copilot.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Build and manage Microsoft Dataverse solutions using natural language. Includes table/column creation, solution lifecycle, data operations, and MCP server configuration.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
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.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Consult a stronger model before major decisions, when stuck, and before declaring done.
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
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…
Listado em Docker MCP Catalog (5)
-
Bridges multiple AI models and CLIs, enabling orchestrated workflows across Claude Code, Gemini CLI, Codex CLI, and other AI development tools.
-
Stop stitching context for Copilot and Cursor. With Sequa MCP, your AI tools know your entire codebase and docs out of the box.
-
Read and score Opik traces, experiments, datasets and prompts from your AI assistant.
-
Analyze documents, images, videos, and audio.
-
Production-ready RAG service to search and retrieve data from your documents.
Listado em Official MCP Registry (5)
-
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
-
Independent deterministic verification for AI-written software. Local, evidence-backed checks.
-
veris io.github.vighriday/veris
Behavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT.
-
Audit infrastructure for AI coding agents with evidence-backed review and policy gates.
-
Agent Output Verifier by SarnAI
Independent schema and rule check of AI agent output before you pay. Signed attestation and receipt.
Listado em npm registry (MCP servers) (5)
-
One workspace for every AI coding assistant. Shared tasks, memory, and governance.
-
Evidence-backed crypto due diligence with sources, freshness, and a runtime receipt on every call.
-
Local persistent memory and Markdown wiki for AI coding agents: 24 MCP tools, no gateway required.
-
Discover and load Agent Skills from configured local directories and Git sources over stdio MCP.
-
google-surf-mcp io.github.HarimxChoi/google-surf-mcp
Web, academic and code search with graph RAG, data lineage, ontology and cross-project schema links.
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.