Results for “proof”
19 skillsProofly Automation
Automate Proofly operations through Composio's Proofly toolkit via Rube MCP, including tool discovery, connection management, and workflow execution.
66.9k
Proof Usage
Look up and apply the cooked, indexed proof playbook built from proof-material. Use when the user is proving a theorem, planning a proof, seeking reusable proof moves by task shape, assumptions, tags, desired move, or material source ID, or adapting cooked local moves and macro strategies with public source attribution.
2 · bundle
Proofreading
Proofread and correct text for grammar, spelling, punctuation, style, clarity, and consistency, with support for multiple style guides and readability analysis. Use when the user requests proofreading or provides relevant inputs for this workflow.
159
Implementing Email Sandboxing With Proofpoint
Configure Proofpoint Targeted Attack Protection (TAP) to detonate suspicious attachments and URLs in isolated sandboxes, integrate with email flow, analyze reports, and tune detection policies.
24.6k · bundle
Kaizen
Guide for continuous improvement, error proofing, and standardization in code and processes. Use when improving code quality, refactoring, or discussing process improvements.
42.4k
Paper Polish
Proofread and verify academic papers in LaTeX. Runs 19 sequential checks covering titles, consistency, citations, formatting, theoretical tension in motivation, concise results reporting, cross-section repetition, em-dash usage, and auxiliary-text-to-footnote conversion. Trigger when user says "check paper" / "proofread" / "paper-checker" / "校对" / "核查论文".
1k · bundle
More results
Grammar Check
Identify grammar, logical, and flow errors in text and suggest targeted fixes without rewriting the entire document.
22.6k
Uwu
Grow the m/uwu community by posting in UwU voice and submitting proof links to a queen hub, with installation and identity-persistence instructions.
54 · bundle
Terminal Ops
Runs commands, inspects git state, debugs CI failures, and makes narrow fixes with exact proof of what was executed and verified.
0
Tw Prove It
Runs a ten-round adversarial gauntlet to pressure-test absolute claims, refining them with explicit boundaries and an Oracle synthesis.
7
Verification Before Completion
Use when about to claim work is complete, fixed, or passing, before committing, before reporting a task done, or before telling the evaluator the batch is ready. Requires running the verification command and reading its output in this turn before any success claim; evidence before assertions always.
580
Outbound
Verify an artifact that is about to leave the building — a partnership brief, pitch page, press release, customer email, RFP response, or any document sent to someone outside the org. Runs six checks before send — premise, confidentiality forward-test, evidence class, cold read by recipient personas, AI read, and tone metrics — and returns what to change with replacement copy. Use before sending anything outward-facing that carries customer detail, factual claims about a counterparty, or an ask.
8
Verification Before Completion
Enforces running verification commands and confirming output before claiming work is complete, fixed, or passing, to prevent false success claims.
247k
Cold Email Drafter
Framework-based cold email composer with 3 personalization tiers. Generates subject line, body, and follow-up variants. Never uses templates -- builds from frameworks (PAS, BAB, AIDA, Signal-Proof-Ask).
2 · bundle
Terminal Ops
Executes terminal commands, inspects git state, debugs CI or builds, and makes narrow fixes with exact proof of what was executed and verified.
1
Fundraising Email
Crafts concise, specific investor emails—outreach, warm intros, follow-ups, updates, and closing notes—with a clear single ask and strong proof points.
20
Proposal Generation
Create tailored sales proposals and RFP responses that address prospect needs, articulate solution value, and include pricing, timelines, and social proof. Use when the user requests proposal generation or provides relevant inputs for this workflow.
159
Terminal Ops
Evidence-first repo execution workflow for ECC. Use when the user wants a command run, a repo checked, a CI failure debugged, or a narrow fix pushed with exact proof of what was executed and verified.
0
Colt Workflow
Use when planning a COLT (Conference on Learning Theory) submission calendar backward from the single AoE paper deadline — proof-completion and verification milestones, writing and appendix-assembly passes, CMT logistics, the rebuttal window, decision aftermath, and PMLR camera-ready with conference presentation in early summer.
1k