OpenRouter API - Unified access to 400+ AI models through one API
Quick integration into your workflow with minimal setup
Active open-source community with continuous updates
MIT/Apache licensed for commercial and personal use
Customizable and extendable based on your needs
Download or copy the skill file from the source repository
Place the skill file in Claude's skills directory (usually ~/.claude/skills/)。
Restart Claude or run the reload command to load the skill
Tip: Read the documentation and code carefully before first use to understand functionality and permission requirements
All Skills from open-source community, preserving original authors' copyrights
rawveg__skillsforge-marketplace/openrouter/skill.mdProven benefits and measurable impact
Reduce time spent on manual audits by automating formal verification.
Catch critical bugs early with Move Prover's rigorous proof checks.
Accelerate development with reusable schema patterns and helper functions.
Perfect for these scenarios
Verify correctness and prevent vulnerabilities in Move-based smart contracts.
Identify and fix proof errors using Move Prover debugging techniques.
Write precise specifications with invariants, preconditions, and postconditions.
Leverage pragma directives and quantifiers to improve verification performance.