Skill UI

Audits cross-chain message passing protocols, cryptographic commitment trees, validator quorum consensus, replay protection, and withdrawal proofs. Provides standardized CSV, SQL DDL, and JSON Schema registers for relayer security compliance.

Generates data export audit logs and templates tracking source module, purpose, format, requester and approver, delivery dates, personal-data flag and status. Produces CSV, SQL DDL, JSON Schema and Notion mappings on request for export governance and compliance.

Builds, audits and maintains a Google Business Profile with a search-intent map: categories, services, posts, reviews, and a CSV/SQL/Notion register for local SEO.

Builds a minimal inventory/stock reconciliation template for physical count vs book quantity, variance investigation, and approved adjustments. Generates CSV, SQL DDL, JSON Schema, and Notion mapping on request. Ideal for SMEs needing structured stock count tracking and audit trails.

This skill develops and verifies mathematical proofs using the Lean theorem prover. It handles creating new proofs, continuing incomplete projects, and auditing existing formalizations to ensure they match original statements. It connects inputs to lemmas, assembles theorems, and checks axioms for reproducibility. Use it for formal verification tasks rather than ordinary drafting.

Work a site's SEO and AI-visibility (GEO) backlog through the hosted LogNorm MCP server: audits, fixes, content, AI-answer tracking.

Reconcile customer and supplier ledger balances against statements, identify differences and reasons, handle confirmations and adjustments. Use for monthly balance checks, audits, and financial accuracy.

Tracks employee acknowledgement of policies and code of conduct, including sent/due dates, acknowledged status, days overdue, and reminders. Use for policy sign-off tracking and compliance audits.

Edit mathematically, empirically, or technically dense papers for readers outside the author's specialty, including empirical legal scholarship, law-and-economics models, and legal-technology research. Clarifies terminology, antecedents, study design, and claim-statistic relationships while checking equations, numbers, quotations, and citations against the source. Use to clarify exposition or de-jargonize a technical draft; not to rewrite briefs or doctrinal arguments. Produces an edited draft and audit memo. Full integrity checks and original-format rendering require suitable extraction, c...

Analyze single-cell RNA-seq at million-cell scale with Scarf: out-of-core Zarr stores on disk or object storage, provenance-tracked artifacts, audited QC, clustering, markers and donor comparisons.

Plans and audits off-site citations and backlinks: which directories to list on, NAP consistency, follow/nofollow type, authority and spam scores, approval status, and when to refuse low-value submissions.

Provides a formal invariant verification framework for smart contracts using Foundry fuzzing, symbolic execution, and theorem proving to track safety properties, generate SQL/JSON schemas, and support audit compliance.