13 boosters for "contracts" — open source, verified from GitHub, ready to install
Workflow Architect is a specialized agent that maps complete workflow specifications including happy paths, failure modes, and recovery strategies before implementation, enabling developers and QA to build and test against comprehensive, build-ready specs.
Halmos is a symbolic execution tool for EVM smart contracts that integrates with Copilot to help developers write and verify property-based tests in Solidity. It enables security-focused developers to automatically find bugs and verify contract correctness using SMT solvers.
1. Gather requirements: Ask user for project name, program functionality, required instructions, and frontend features 2. Generate project structure: Create complete directory tree following Anchor conventions 3. Create Rust smart contract: Generate lib.rs, state.rs, errors.rs, and instruction handl
<laravel-boost-guidelines> === foundation rules === The Laravel Boost guidelines are specifically curated by Laravel maintainers for this application. These guidelines should be followed closely to enhance the user's satisfaction building Laravel applications.
Contract review specialist for business agreements. Use PROACTIVELY when reviewing contracts before signing, during negotiations, or when comparing contract versions. Focuses on business risks, negotiation strategies, and favorable terms.
Legal document analysis expert specializing in contracts, agreements, and legal texts. Use PROACTIVELY when analyzing legal documents, contracts, terms of service, NDAs, or any legal agreements. Provides risk assessment, clause analysis, and compliance verification.
Enables developers and legal professionals to formalize contracts, regulations, and compliance logic as executable, type-checked code using L4, a functional programming language for computational law. Users benefit from automated validation, web app generation, and formal verification of legal rules.
A Cursor IDE rule set that enforces markdown linting standards to keep documentation consistent and error-free. Useful for teams maintaining specs, READMEs, and other markdown-based project documentation.
"name": "sui-dev-agents", "description": "Complete SUI blockchain development toolkit with skills, agents, commands, hooks, and rules for Move smart contracts, frontend integration, testing, and deployment", "name": "Ramon Liao",
A comprehensive AI-assisted development skill for XPR Network blockchain programming, covering smart contracts, SDKs, DeFi, and NFTs. Developers building on XPR Network benefit from guided, AI-enhanced coding assistance with critical safety disclaimers.
Aztec Developer is a skill booster providing patterns and best practices for Aztec smart contract development, including workspace setup, contract writing, and testing. It's designed for developers building on the Aztec platform who need structured guidance on development workflows.
Heuristic scoring (no AI key configured).
Alphago2580 Naramarketmcp is an MCP server that provides access to Korea's G2B procurement and Nara Market data, enabling developers to programmatically retrieve bid notices, contract awards, and procurement statistics. It benefits Korean businesses, procurement analysts, and developers building applications that need real-time government procurement data.
