83,201 skills sorted by stars.
Problem-solving strategies for proof theory in mathematical logic
Summarize long Isabelle or Coq proof scripts into high-level logical steps and reasoning flow. Use when users need to: (...
Use when verifying ZK proofs server-side, validating proofs before transaction submission, building verification gateway...
Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollar...
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version contro...
Run the proofreading protocol on lecture files. Checks grammar, typos, overflow, consistency, and academic writing quali...
Sussman/Radul propagator networks for constraint propagation and bidirectional
Test software in the style of John Hughes, inventor of QuickCheck and property-based testing. Emphasizes specifying prop...
Generate invariant and edge-case tests.
Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, revi...
Property-based testing with fast-check (TypeScript/JavaScript) and Hypothesis (Python). Generate test cases automaticall...
Use when writing, reviewing, or modifying property-based tests, such as those using `fast-check`, or when asked to add t...
Generate property-based tests with FsCheck or fast-check
Property-based testing with fast-check for business logic validation
Assemble proposals from templates and content library. Use when implementing proposal generation, managing content block...
Generate HTML proposals for consulting and enterprise clients from meeting transcripts. Extracts client needs, recommend...
Facilitate methodical review of proposals (technical designs, product specs, feature requests). Use when asked to "revie...
Review technical project proposals for quality, overpromises, legal risk, and internal consistency. Use when the user as...
Guidelines for creating and managing standardized proposal templates and content libraries
name: proposal-templates
Write a client proposal or quote for a service business. Covers project understanding, scope, timeline, pricing presenta...
Write technical project proposals or specific sections of proposals for research grants, technology development, and inn...
Templates and frameworks for creating winning sales proposals. Executive summaries, scope of work, pricing strategies, a...
--- .claude/skills/git-pushing/SKILL.md (original)
Client brief in, polished proposal out. Takes project requirements and generates structured proposals with scope, timeli...
Propose improvements or new components for Product Forge
ワークフロー改善提案の起案からIssue化までを行う（ROI分析・アクションプラン付）
Propose lane transitions for Business OS cards based on stage document evidence and completion criteria.
Propose additions to project CLAUDE.md based on session learnings
Provide expert code review and refactoring suggestions for Swift code, focusing on clarity, maintainability, performance...
Problem-solving strategies for propositional logic in mathematical logic
Create original surveys, benchmarks, and aggregated data nobody else has. Automate data collection for content moats. Tr...
Property-based testing for Rust using proptest. Use when writing tests that verify properties hold for arbitrary inputs,...
OpenProse VM skill pack. Activate on any `prose` command, .prose files, or OpenProse mentions; orchestrates multi-agent...