Skill UI

Rigorous verification workflow for LaTeX mathematical proofs. Identifies logical gaps via cross-model adversarial review, fixes each gap with full derivations, and re-reviews until convergence. Generates an audit report. Use for checking proofs and verifying mathematical theory papers.

Generates a complete, single-page SaaS landing page structure. This tool produces a fully contained HTML file, integrating required sections such as Hero, Features, Social Proof, Pricing, and Call-to-Action (CTA). It strictly adheres to an existing design system for colors, typography, and layout, making it ideal for product launches and marketing campaigns.

This powerful skill analyzes various document types (PDF, Word, RTF) and web URLs. It generates a detailed report where every factual claim made in the analysis is accompanied by an inline screenshot from the source material, highlighting the exact cited text. This ensures users can visually verify the accuracy and source of every piece of information.

MockHunter is an advanced skill designed to audit live web pages, providing a comprehensive reality check on visible data. It analyzes every element to determine its true source: whether it is REAL (from the database), MOCK (simulated data), LLM-generated, HARDCODED, BROKEN (broken endpoints), or UNKNOWN. Ideal for auditing AI-generated UIs or reviewing proof-of-concept MVPs before customer sign-off.

An expert system for refining and enhancing existing marketing and conversion copy. This skill goes beyond simple proofreading, employing a systematic, multi-pass framework (including Clarity, Voice, Benefit, Proof, and Specificity) to ensure the copy is highly persuasive, crystal clear, and perfectly aligned with the brand voice. Ideal for reviewing drafts before publication.

A comprehensive tool for Bid Managers and Proposal Leads to structure responses to RFPs, RFIs, and RFQs. It systematically parses complex requirements, maps product proof-points to identify strategic gaps (GAP audit), develops win-themes using the Shipley method, and calculates a defensible winrate estimate to guide a decisive bid/no-bid decision. Focuses on strategy, not narrative writing.

Bilig WorkPaper provides a code-first runtime environment for complex spreadsheet business logic. It allows agents to interact with structured data using formulas and JSON workbooks via deterministic API calls (MCP/TypeScript). This is ideal for replacing unreliable UI automation in use cases like quote calculators, budget modeling, and data validation, ensuring calculation integrity through explicit read-back proof.

This skill enforces an algorithm-first discipline, requiring the user to state the time and space complexity (Big-O), the intended data structure, and the core algorithm family before writing any complex code (loops, queries, recursion). It serves as a critical gatekeeper to prevent common performance pitfalls like O(n²) complexity, N+1 database queries, and brute-force implementation errors, significantly improving code robustness and efficiency.

nano-pdf is a powerful command-line interface (CLI) tool designed to simplify PDF editing. Instead of requiring complex manual adjustments, users can provide natural language instructions (e.g., "Change the title to X and fix the typo") to modify specific pages of a PDF document. It is ideal for quick content revisions, report updates, or proofreading when traditional PDF editors are cumbersome, offering a highly intuitive workflow.

This advanced tool surfaces critical, often unrecorded, evidence of human-AI collaboration during development sessions. It analyzes git diffs and conversational context across multiple layers to classify the signal level (HIGH/MEDIUM/LOW), measure technical complexity, detect decision forks, and quantify the specific contribution of the AI model, providing structured data for post-session retrospectives and accountability.

This skill transforms AI from a validating assistant into a relentless adversary. Ideal for stress-testing high-stakes decisions, business plans, or core assumptions. It forces the model to produce the strongest case against your position, identifying potential failure points and required proofs, ensuring you confront the risks you might otherwise ignore.

This skill creates an actionable, one-page competitive battlecard designed for sales representatives. Use it when facing a specific competitor to build positioning statements, list key differentiators with proof points, anticipate common objections, and define strategic 'landmines' to use in live calls. It ensures your sales team is prepared for real-world competitive scenarios.