tla-claude-code
TLA+ formal verification for concurrency bugs, race conditions, and UX flow issues
Lot de plugins · par brianwu02
Aperçu
tla-claude-code est un lot de plugins pour les outils de code IA publié par brianwu02. Places de marché que nous lisons et qui le référencent : 1 (Community GitHub marketplaces). Nous l'avons vu pour la première fois le 2026-10-14 et n'avons enregistré aucun changement depuis. Selon notre passage sur les places de marché du 2026-10-14.
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 Community GitHub marketplaces.
/plugin marketplace add brianwu02/tla-claude-code
/plugin install tla-claude-code@tla-claude-codeOù il est publié
| Place de marché | Statut | Version | Chiffres | Vérifié | Vu pour la première fois |
|---|---|---|---|---|---|
| Place de marché communautaire brianwu02/tla-claude-code (Ouvrir la source sur GitHub) | Référencé | 1.0.0 | Aucun chiffre publié | 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.
Listé dans une place de marché communautaire
| Place de marché | Dépôt | Étoiles (GitHub) |
|---|---|---|
| tla-claude-code | brianwu02/tla-claude-code | 2 |
Quelles places de marché nous lisons et comment nous les vérifions
Ce que contient le lot
Tel que publié sur Community GitHub marketplaces.
Skills: 1
tla
Ce qui a changé
- Est devenu un produit que nous suivons
- Community GitHub marketplaces: apparu
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.
-
Prevent, catch, and verify architectural violations while Claude Code works.
-
AI code review that catches production-breaking bugs, business logic issues, and security vulnerabilities — directly in Claude Code.
-
Description: Adversarial code hardening for Claude Code. Forge spawns two agents — a Builder and a Breaker — that iterate against each other until the code is unbreakable. The…
-
Evidence-backed code review powered by Jev
-
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…
-
Full-stack engineering ops for Claude Code. One command (/prodmasterai) covers your entire dev lifecycle: orchestrate features into parallel tasks, run 11-phase QA with health…
-
Code intelligence platform for AI agents. 20 tools for architecture, security & impact analysis.
-
Catch security issues, unsafe agent patterns, and hallucinated tools before code ships
-
Helps you ship complex engineering work without missing the obvious. Before any code is written, ASP runs an automated pre-mortem to surface failure modes that engineers (and…
-
Prevents subagent tech debt by injecting project architectural context (module boundaries, CLAUDE.md rules, conventions) into every subagent's prompt. Validates code placement and…
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 code review that catches production-breaking bugs, business logic issues, and security vulnerabilities — directly in Claude Code.
-
Description: Adversarial code hardening for Claude Code. Forge spawns two agents — a Builder and a Breaker — that iterate against each other until the code is unbreakable. The…
-
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…
-
Full-stack engineering ops for Claude Code. One command (/prodmasterai) covers your entire dev lifecycle: orchestrate features into parallel tasks, run 11-phase QA with health…
-
Helps you ship complex engineering work without missing the obvious. Before any code is written, ASP runs an automated pre-mortem to surface failure modes that engineers (and…
Référencé sur Claude Code: claude-plugins-official (5)
-
Comprehensive feature development workflow with specialized agents for codebase exploration, architecture design, and quality review
-
Set up endorctl and use Endor Labs to scan, prioritize, and fix security risks across your software supply chain
-
Your code review partner. CodeRabbit provides external validation using a specialized AI architecture and 40+ integrated static analyzers—offering a different perspective that…
-
Automate API security directly in Claude Code with 42Crunch - automatically audit OpenAPI specs, detect vulnerabilities aligned with OWASP API Security risks (including…
-
Deep vulnerability scanning of your own code, run entirely inside your Claude Code session at a chosen effort tier, with every finding challenged before it is reported and the…
Référencé sur Claude: knowledge-work-plugins (5)
-
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…
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
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.
-
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…
Référencé sur Codex: openai-curated (openai/plugins) (5)
-
AI-powered code review in Codex, powered by CodeRabbit.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
-
Inspect recent issues and events in Sentry from Codex.
-
Qodo setup, code intelligence, and review workflows.
Référencé sur Community GitHub marketplaces (5)
-
Prevent, catch, and verify architectural violations while Claude Code works.
-
Evidence-backed code review powered by Jev
-
Catch security issues, unsafe agent patterns, and hallucinated tools before code ships
-
Prevents subagent tech debt by injecting project architectural context (module boundaries, CLAUDE.md rules, conventions) into every subagent's prompt. Validates code placement and…
-
Cross-repo service dependency scanner for Claude Code — maps your architecture, detects drift, and syncs to Arcanon Hub
Référencé sur Copilot CLI: github/awesome-copilot (5)
-
Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.
-
7 specialized agents covering the full software development lifecycle from UX design and architecture to security and DevOps.
-
Visualize and guide the GitHub Copilot Modernize CLI Assess, Plan, and Execute workflow for .NET, Java, and C++ application repositories.
-
Helps GitHub Copilot investigate mobile app telemetry, diagnose crashes, manage [bitdrift](bitdrift.ai) workflows and dashboards, integrate the Capture SDK into iOS, Android, and…
-
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…
Référencé sur Copilot CLI: github/copilot-plugins (5)
-
Advanced Security plugin for GitHub Copilot.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
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…
Référencé sur Cursor: cursor/plugins (5)
-
Build apps, scripts, and automations with the TypeScript SDK.
-
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…
-
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.
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
Internal team workflows for CI, code review, shipping, local automation, and verification.
Référencé sur Docker MCP Catalog (5)
-
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.
-
Bridges multiple AI models and CLIs, enabling orchestrated workflows across Claude Code, Gemini CLI, Codex CLI, and other AI development tools.
-
MCP server for AI access to SmartBear tools, including BugSnag, Reflect, Swagger, PactFlow, QTM4J.
-
Educational Python refactoring assistant that provides guided suggestions for AI assistants.
Référencé sur Official MCP Registry (5)
-
Code intelligence platform for AI agents. 20 tools for architecture, security & impact analysis.
-
BugBug workflows for AI agents workflows for AI agents
-
Community of Consciousness MCP Server — upload and explore collective wisdom via GitHub.
-
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
-
GodPrompt MCP + Agent Skill for coding agents with TDD, debugging, verification, and task routing.
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 Community GitHub marketplaces. 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.