Toolverse
All skills
Backend

solver

by atopile

How the Faebryk parameter solver works (Sets/Literals, Parameters, Expressions), the core invariants enforced during mutation, and practical workflows for debugging and extending the solver.

Installation

Pick a client and clone the repository into its skills directory.

Installation

Quick info

Author
atopile
Category
Backend
Views
1
GitHub repo

About this skill

How the Faebryk parameter solver works (Sets/Literals, Parameters, Expressions), the core invariants enforced during mutation, and practical workflows for debugging and extending the solver.

How to use

  1. Zainstaluj atopile i upewnij się, że masz dostęp do modułu solvera w src/faebryk/core/solver/. Skill ten jest przeznaczony dla osób pracujących z kodem wewnętrznym atopile.

  2. Zapoznaj się z dokumentacją koncepcyjną w src/faebryk/core/solver/README.md, aby zrozumieć podstawowe pojęcia: korelację zbiorów, grafy tylko do dołączania i kanonikalizację wyrażeń.

  3. Przeczytaj src/faebryk/core/solver/symbolic/invariants.py, aby poznać dokładne niezmienniki egzekwowane podczas wstawiania wyrażeń — to kluczowe dla debugowania i modyfikacji solvera.

  4. Jeśli implementujesz nową funkcjonalność, zacznij od src/faebryk/core/solver/defaultsolver.py (pętla iteracyjna, tryb terminalny vs nieerminalny) i src/faebryk/core/solver/mutator.py (maszyna mutacji, transformacje, mapy mutacji).

  5. Użyj DefaultSolver do upraszczania systemów ograniczeń: zdefiniuj parametry numeryczne, ustaw ograniczenia za pomocą wyrażeń, a następnie wywołaj solver.simplify() z grafu i typografu, aby uzyskać mapę mutacji z uproszczonymi literałami.

  6. Debuguj problemy z wyrażeniami, śledząc tracebacki mutacji w MutationMap — sprawdzaj, czy wyrażenia są w formie kanonicznej i czy wszystkie niezmienniki są spełnione na każdym etapie transformacji.

Related skills

patent-search

by RobThePCGuy

Advanced prior art search using the PatentsView API. Use this skill when users need to search for patents, perform prior art searches, analyze patent landscapes, or find patents by inventor, title, date range, or technical fields. Helps with patent research, freedom to operate

Backend
36218

youtube-transcript

by michalparkola

Download YouTube video transcripts when user provides a YouTube URL or asks to download/get/fetch a transcript from YouTube. Also use when user wants to transcribe or get captions/subtitles from a YouTube video.

Backend
53214

postgresql-psql

by timelessco

Comprehensive guide for PostgreSQL psql - the interactive terminal client for PostgreSQL. Use when connecting to PostgreSQL databases, executing queries, managing databases/tables, configuring connection options, formatting output, writing scripts, managing transactions, and

Backend
34173

fastapi-templates

by wshobson

Create production-ready FastAPI projects with async patterns, dependency injection, and comprehensive error handling. Use when building new FastAPI applications or setting up backend API projects.

Backend
327582

api-design-principles

by wshobson

Master REST and GraphQL API design principles to build intuitive, scalable, and maintainable APIs that delight developers. Use when designing new APIs, reviewing API specifications, or establishing API design standards.

Backend
50146

fastapi-pro

by sickn33

Build high-performance async APIs with FastAPI, SQLAlchemy 2.0, and Pydantic V2. Master microservices, WebSockets, and modern Python async patterns. Use PROACTIVELY for FastAPI development, async optimization, or API architecture.

Backend
54128