formal-agent-contracts
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…
Lot de plugins · par kotaroyamame
Aperçu
formal-agent-contracts est un lot de plugins pour les outils de code IA publié par kotaroyamame. Places de marché que nous lisons et qui le référencent : 1 (Claude Code: claude-plugins-community). Nous l'avons vu pour la première fois le 2026-10-11 et n'avons enregistré aucun changement depuis. Selon notre passage sur les places de marché du 2026-10-13.
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 contract enforcement — all through natural language conversation with Claude.
Ce qu'il demande
- S'installe comme lot de plugins
Aucune des places de marché que nous lisons ne publie ses outils ni les réglages qu'il demande.
Ce qu'il déclare, demande et exécute, en détail
N’installez que des plugins de développeurs en qui vous avez confiance. Nous reprenons ce que publient les places de marché et ne testons pas les plugins.
Fonctionne avec
- Claude Code
D'après les marketplaces qui le listent et le transport MCP qu'il déclare, tels que chaque client les documente. Nous ne testons pas les plugins.
Connecter
Commandes et configurations construites uniquement à partir de ce que déclarent ses places de marché. Nous ne les exécutons pas pour vous et ne testons pas les plugins.
En plugin Claude Code
Construit à partir de ce que déclare Claude Code: claude-plugins-community.
/plugin marketplace add anthropics/claude-plugins-community
/plugin install formal-agent-contracts@claude-communityOù il est publié
| Place de marché | Statut | Version | Chiffres | Vérifié | Vu pour la première fois |
|---|---|---|---|---|---|
| Claude Code: claude-plugins-community (Ouvrir la source sur GitHub) | Référencé | 2.2.0 | Forks (GitHub): 0 Étoiles (GitHub): 1 |
Non marqué |
Chaque chiffre est celui de la place de marché et n'est jamais additionné entre places de marché. Une place de marché qui ne publie pas de chiffre n'en affiche aucun : pas de nombre ne veut pas dire zéro.
Ce que contient le lot
Tel que publié sur Claude Code: claude-plugins-community.
Skills: 15
define-contractexport-human-specextract-specformal-methods-guidegenerate-codegenerate-db-schemagenerate-testsimport-natural-specintegrated-workflowreconcile-coderefine-specreverse-workflow
Afficher les autres : 3
route-modelssmt-verifyverify-spec
Ce qui a changé
Rien n'a bougé sur ce plugin depuis que nous le suivons.
Plugins similaires
Produits dont les noms, descriptions, outils et skills sont les plus proches de celui-ci par le sens, sur toutes les places de marché que nous lisons. La proximité n'est classée qu'à l'intérieur de cette liste.
-
AI Agent Harness Engineering: bootstrap, audit, and evolve a reliable 6-layer agent harness for any project. Generates AGENTS.md, hooks (type-check, .env protection, auto-format…
-
Comprehensive development workflow for building AI agents with the Atomic Agents framework. Includes specialized agents for schema design, architecture planning, code review, and…
-
agent-comm io.github.keshrath/agent-comm
Agent intercommunication - messaging, channels, shared state, and real-time events
-
Multi-agent development harness for Claude Code. Your AI has speed; we give it direction — through living specs and focused specialist agents.
-
Prevents subagent tech debt by injecting project architectural context (module boundaries, CLAUDE.md rules, conventions) into every subagent's prompt. Validates code placement and…
-
A set of strict, senior-level engineering guardrails and security standards for AI coding agents.
-
Merge gates and safety checks for AI coding agents via MCP.
-
Deterministic compliance and vertical knowledge bases for autonomous agents. Free 24hr trial.
-
Teach your AI coding agent the MASA (Modular Agentic Semantic Architecture) framework — maximizes how well agents can understand, navigate, and safely modify your codebase.
-
Endor Labs workflow agents and setup for Claude Code.
Plugins similaires par place de marché
La même question posée à chaque place de marché séparément : y a-t-il là un équivalent de ce plugin ?
Référencé sur Claude Code: claude-plugins-community (5)
-
AI Agent Harness Engineering: bootstrap, audit, and evolve a reliable 6-layer agent harness for any project. Generates AGENTS.md, hooks (type-check, .env protection, auto-format…
-
Comprehensive development workflow for building AI agents with the Atomic Agents framework. Includes specialized agents for schema design, architecture planning, code review, and…
-
agent-comm io.github.keshrath/agent-comm
Agent intercommunication - messaging, channels, shared state, and real-time events
-
Multi-agent development harness for Claude Code. Your AI has speed; we give it direction — through living specs and focused specialist agents.
-
Prevents subagent tech debt by injecting project architectural context (module boundaries, CLAUDE.md rules, conventions) into every subagent's prompt. Validates code placement and…
Référencé sur Claude Code: claude-plugins-official (5)
-
Comprehensive development workflow for building AI agents with the Atomic Agents framework. Includes specialized agents for schema design, architecture planning, code review, and…
-
Agentforce Agent Development Life Cycle — author, discover, scaffold, deploy, test, and optimize .agent files
-
Comprehensive feature development workflow with specialized agents for codebase exploration, architecture design, and quality review
-
Output.ai workflow development toolkit for Claude Code. Adds 5 specialist agents (planner, builder, debugger, prompt writer, quality reviewer), 40+ slash-command skills covering…
-
Write accurate Pydantic AI code from the start. Up-to-date patterns, decision trees, and common gotchas for agents, tools, structured output, streaming, and multi-agent apps.
Référencé sur 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
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
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…
-
Security review for Claude-generated code. Pattern-based warnings on edits, LLM-powered diff review on Stop, and an agentic commit reviewer that catches injection, XSS, SSRF…
Référencé sur 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.
-
AI-powered code review in Codex, powered by CodeRabbit.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
Référencé sur Community GitHub marketplaces (5)
-
Comprehensive development workflow for building AI agents with the Atomic Agents framework. Includes specialized agents for schema design, architecture planning, code review, and…
-
Endor Labs workflow agents and setup for Claude Code.
-
Agentforce Agent Development Life Cycle — author, discover, scaffold, deploy, test, and optimize .agent files
-
Endor Labs AI Plugins (Legacy)
Legacy Claude Code plugin id for Endor Labs Agent Kit workflows.
-
Sourcery security findings for AI coding agents: triage and minimal-change remediation via the public Sourcery API (12 MCP tools + skills).
Référencé sur Copilot CLI: github/awesome-copilot (5)
-
7 specialized agents covering the full software development lifecycle from UX design and architecture to security and DevOps.
-
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.
-
Meta prompts that help you discover and generate curated GitHub Copilot agents, instructions, prompts, and skills.
-
Task Researcher and Task Planner for intermediate to expert users and large codebases - Brought to you by microsoft/edge-ai
Référencé sur 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.
-
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…
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
Référencé sur Cursor: cursor/plugins (5)
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Patterns for designing CLIs that coding agents can run reliably: flags, help with examples, pipelines, errors, idempotency, dry-run.
-
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.
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
Référencé sur 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.
-
Tools and resources for writing Effect code in Typescript.
-
OpenZeppelin Solidity Contracts
Access to OpenZeppelin Solidity Contracts.
-
Sequential Thinking (Reference)
Dynamic and reflective problem-solving through thought sequences.
Référencé sur Official MCP Registry (5)
-
agent-comm io.github.keshrath/agent-comm
Agent intercommunication - messaging, channels, shared state, and real-time events
-
Merge gates and safety checks for AI coding agents via MCP.
-
Deterministic compliance and vertical knowledge bases for autonomous agents. Free 24hr trial.
-
constitution-lint dev.agentopskit/constitution-lint
Static linter for CLAUDE.md-style agent constitution files: 10 operational-guardrail checks.
-
Analyzes codebases with tree-sitter and generates AGENTS.md files for AI coding agents.
Trouvés par le sens, et non par un code ou un dépôt commun : les plugins similaires restent des produits distincts, et ceci n'est ni un avis ni une recommandation.
C'est votre plugin ?
Ajoutez-le à vos projets et prouvez que vous le maintenez : un fichier dans son dépôt, un fichier sur votre domaine ou un enregistrement DNS. Vous recevez des alertes quand une marketplace le publie, le retire, change sa marque vérifiée ou ce qu'il demande, et son endpoint distant est surveillé comme un service web.
Données issues de Claude Code: claude-plugins-community. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le . Nous ne publions aucune coordonnée des éditeurs de plugins.