Use when code or a protocol needs machine-checked assurance — z3/SMT, TLA+, Kani, Miri.
Extract properties from a formal spec (TLA+/Lean/ProVerif) into AutoSpec's structured format. Classifies each property with id, statement, essence, and type.
Balanciert formale Legalitaet und Einzelfallgerechtigkeit im BGB: Wortlautbindung, Generalklauseln, Billigkeit, Rechtsfortbildung, Vertrauensschutz und offene Begruendung.
Hilft bei Formales Deutsch Zu Einfach fuer Menschen mit Deutsch als Zweitsprache. Erklaert Juristendeutsch, klaert Risiko, Frist und naechste Handlung, und formuliert respektvoll…
Hilft bei Formales Deutsch Zu Einfach für Menschen mit Deutsch als Zweitsprache. Erklaert Juristendeutsch, klaert Risiko, Frist und naechste Handlung, und formuliert respektvoll…
Formalia Fehlerkatalog: Fehlerbremse; prüft Fristen, Zuständigkeit, Beweislast, Quellen und taktische Risiken vor Abgabe oder Versand.
Erkennt formale und begriffsjuristische Scheinloesungen, ohne Systematik und Dogmatik vorschnell zu verachten.
Formaloo integration. Manage data, records, and automate workflows. Use when the user wants to interact with Formaloo data.
Formalprüfung Forderungsanmeldung nach § 174 InsO: Anwendungsfall Insolvenzverwalter oder Prüfungsstelle prüft ob eingegangene Anmeldung Mindestangaben hat und tabellenfähig ist.
Formance integration. Manage data, records, and automate workflows. Use when the user wants to interact with Formance data.
Use when receiving structured JSON data from tool results (API responses, database queries, email lists, calendar events) or when presenting structured data to the user.
Formatear un informe Quarto o R Markdown siguiendo el estilo APA 7a edición. Cubre los paquetes apaquarto/papaja, página de título, resúmenes, citas, tablas, figuras y formato de…
Zitate und Literaturverzeichnisse über verschiedene akademische Stile hinweg formatieren (APA 7, Chicago, Vancouver, IEEE, benutzerdefiniert) unter Verwendung von…
Intelligent cover letter formatting with semantic understanding of structure and content (project, gitignored)
Help users convert data between formats. Invoke when user needs to convert files or data between different formats like JSON, CSV, YAML, XML, Markdown.
Formats an unformatted/minified JSON file into readable, indented JSON. Use when the user asks to format, pretty-print, beautify, or indent a JSON file, or mentions a JSON file…
Apply consistent method parameter line break formatting across C# projects. Formats parameter lists in declarations (methods, constructors, local functions, delegates) while…
Find every monetary price in the codebase and normalize it to one fixed standard format. Use when the user asks to standardize, unify, normalize, or "format" prices/currency…
EndNote reference formatting workflow — converts [PMID: xxxx] markers in Markdown manuscripts to Word (.docx) using EndNote CWYW-recognized {Author, Year, Title} placeholders,…
Zotero reference formatting workflow. Converts [PMID: xxxx] markers in Markdown manuscripts to Word (.docx) with native Zotero field codes (ADDIN ZOTERO_ITEM / ADDIN ZOTERO_BIBL).
Intelligently format CV/resume content using semantic understanding and visual verification
Apply clippy-aligned Rust practices when writing or editing Rust code (.rs). Covers procedural flow, clippy-driven clarity improvements, minimal imports, Result/Option idioms,…
Choose media formats and codecs by compatibility, quality, and licensing, with fallbacks for what the client cannot play. Use when deciding what to store and deliver.
Standardize formatting and apply consistent style to the deliverable. Use after generation to ensure the output matches the user's formatting standards and conventions.
Formats markdown tables with fixed-width columns for consistent alignment. Use when creating tables, reformatting existing tables, or ensuring table readability.
Format a message for Microsoft Teams and copy it to the clipboard as HTML so Teams renders formatting (bold, headings, code blocks, lists, links, blockquotes) on paste.
Convert UTC timestamps to the user's timezone before showing them in chat, charts, Telegram, or any user-facing output.
Generate properly formatted TodoWrite lists for orchestrator progress tracking. Use when creating phase checklists, updating task status, or ensuring consistent todo formatting.
Format all user-facing output with consistent visual structure. Apply when displaying questions, results, progress, errors, or any message to the user.
Creates formative assessment strategies and instruments (exit tickets, polls, think-pair-share, quick writes) for educators to check understanding during instruction.
Design an adaptive assessment loop where each student response triggers the next instructional move. Use when building technology-enhanced formative assessment cycles.
Select the right formative assessment technique for a specific learning moment, purpose, and age group.
Entwerfe eine adaptive Beurteilungsschleife, wo jede Schüler-Antwort den nächsten Unterrichts-Zug auslöst.
Best practices for metric default formatting. Covers: decimals, prefix, suffix, currency ($/€), percent (%), K/M/bp/thousand/million scaling, thousand separator, sign / zero /…
Standardizes the structure of internal function results. Use when writing Services or Server Actions.
Design document review format with 100-point scoring system for SOW/Spec. Triggers: SOW review, Spec review, document scoring, 設計書レビュー, 品質スコア.
Generates a well-structured, conventional Git commit message from the user's staged changes or a description of what they did.
Formats dates, numbers, and currency with culture awareness in WPF. Use when displaying localized data formats or building international applications.
Pick the right y-axis unit when creating or updating an insight via `posthog:insight-create` or `posthog:insight-update` — both TrendsQuery (`trendsFilter.aggregationAxisFormat`)…
Für Formatvorlage-Check (Autor-Manuskript): ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
Use when we want to turn a just-finished Formax workflow (e.g. commands, overlays, tools, hooks, permissions, UI parity) into a reusable Codex Skill under .codex/skills, including…
Formbricks integration. Manage Organizations. Use when the user wants to interact with Formbricks data.
Automate Formbricks tasks via Rube MCP (Composio). Always search tools first for current schemas. — from general/automation
Formbricks is an open source survey platform and privacy-first experience management solution. Create in-app, website, link, and email surveys to gather user and customer insights…
Prüft bereitgestellte Formularbeschreibungen auf Struktur, Validierung, Verständlichkeit und Barrierefreiheit.
FormCan integration. Manage Forms, Users, Roles. Use when the user wants to interact with FormCan data.
Formcarry integration. Manage Forms. Use when the user wants to interact with Formcarry data.
Automate Formcarry tasks via Rube MCP (Composio). Always search tools first for current schemas. — from general/automation
Formdesk integration. Manage Forms, Users, Themes, Workspaces. Use when the user wants to interact with Formdesk data.
Automate Formdesk tasks via Rube MCP (Composio). Always search tools first for current schemas. — from general/automation
Expert knowledge for Formedible - A React form library built on TanStack Form with 22+ field types, multi-page forms, analytics, and type-safe validation
Pruefe ein Gesetz oder eine sonstige Norm auf formelle Verfassungsmaessigkeit. Verfahren nach Art. 76 bis 82 GG (Einbringung, drei Lesungen, Bundesrat, Ausfertigung, Verkuendung).
Für Formerfordernisse: Erstprüfung, Rollenklärung und Mandatsziel: routet Rolle, Frist, Unterlagen und Fachschritt; Ergebnis: Tatbestands- oder Anspruchsmatrix.
Systematik der Formerfordernisse im BGB: gesetzliche vs. gewillkürte Form, §§ 125-129 BGB, Nichtigkeitsfolge § 125 BGB, Heilungsmöglichkeiten, Formhierarchie von Textform bis…
Strukturierte Pruefung Formfehler bei Wandeldarlehens-Vorgaengen und Heilungs-Timeline. Verschiedene Form-Stufen Textform § 126b BGB Schriftform § 126 BGB notarielle Beurkundung §…
Manage Formidable Forms via REST API and WP-CLI. List forms, get form details and fields, retrieve entries.
ES Real Estate Formify: the six documents a Spanish estate agency signs most (nota de encargo, KYC comprador y vendedor, oferta y reserva, contrato de arras, colaboración entre…
Build fillable PDF forms and contract templates with signature fields. Use when creating a form or template, adding fillable fields to an existing PDF, replacing static text with…
Send a contract or document for e-signature through Formify. Use when sending something to be signed, from a saved template, an uploaded PDF, or a document drafted in this…
Publish one reusable signing link anyone can open and sign, with no named recipients. Use when a form, waiver or consent goes to people whose names are unknown, when a link…