Skill UI

This skill mints tamper-evident, post-quantum-signed receipts for consequential agent actions (e.g., deployment, payment, access grant). It records who, what, and under which policy the action occurred, ensuring the evidence cannot be altered later. By providing verifiable proof from the certificate alone, it is crucial for meeting regulatory compliance requirements, such as the EU AI Act, and building auditable, trustworthy systems.

A comprehensive, single-page template for marketing SaaS products. It includes all essential sections—Hero, Features, Pricing tiers, Social Proof, and CTA—designed with modern aesthetics like gradients and glassmorphism. Ideal for product launches and digital marketing campaigns.

This skill manages the end-to-end operational workflow for corporate email communication. It is focused on the mechanics of the mailbox itself, allowing users to triage inboxes, draft replies, send messages, and verify successful delivery. It ensures that all actions are context-aware, adhering to brand voice, and providing verifiable proof of the message's final status (e.g., Sent or Drafted).

This comprehensive tool provides a multi-stage verification pipeline for the RuView system. It executes full Rust workspace tests, runs a deterministic Python proof (Trust Kill Switch) to detect behavioral drift, and generates a detailed ADR-028 witness bundle. Use this before merging pull requests or when creating an official attestation package for recipients.

This guide outlines best practices for ensuring rigorous reproducibility of complex interaction claims, especially in game theory and multi-agent systems (MAS). It details required evidence for proofs, experimental setups (agents, opponents, seeds, compute), and consistency checks between the paper's claims and the provided artifacts. Essential for high-stakes academic submissions like AAMAS.

Provides comprehensive guidelines for authors preparing supplementary materials for conference submissions (AAMAS). It covers structuring full proofs, extended game definitions, extra experiments, and anonymized code assets, ensuring the main paper remains comprehensible while maximizing the impact of supporting evidence.

A comprehensive guide for revising complex multi-agent research papers for top-tier conferences. It emphasizes an 'interaction-first' approach, ensuring the unique contribution is highlighted on the first page. The guide mandates naming solution concepts, making the game legible, and rigorously pairing every major claim with a formal proof, self-play, or deployment experiment.

This comprehensive guide provides authors with a detailed checklist for the post-acceptance, camera-ready phase for Acta Automatica Sinica (AAS). It walks users through all necessary steps, including restoring full author details, applying the specific journal template, meticulous proofreading of formulas, figures, and references (GB/T 7714), and understanding publication and royalty procedures. Use this to ensure your manuscript is zero-defect before publication.

A comprehensive guide for designing and presenting rigorous experiments and simulations for top-tier journals in Control Theory, Robotics, and Smart Systems. Covers RQ-driven design, establishing fair baselines, providing theoretical proofs of stability/convergence, performing ablation studies, and ensuring statistical significance, helping authors build an undeniable evidence chain for double-blind external review.

Provides comprehensive guidelines on structuring academic manuscripts for Acta Automatica Sinica (AAS). Learn how to effectively separate core contributions (main text) from supporting details, such as lengthy proofs, supplementary simulations, and extensive datasets, ensuring the paper remains concise and highly readable while maintaining scientific completeness for reviewers.

A comprehensive guide for authors targeting the ACM/IEEE Symposium on Logic in Computer Science (LICS). This tool helps evaluate manuscript fit, refine the narrative, and structure evidence (proofs, theorems, artifacts) specifically for LICS, ensuring the work aligns with foundational logic and theoretical CS standards. Use it when submitting highly theoretical papers to this top-tier venue.

A comprehensive guide for submitting pure mathematics research to Advances in Mathematics. It details the journal's high standards, broad scope (covering algebra, topology, number theory, etc.), required proof rigor, house style, and submission checklist. Use this skill when assessing if a general-interest, high-quality mathematical paper is suitable for this broad-scope, selective academic venue.