Erzeuge eindeutige Stripe-Promotion-Codes in Serie mit eigenem Präfix — ohne API-Schlüssel. Exportiert eine Tracking-CSV und ein lauffähiges, idempotentes Importskript.

Document Tools

Schritt-für-Schritt-Anleitungen

Lokale Screenshots und Schritte zu Anleitungen mit Markierungen, PDF-Druck, HTML und Projektdateien verbinden.

Media

SDH-Anmerkungen-Reiniger

Entfernt Hörgeschädigten-Rauschen (SDH) aus Untertiteln: Geräusch-Anmerkungen in Klammern wie [APPLAUSE] und (engine rumbles), Sprecherkennungen wie JOHN: oder NARRATOR -, Musiknotenzeilen ♪ ♫ — und verwirft die leer gebliebenen Cues.

Media

Untertitel-Bildraten-Retime-Konverter

Skaliert Untertitel-Timings bei Bildratenwechsel neu: PAL-Beschleunigungs-Presets (23,976↔25), eigene fps-Paare, direkter Linearfaktor oder Zwei-Punkt-Kalibrierung t′ = a·t + b.

Media

Sidechain-Compressor Pro

Rendert echte Sidechain-Kompression über FFmpegs zwei-Eingangs-sidechaincompress: Trigger filtern, Hüllkurve formen (Attack/Release/Knee/Link/Mix) — Ausgabedatei plus gemessene Gain-Reduction.

Media

AI-Remix-Tool

Macht aus einem Track fertige Remix-Versionen in einem Durchgang: Slowed + Reverb, Nightcore, 8D-Rotation, Club-Edit, Radio-Edit, plus Demucs-gestützte Instrumental-, Acapella- und Drums-&-Bass-Version — alles in einem ZIP.

Converter

SLIP-39 / BIP-39 / Electrum-Seed-Brücke

Erkennt, validiert und überbrückt Krypto-Wallet-Seeds offline: BIP-39-Checksumme und Entropie-Wiederherstellung, SLIP-39-Shamir-Anteilanalyse mit RS1024-Checksumme und Einfachgruppen-Rekombination, Electrum-v2-Versionstag-Validierung und Legacy-v1-Erkennung — leitet dann die BIP-32-Masterschlüssel xprv/xpub und die ersten fünf m/44′/0′/0′/0-Adressen ab und konvertiert Entropie in beide Richtungen zwischen BIP-39-Mnemonics und Einfachgruppen-SLIP-39-Anteilsets.

Media

Rhythmus-Extractor

Analysiert eine Drumspur oder einen Komplettmix in ein Step-Sequencer-Pattern: BPM, Beat-Raster, pro Takt quantisierte Kick/Snare/Hi-Hat-Hits, Drum-MIDI und HTML-Rasterbericht.

Science & Education

SMT-LIB 2.7 / AIGER / BTOR2 Formal-Verification-Orchestrator (CDCL + BMC + k-Induktion + Craig-Interpolation + IC3)

Ein kompletter Formal-Verification-Stack im Browser — ganz ohne cvc5/Z3-Binary: ein SMT-LIB-2.7-Skript-Parser für den QF_BV-+Bool-Kern mit Tseitin-Bit-Blasting der FixedSizeBitVectors-Operatoren, ein AIGER-Leser (ASCII-aag und Binär-aig mit Delta-Dekodierung; Ausgaben als Bad-Properties), ein BTOR2-Leser mit Wortebenen-Bit-Blasting und darunter ein handgeschriebener CDCL-SAT-Kern (zwei beobachtete Literale, VSIDS-artige Aktivitäten, 1-UIP-Lernen, Neustarts). Auf sequenziellen Modellen: BMC mit Zeugenspuren, k-Induktion mit Unique-State-Verstärkung, McMillan-artige Craig-Interpolation mit SAT-Rezertifizierung und eine IC3/PDR-lite-Schleife mit Würfel-Blockierung.

Finance

Berater Mieten vs. Kaufen — Gesamtbetriebskosten (Hypothek/Steuern/Versicherung/Instandhaltung + NPV-Break-even + IRR)

Monatliche Nebeneinander-Simulation: Hypothekentilgung + Grundsteuer/Versicherung/HOA/Instandhaltung gegen Miete + Mieterversicherung; der Mieter investiert Anzahlung und monatliche Ersparnis zum Opportunitätssatz; Ausgabe: jährlicher Kapitalwert, Break-even-Jahr, IRR der Differenzflüsse, SALT-Deckel-Steuerschild und ±20-%-Tornado-Diagramm.