Richard Ashworth avatar

Tlaplus Workflow

richashworth/tlaplus-workflow · 1 plugin

tlaplus-workflow is a Claude Code marketplace for automation. 1 plugins It helps solo builders move faster with AI-assisted development.

/plugin marketplace add richashworth/tlaplus-workflow
Repositoryrichashworth/tlaplus-workflow ↗

Plugins in this marketplace

1 plugin - install individually after you add the marketplace.

PluginVersion
Tlaplus WorkflowHide TLA+ formal verification behind a conversational interface. Specialist agents extract, specify, review, verify, and test stateful system designs without exposing formal notation.-

Recommended Marketplaces

AgriciDanielAgricidaniel Claude Seo1 plugins8.5kBaruchi HalamishAi Agents Local4 pluginsAI Agent ToolkitAi Agent Toolkit1 plugins16Kaustubh RaiAidash1 pluginsrnagrodzkiAi Setup Automation1 plugins2QodesmithAi Workflow1 plugins
Automationworkflow
Browse by category
AI & AgentsFrontend & DesignBackend & DataDev ToolsAutomationTesting & ReviewSecurityMonitoring & CloudDocs & Planning
Design & frontend
Design systemsAnimation & motionAccessibility (a11y)CSS & TailwindUI designUXDesign to codeshadcn/uiLanding pagesBest design skills

This week for builders

Five minutes, every Monday — the tools, releases and tactics for shipping solo.

unsubscribe anytime.