agb-recht-pruefer
claudeGigantischer AGB-Rechtsprüfer und Klausel-Entwerfer für deutsches Recht: §§ 305 bis 310 BGB, UKlaG, B2C/B2B, Branchen-AGB, Redlining, Klauselrisiko und rechtssichere Entwurfsworkflows.
200 skills
DFG-Förderantragssteller für Sachbeihilfe, adaptive Anfänger-/Profi-Führung, kleine schnelle Anträge, große Koselleck-Strategien, elan-Formalia, Finanzplan, Reviewer-Red-Team, Forschungsdaten, KI-/Ethik-Check und Wiedereinreichung.
Plugin dfg-foerderantrag from marketplace klotzkette-german-legal-skills in Klotzkette/claude-fuer-deutsches-recht. Commands read from the repo's manifest — today.
adaptive-dokumentenmatrix-lueckenlisteFür Adaptive: Dokumentenmatrix, Lückenliste und Nachforderung: ordnet Akte, Belege und Lücken; Ergebnis: Dokumentenmatrix mit Nachforderungsliste. Fachgebiet: DFG-Förderantrag. Route: adaptive-dokumentenmatrix-lueckenliste.
adaptive-dokumentenmatrix-und-lueckenlisteFür Adaptive: Dokumentenmatrix, Lückenliste und Nachforderung: ordnet Akte, Belege und Lücken; Ergebnis: Dokumentenmatrix mit Nachforderungsliste. Fachgebiet: DFG-Förderantrag. Route: adaptive-dokumentenmatrix-und-lueckenliste.
anfaenger-antraege-dfgFür Anfänger: Risikoampel, Gegenargumente und Verteidigungslinien: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
anfaenger-risikoampel-gegenargumenteFür Anfänger: Risikoampel, Gegenargumente und Verteidigungslinien: prüft Ergebnis, Beweislast und Gegenposition; Ergebnis: Fristen- und Risikoampel.
anschluss-routingFür Anschluss-Routing: routet Rolle, Frist, Unterlagen und Fachschritt; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag.
antraege-zahlen-schwellen-und-berechnungFür Anträge: Zahlen, Schwellenwerte und Berechnung: rechnet Beträge, Schwellen und Varianten; Ergebnis: Berechnungstabelle mit Annahmen und Kontrollfragen. Fachgebiet: DFG-Förderantrag. Route: antraege-zahlen-schwellen-und-berechnung.
antraege-zahlen-schwellenwerte-berechnungFür Anträge: Zahlen, Schwellenwerte und Berechnung: rechnet Beträge, Schwellen und Varianten; Ergebnis: Berechnungstabelle mit Annahmen und Kontrollfragen. Fachgebiet: DFG-Förderantrag. Route: antraege-zahlen-schwellenwerte-berechnung.
chronologie-und-belegmatrixFür Chronologie und Belegmatrix: ordnet Akte, Belege und Lücken; Ergebnis: Chronologie mit Beleg- und Widerspruchsmatrix. Fachgebiet: DFG-Förderantrag.
dfg-bis-200k-begutachtung-lightFür DFG-Antrag bis 200.000 Euro: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dfg-eigenanteil-und-grundausstattungFür Eigenanteil und Grundausstattung: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dfg-eigene-vorarbeiten-darstellenFür DFG: Eigene Vorarbeiten: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dfg-erstantragsteller-besondere-checksFür Erstantragsteller-Sondercheck: erstellt Entwurf mit Antrag, Beweis und Anlagen; Ergebnis: Schriftsatz mit Begründungs- und Anlagenlogik.
dfg-erstpruefung-und-mandatszielFür DFG: Erstprüfung, Rollenklärung und Mandatsziel: routet Rolle, Frist, Unterlagen und Fachschritt; Ergebnis: Tatbestands- oder Anspruchsmatrix. Fachgebiet: DFG-Förderantrag. Route: dfg-erstpruefung-und-mandatsziel.
dfg-finanzplan-module-personal-geraeteFür Finanzplan und Module: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dfg-foerderstrategie-schnell-oder-grossFür DFG-Förderstrategie: schnell, schlank oder groß?: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Verhandlungs- oder Eskalationslinie. Fachgebiet: DFG-Förderantrag. Route: dfg-foerderstrategie-schnell-oder-gross.
dfg-grossgeraete-und-cluster-antragFür DFG: Grossgeräte und Cluster: erstellt Entwurf mit Antrag, Beweis und Anlagen; Ergebnis: Schriftsatz mit Begründungs- und Anlagenlogik.
dfg-grundsystem-foerderlinienFür Grundsystem DFG-Förderlinien: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dfg-internationale-kooperation-aufbauFür DFG: Internationale Kooperation: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Schnittstellenkarte mit Zuständigkeits- und Nachweisfragen. Fachgebiet: DFG-Förderantrag. Route: dfg-internationale-kooperation-aufbau.
dfg-ki-ethik-forschungsdatenFür digitale Werkzeuge, Ethik und Forschungsdaten: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dfg-kollegen-review-organisierenFür DFG: Kollegen-Review organisieren: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dfg-koselleck-500k-125mFür Reinhart-Koselleck-Check: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag. Route: dfg-koselleck-500k-125m.
dfg-koselleck-500k-praeregistrierungFür Reinhart-Koselleck-Check: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag. Route: dfg-koselleck-500k-praeregistrierung.
dfg-praeregistrierung-replication-studiesFür Präregistrierung und Replikation: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dfg-projektbeschreibung-arbeitsprogrammFür Projektbeschreibung und Arbeitsprogramm: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dfg-publikationsstrategie-projektFür Publikationsstrategie Projekt: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Verhandlungs- oder Eskalationslinie. Fachgebiet: DFG-Förderantrag. Route: dfg-publikationsstrategie-projekt.
dfg-replikationskrise-statistik-spezialFür DFG: Statistik nach Replikationskrise: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dfg-reviewer-red-teamFür Reviewer-Red-Team: prüft Ergebnis, Beweislast und Gegenposition; Ergebnis: Gegenprüfung mit Beweis- und Fristencheck.
dfg-sachbeihilfe-elan-formaliaFür Sachbeihilfe und elan-Formalia: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dfg-software-veroeffentlichung-spezialFür DFG: Software-Veröffentlichung: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag. Route: dfg-software-veroeffentlichung-spezial.
dfg-software-veroeffentlichung-tieforschungFür DFG: Software-Veröffentlichung: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag. Route: dfg-software-veroeffentlichung-tieforschung.
dfg-tieforschung-ethik-pflichtenFür Tierforschungs-Ethikpflichten: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dfg-wiedereinreichung-nach-ablehnungFür Wiedereinreichung nach Ablehnung: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Einreichungsplan mit Form- und Nachweischeck.
dfg-zeitplan-und-meilensteineFür Zeitplan und Meilensteine: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag. Route: dfg-zeitplan-und-meilensteine.
dfg-zwischen-und-abschlussberichtFür Zwischen- und Abschlussbericht: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
dokumente-intakeFür Dokumentenintake: ordnet Akte, Belege und Lücken; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag.
eigene-vorarbeiten-erstantragstellerFür DFG: Eigene Vorarbeiten: erstellt Entwurf mit Antrag, Beweis und Anlagen; Ergebnis: Schriftsatz mit Begründungs- und Anlagenlogik.
einstieg-routingFür Einstieg und Routing: routet Rolle, Frist, Unterlagen und Fachschritt; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag.
elan-ethik-finanzplanFür Elan: Formular, Portal und Einreichungslogik: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
elan-formular-portal-einreichungslogikFür Elan: Formular, Portal und Einreichungslogik: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Einreichungsplan mit Form- und Nachweischeck.
erstantrag-projektlogikFür Förderantragssteller: Tatbestandsmerkmale, Beweisfragen und Beleglage: erstellt Entwurf mit Antrag, Beweis und Anlagen; Ergebnis: Schriftsatz mit Begründungs- und Anlagenlogik. Fachgebiet: DFG-Förderantrag. Route: erstantrag-projektlogik.
erstpruefung-rollenklaerung-mandatszielFür DFG: Erstprüfung, Rollenklärung und Mandatsziel: routet Rolle, Frist, Unterlagen und Fachschritt; Ergebnis: Tatbestands- oder Anspruchsmatrix. Fachgebiet: DFG-Förderantrag. Route: erstpruefung-rollenklaerung-mandatsziel.
ethik-abschlussprodukt-uebergabeFür Ethik: Abschlussprodukt und Übergabe: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag. Route: ethik-abschlussprodukt-uebergabe.
ethik-abschlussprodukt-und-uebergabeFür Ethik: Abschlussprodukt und Übergabe: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag. Route: ethik-abschlussprodukt-und-uebergabe.
finanzplan-mandantenkommunikation-entscheidungsvorlageFür Finanzplan: Mandantenkommunikation und Entscheidungsvorlage: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Mandantennachricht oder Entscheidungsvorlage. Fachgebiet: DFG-Förderantrag. Route: finanzplan-mandantenkommunikation-entscheidungsvorlage.
finanzplan-mandantenkommunikationFür Finanzplan: Mandantenkommunikation und Entscheidungsvorlage: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Mandantennachricht oder Entscheidungsvorlage. Fachgebiet: DFG-Förderantrag. Route: finanzplan-mandantenkommunikation.
foerderantragssteller-formalia-red-fuehrungFür Förderantragssteller: Tatbestandsmerkmale, Beweisfragen und Beleglage: erstellt Entwurf mit Antrag, Beweis und Anlagen; Ergebnis: Schriftsatz mit Begründungs- und Anlagenlogik. Fachgebiet: DFG-Förderantrag. Route: foerderantragssteller-formalia-red-fuehrung.
foerderstrategie-schnell-grossgeraete-clusterFür DFG-Förderstrategie: schnell, schlank oder groß?: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Verhandlungs- oder Eskalationslinie. Fachgebiet: DFG-Förderantrag. Route: foerderstrategie-schnell-grossgeraete-cluster.
formalia-fehlerkatalogFür Formalia Fehlerkatalog: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
formalia-red-team-und-qualitaetskontrolleFür Formalia: Red-Team und Qualitätskontrolle: prüft Ergebnis, Beweislast und Gegenposition; Ergebnis: Gegenprüfung mit Beweis- und Fristencheck.
forschungsdaten-fristennotiz-naechsterFür Forschungsdaten: Fristennotiz und nächster Schritt: prüft Frist, Form, Zuständigkeit und Eilbedarf; Ergebnis: Fristen- und Risikoampel. Fachgebiet: DFG-Förderantrag. Route: forschungsdaten-fristennotiz-naechster.
forschungsdaten-fristennotiz-und-naechster-schrittFür Forschungsdaten: Fristennotiz und nächster Schritt: prüft Frist, Form, Zuständigkeit und Eilbedarf; Ergebnis: Fristen- und Risikoampel. Fachgebiet: DFG-Förderantrag. Route: forschungsdaten-fristennotiz-und-naechster-schritt.
fristen-und-risikoampelFür Fristen- und Risikoampel: prüft Frist, Form, Zuständigkeit und Eilbedarf; Ergebnis: Fristen- und Risikoampel. Fachgebiet: DFG-Förderantrag.
fuehrung-schriftsatz-brief-memo-bausteineFür Führung: Schriftsatz-, Brief- und Memo-Bausteine: erstellt Entwurf mit Antrag, Beweis und Anlagen; Ergebnis: Schriftsatz mit Begründungs- und Anlagenlogik. Fachgebiet: DFG-Förderantrag. Route: fuehrung-schriftsatz-brief-memo-bausteine.
fuehrung-schriftsatz-brief-und-memo-bausteineFür Führung: Schriftsatz-, Brief- und Memo-Bausteine: erstellt Entwurf mit Antrag, Beweis und Anlagen; Ergebnis: Schriftsatz mit Begründungs- und Anlagenlogik. Fachgebiet: DFG-Förderantrag. Route: fuehrung-schriftsatz-brief-und-memo-bausteine.
grosse-compliance-dokumentation-aktenvermerkFür Große: Compliance-Dokumentation und Aktenvermerk: ordnet Akte, Belege und Lücken; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag. Route: grosse-compliance-dokumentation-aktenvermerk.
grosse-kleine-koselleck-interessenFür Große: Compliance-Dokumentation und Aktenvermerk: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
internationale-kooperation-ki-ethik-kollegenFür DFG: Internationale Kooperation: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Schnittstellenkarte mit Zuständigkeits- und Nachweisfragen. Fachgebiet: DFG-Förderantrag. Route: internationale-kooperation-ki-ethik-kollegen.
juristischer-argumentationskernSchaltet sich ein, wenn in Dfg Förderantrag ein juristisches Arbeitsprodukt tragfähig begründet werden muss; verbindet konkrete Aktenfundstellen mit Tatbestandsmerkmal, Beweislast, stärkster Gegenposition und Rechtsfolge.
kaltstart-triageFür DFG-Förderantrag — Allgemein: routet Rolle, Frist, Unterlagen und Fachschritt; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
kleine-verhandlung-vergleich-eskalationFür Kleine: Verhandlung, Vergleich und Eskalation: entwickelt Ziel, Vergleich und Eskalation; Ergebnis: Verhandlungs- oder Eskalationslinie. Fachgebiet: DFG-Förderantrag. Route: kleine-verhandlung-vergleich-eskalation.
kleine-verhandlung-vergleich-und-eskalationFür Kleine: Verhandlung, Vergleich und Eskalation: entwickelt Ziel, Vergleich und Eskalation; Ergebnis: Verhandlungs- oder Eskalationslinie. Fachgebiet: DFG-Förderantrag. Route: kleine-verhandlung-vergleich-und-eskalation.
koselleck-interessenFür Koselleck: Mehrparteienkonflikt und Interessenmatrix: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag. Route: koselleck-interessen.
koselleck-mehrparteien-konflikt-und-interessenFür Koselleck: Mehrparteienkonflikt und Interessenmatrix: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag. Route: koselleck-mehrparteien-konflikt-und-interessen.
mandantenkommunikationFür Mandantenkommunikation: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Mandantennachricht oder Entscheidungsvorlage. Fachgebiet: DFG-Förderantrag.
output-waehlenFür Output wählen: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag.
profi-behoerden-gerichts-registerwegFür Profi: Behörden-, Gerichts- oder Registerweg: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Einreichungsplan mit Form- und Nachweischeck.
profi-reviewer-beweislast-strategienFür Profi: Behörden-, Gerichts- oder Registerweg: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Beweislast- und Substantiierungsmatrix.
publikationsstrategie-projektFür Publikationsstrategie Projekt: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Verhandlungs- oder Eskalationslinie. Fachgebiet: DFG-Förderantrag. Route: publikationsstrategie-projekt.
quellen-livecheckFür Rechtsquellen-Livecheck: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag.
redteam-qualitygateFür Red-Team Qualitygate: prüft Ergebnis, Beweislast und Gegenposition; Ergebnis: Gegenprüfung mit Beweis- und Fristencheck. Fachgebiet: DFG-Förderantrag.
reviewer-beweislast-darlegungslastFür Reviewer: Beweislast, Darlegungslast und Substantiierung: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Beweislast- und Substantiierungsmatrix. Fachgebiet: DFG-Förderantrag. Route: reviewer-beweislast-darlegungslast.
reviewer-beweislast-und-darlegungslastFür Reviewer: Beweislast, Darlegungslast und Substantiierung: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Beweislast- und Substantiierungsmatrix. Fachgebiet: DFG-Förderantrag. Route: reviewer-beweislast-und-darlegungslast.
sachbeihilfe-bis-200k-eigenanteilFür Sachbeihilfe: Fristen, Form, Zuständigkeit und Rechtsweg: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
sachbeihilfe-fristen-form-zustaendigkeitFür Sachbeihilfe: Fristen, Form, Zuständigkeit und Rechtsweg: prüft Frist, Form, Zuständigkeit und Eilbedarf; Ergebnis: Fristen- und Risikoampel.
schnelle-quellenkarteFür Schnelle Quellenkarte: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
spezial-grosse-compliance-dokumentation-und-akteFür Große: Compliance-Dokumentation und Aktenvermerk: ordnet Akte, Belege und Lücken; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt. Fachgebiet: DFG-Förderantrag. Route: spezial-grosse-compliance-dokumentation-und-akte.
spezial-schnelle-livequellen-und-rechtsprechungscheckFür Schnelle: Livequellen- und Rechtsprechungscheck: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Prüfprodukt mit Risiko und nächstem Schritt.
start-chronologie-fristenFür DFG-Förderantrag — Allgemein: prüft Frist, Form, Zuständigkeit und Eilbedarf; Ergebnis: Chronologie mit Beleg- und Widerspruchsmatrix.
strategien-internationaler-bezug-und-schnittstellenFür Strategien: Internationaler Bezug und Schnittstellen: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Verhandlungs- oder Eskalationslinie. Fachgebiet: DFG-Förderantrag. Route: strategien-internationaler-bezug-und-schnittstellen.
strategien-internationaler-bezugFür Strategien: Internationaler Bezug und Schnittstellen: ordnet Norm, Beweislast und Gegenargument; Ergebnis: Verhandlungs- oder Eskalationslinie. Fachgebiet: DFG-Förderantrag. Route: strategien-internationaler-bezug.
team-sonderfall-edge-caseunterlagen-lueckenworkflow-kaltstart-und-routingworkflow-unterlagen-lueckenlistezeitplan-meilensteine-zwischenProblems found in this repo's manifests
Gigantischer AGB-Rechtsprüfer und Klausel-Entwerfer für deutsches Recht: §§ 305 bis 310 BGB, UKlaG, B2C/B2B, Branchen-AGB, Redlining, Klauselrisiko und rechtssichere Entwurfsworkflows.
200 skills
Plugin für anwaltliches Berufsrecht: BRAO, BORA, FAO, beA, Kanzleisitz, Werbung, Interessenkollision, Verschwiegenheit, KI-/Cloud-Outsourcing, Schatten-KI, Berufsausübungsgesellschaft, Gebühren, Kammeraufsicht und anwaltsgerichtliche Risiken.
200 skills
Plugin für Notarrecht: BNotO, BeurkG, DONot, Dienstaufsicht, Urkundspflichten, Neutralität, Verwahrung, Amtspflichten, Vertreter/Verwalter, Disziplinarverfahren und notarielle Berufspraxis.
200 skills
Plugin für Patentanwaltsrecht: PAO, Patentanwaltskammer, Vertretungsbefugnis, Schutzrechtsmandate, Verschwiegenheit, Interessenkollision, Werbung, Berufsausübungsgesellschaft und berufsgerichtliche Risiken.
200 skills
Plugin für Steuerberaterrecht: StBerG, BOStB, Steuerberaterkammer, Vorbehaltsaufgaben, Werbung, Verschwiegenheit, Gebühren, Geldwäsche, Berufsgericht, Berufsausübungsgesellschaft und Haftungsprävention.
200 skills
Plugin für Wirtschaftsprüferrecht: WPO, Berufssatzung, WPK, APAS, Unabhängigkeit, Qualitätskontrolle, Abschlussprüfung, Bestätigungsvermerk, PIE, Berufsaufsicht und berufsgerichtliche Risiken.
200 skills
Lean 4 language server with per-file Lake project-root detection (lake serve, or lean --server for standalone files), elan toolchain discovery, multi-project and worktree routing, and bounded memory (Lean workers are closed when idle or past a cap). Bundles the lean-goal CLI for proof goals, candidate tactics and Mathlib-wide lemma search.
1 skill · LSP
Lean 4 language server with automatic Lake project-root detection (works even when the session root is above the project), elan toolchain resolution, and multi-project routing. Bundles the lean-goal CLI for proof-goal state, sorry inventory, and fast diagnostics — plus a skill teaching the interactive proving workflow.
1 skill · LSP
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.