electrical-engineering-ai999x — offline, verified electrical engineering solver with step-by-step answers

Install · Capability guide · Evaluation · AI999X on Hugging Face · Website · Support: Buy Me a Coffee

License: Apache-2.0 · Author: Ibnul Jaif Farabi (creator and engineer) · Organization: AI999X · Version 1.0.0

Field: Engineering · Tasks: Question Answering, Token Classification, Text Classification, Sentence Similarity, Feature Extraction

electrical-engineering-ai999x is an offline, deterministic Python solver that answers electrical engineering questions with verified results from 64 certified capabilities, gives 326 documented answers identically on Windows and Linux, and refuses rather than guesses when an answer cannot be verified.

electrical-engineering-ai999x is a compact, deterministic electrical engineering engine for Python. It reads a question in plain English (or a typed call), picks a certified electrical engineering capability, computes the answer exactly, checks it, and returns the result with its steps, units, LaTeX and assumptions — or an honest refusal that says what is missing. It runs fully offline on any CPU, needs no GPU, no API key and no internet, and is built to give zero wrong answers: when it is not sure, it refuses instead of guessing.

Buy me a coffee License Python Offline

Highlights

  • Verified, not generated. Every answer is computed by a certified electrical engineering capability and checked (substituted back, dimension-checked or compared with an independent computation) before it is returned.
  • Zero wrong answers by design. Seven explicit outcomes — SOLVED, NEEDS_INPUT, AMBIGUOUS, INVALID_INPUT, OUT_OF_SCOPE, UNRECOGNIZED_FORMAT, INTERNAL_ERROR — never a silent guess. Every one of its 326 documented answers is reproduced exactly on every tested platform.
  • Plain-English questions and a guaranteed typed interface. ask() reads documented question forms; solve(capability_id, **inputs) always solves a supported task with valid inputs.
  • Explains itself. Steps, formulas in LaTeX, units, assumptions and the model used, ready for notebooks, tutoring apps and homework checkers.
  • Small and portable. Pure Python (sympy, mpmath); identical answers on Windows and Linux (Python 3.10, 3.11, 3.12, 3.13, 3.14).
  • Coverage: DC and AC circuits, transients, phasors and power, operational amplifiers, diodes and transistors, digital logic, and control systems (transfer functions, stability, Bode).

Model overview

Property Value
Package electrical-engineering-ai999x 1.0.0 (import electrical_engineering_ai999x)
Type Deterministic neuro-symbolic electrical engineering engine (rule-based reading + certified symbolic capabilities)
Capabilities 64 certified procedures
Knowledge pack version 1.0.0
Golden answers 326 documented answers, identical on every tested platform
Platforms tested Windows (Python 3.13), Linux x86-64 (Python 3.10, 3.11, 3.12, 3.13, 3.14)
Runtime CPU only, offline; no GPU, no network, no API key
License Apache-2.0
Creator / engineer Ibnul Jaif Farabi
Organization AI999X

Quickstart

pip install electrical-engineering-ai999x
# or straight from this repository:
pip install https://huggingface.co/AI999X/electrical-engineering-ai999x/resolve/main/dist/electrical_engineering_ai999x-1.0.0-py3-none-any.whl
import electrical_engineering_ai999x as electrical_engineering

electrical_engineering.ask("Find the Thevenin equivalent between nodes 2 and 0 of the circuit: V1 1 0 12; R1 1 2 1000; R2 2 0 2000.").show()
# -> SOLVED — Vth = 8, Rth = 666.667  (thevenin_equivalent)
electrical_engineering.ask("Find the gain margin of G(s) = 10/(s(s+1)(s+5)).").show()
# -> SOLVED — gain_margin = 3, gain_margin_db = 9.54243, phase_crossover = 2.23607  (gain_margin)
electrical_engineering.ask("Simplify F(A,B,C) = \u03a3m(0, 1, 2, 5, 6, 7).").show()
# -> SOLVED — minimal_sop = A'·B' + A·C + B·C', terms = 3, literals = 6, variables = A, B, C  (minterms_to_sop)
electrical_engineering.ask("A load draws 10 kW at a power factor of 0.7 from a 230 V, 50 Hz supply. What capacitance corrects the power factor to 0.95?").show()
# -> SOLVED — C = 0.000416101, C_uF = 416.101, Qc = 6915.2, Q_initial = 10202  (power_factor_correction)
electrical_engineering.solve("series_rlc_impedance", R="100 ohm", L="50 mH", C="10 uF", f="1 kHz").show()
# -> SOLVED — impedance = 314.562, phase_deg = 71.4639, real = 100, imag = 298.244  (series_rlc_impedance)
electrical_engineering.ask("Who created you?").message
# -> electrical-engineering-ai999x was created and engineered by Ibnul Jaif Farabi at AI999X.

Command line: electrical-engineering-ai999x "<question>", electrical-engineering-ai999x --capabilities. The outputs above were produced by running this exact code on electrical-engineering-ai999x 1.0.0.

How every answer is verified

  1. Reading — the question is turned into typed quantities (value, unit, kind, role) and one asked quantity; every stated number must be used or the question is refused.
  2. Planning — only certified capabilities may answer; a capability applies only under the conditions the wording states (for example a pendulum, a liquid at rest, boiling).
  3. Computing — exact symbolic or high-precision numeric evaluation.
  4. Checking — dimensions, substitution back into the defining equation, and agreement between independent readings; any disagreement becomes a refusal, never a number.

Capabilities are certified before they ship: each must reproduce hand-worked reference cases, reject a deliberately wrong variant (a control), and leave every benchmark answer unchanged.

Capabilities

64 certified procedures. A few of them:

  • Procedures: Analog-to-digital conversion: output code and resolution; Balanced three-phase load (wye or delta); Binary to Gray code and Gray code to binary; Closed-loop poles with unity negative feedback; Complex, real, reactive and apparent power from voltage and current phasors; Controllability and observability of a single-input single-output system; Current divider; DC operating point of a voltage-divider biased BJT; Delta-to-wye (Pi-to-T) resistor transformation; Difference amplifier output (four-resistor op-amp circuit); Energy stored in an inductor; Equivalence of two Boolean expressions; Equivalent capacitance of capacitors in parallel; Equivalent capacitance of capacitors in series; Equivalent inductance of inductors in parallel; Equivalent inductance of inductors in series; Equivalent resistance of a series-parallel resistor network; Equivalent resistance of resistors in parallel; Equivalent resistance of resistors in series; Evaluate a Boolean expression; First-order (RC or RL) transient response; First-order RC filter: cutoff, gain and phase; Frequency response (Bode magnitude and phase) at one frequency; Gain margin and phase-crossover frequency …

electrical_engineering_ai999x.templates() lists every question form ask() reads; the capability guide (PDF, every example executed) is included in this repository.

All 64 formulas

Show every formula, by topic

AC circuits / AC power

Complex, real, reactive and apparent power from voltage and current phasors

S=VI∗=P+jQ,pf=P∣S∣ S = V I^* = P + jQ,\quad \mathrm{pf} = \frac{P}{\vert S\vert }

Power-factor correction capacitor

C=P(tan⁡ϕ1−tan⁡ϕ2)2πfV2 C = \frac{P(\tan\phi_1 - \tan\phi_2)}{2\pi f V^2}

AC circuits / energy storage

Energy stored in an inductor

W=12LI2 W = \tfrac{1}{2}LI^2

AC circuits / filters

First-order RC filter: cutoff, gain and phase

fc=12πRC,HLP=11+jf/fc f_c = \frac{1}{2\pi RC},\quad H_{LP} = \frac{1}{1 + j f/f_c}

AC circuits / impedance

Impedance of a parallel RLC circuit

1Z=1R+j(ωC−1ωL) \frac{1}{Z} = \frac{1}{R} + j\left(\omega C - \frac{1}{\omega L}\right)

Impedance of a series RLC circuit

Z=R+j(ωL−1ωC) Z = R + j\left(\omega L - \frac{1}{\omega C}\right)

AC circuits / phasors

Phasor from polar to rectangular form

M∠θ=Mcos⁡θ+jMsin⁡θ M\angle\theta = M\cos\theta + jM\sin\theta

Phasor from rectangular to polar form

x+jy=x2+y2 ∠ atan2⁡(y,x) x + jy = \sqrt{x^2+y^2}\,\angle\,\operatorname{atan2}(y, x)

Sum of sinusoids by phasor addition

∑kAk∠ϕk=∑kAkejϕk \sum_k A_k\angle\phi_k = \sum_k A_k e^{j\phi_k}

AC circuits / resonance

Resonance, Q factor and bandwidth of a parallel RLC circuit

f0=12πLC, Q=RCL f_0 = \frac{1}{2\pi\sqrt{LC}},\ Q = R\sqrt{\frac{C}{L}}

Resonance, Q factor and bandwidth of a series RLC circuit

f0=12πLC, Q=1RLC f_0 = \frac{1}{2\pi\sqrt{LC}},\ Q = \frac{1}{R}\sqrt{\frac{L}{C}}

AC circuits / three-phase power

Balanced three-phase load (wye or delta)

P=3 VLILcos⁡ϕ P = \sqrt{3}\,V_L I_L \cos\phi

AC circuits / transformers

Ideal transformer: voltages, currents and reflected resistance

VsVp=NsNp,Rin=RL(NpNs)2 \frac{V_s}{V_p} = \frac{N_s}{N_p},\quad R_{in} = R_L\left(\frac{N_p}{N_s}\right)^2

AC circuits / waveforms

RMS and average value of a periodic waveform

Vrms=1T∫0Tv2 dt V_{rms} = \sqrt{\frac{1}{T}\int_0^T v^2\,dt}

DC circuits / Thevenin and Norton equivalents

Maximum power transfer

Pmax=Vth24Rth P_{max} = \frac{V_{th}^2}{4R_{th}}

Norton equivalent of a DC circuit between two nodes

IN=VthRth,RN=Rth I_N = \frac{V_{th}}{R_{th}},\quad R_N = R_{th}

Thevenin equivalent of a DC circuit between two nodes

Vth=va−vb∣open,Rth=va−vb1 A∣sources off V_{th} = v_a - v_b\big\vert _{open},\quad R_{th} = \frac{v_a - v_b}{1\,\mathrm{A}}\big\vert _{sources\ off}

DC circuits / bridges

Wheatstone bridge output

Vout=Vs(R2R1+R2−R4R3+R4) V_{out} = V_s\left(\frac{R_2}{R_1+R_2} - \frac{R_4}{R_3+R_4}\right)

DC circuits / dividers

Current divider

I1=IR2R1+R2 I_1 = I\frac{R_2}{R_1 + R_2}

Voltage divider

Vout=VinR2R1+R2 V_{out} = V_{in}\frac{R_2}{R_1 + R_2}

DC circuits / mesh and nodal analysis

Mesh currents from the mesh equations (Kirchhoff's voltage law)

R i=v \mathbf{R}\,\mathbf{i} = \mathbf{v}

Node voltages from the nodal equations (Kirchhoff's current law)

G v=i \mathbf{G}\,\mathbf{v} = \mathbf{i}

Node voltages of a DC resistive circuit from its netlist

[GBBT0][vi]=[ise] \begin{bmatrix} G & B \\ B^T & 0 \end{bmatrix}\begin{bmatrix} v \\ i \end{bmatrix} = \begin{bmatrix} i_s \\ e \end{bmatrix}

DC circuits / network transformations

Delta-to-wye (Pi-to-T) resistor transformation

Ra=RabRcaRab+Rbc+Rca R_a = \frac{R_{ab}R_{ca}}{R_{ab}+R_{bc}+R_{ca}}

Wye-to-delta (T-to-Pi) resistor transformation

Rab=RaRb+RbRc+RcRaRc R_{ab} = \frac{R_aR_b + R_bR_c + R_cR_a}{R_c}

DC circuits / series and parallel combinations

Equivalent capacitance of capacitors in parallel

Ceq=∑iCi C_{eq} = \sum_i C_i

Equivalent capacitance of capacitors in series

1Ceq=∑i1Ci \frac{1}{C_{eq}} = \sum_i \frac{1}{C_i}

Equivalent inductance of inductors in parallel

1Leq=∑i1Li \frac{1}{L_{eq}} = \sum_i \frac{1}{L_i}

Equivalent inductance of inductors in series

Leq=∑iLi L_{eq} = \sum_i L_i

Equivalent resistance of a series-parallel resistor network

Rs=R1+R2,Rp=(1R1+1R2)−1 R_s = R_1 + R_2,\quad R_p = \left(\frac{1}{R_1} + \frac{1}{R_2}\right)^{-1}

Equivalent resistance of resistors in parallel

1Req=∑i1Ri \frac{1}{R_{eq}} = \sum_i \frac{1}{R_i}

Equivalent resistance of resistors in series

Req=∑iRi R_{eq} = \sum_i R_i

Control systems / compensation

Maximum phase lead of a lead compensator

ϕmax=sin⁡−1p−zp+z, ωm=zp \phi_{max} = \sin^{-1}\frac{p - z}{p + z},\ \omega_m = \sqrt{zp}

Control systems / electromechanical systems

Steady-state speed and current of a permanent-magnet DC motor

ω=KtV−RTKtKe+Rb \omega = \frac{K_tV - RT}{K_tK_e + Rb}

Control systems / frequency response

Frequency response (Bode magnitude and phase) at one frequency

G(jω)=N(jω)D(jω),20log⁡10∣G(jω)∣ G(j\omega) = \frac{N(j\omega)}{D(j\omega)},\quad 20\log_{10}\vert G(j\omega)\vert

Gain margin and phase-crossover frequency

∠G(jωpc)=−180∘,GM=1∣G(jωpc)∣ \angle G(j\omega_{pc}) = -180^\circ,\quad \mathrm{GM} = \frac{1}{\vert G(j\omega_{pc})\vert }

Phase margin and gain-crossover frequency

∣G(jωc)∣=1,PM=180∘+∠G(jωc) \vert G(j\omega_c)\vert = 1,\quad \mathrm{PM} = 180^\circ + \angle G(j\omega_c)

Control systems / stability

Closed-loop poles with unity negative feedback

1+K G(s)=0  ⟺  den(s)+K num(s)=0 1 + K\,G(s) = 0 \iff \mathrm{den}(s) + K\,\mathrm{num}(s) = 0

Routh-Hurwitz stability test

bi=a1 a0,i+1−a0 a1,i+1a1 b_i = \frac{a_{1}\,a_{0,i+1} - a_{0}\,a_{1,i+1}}{a_{1}}

Control systems / state space

Controllability and observability of a single-input single-output system

C=[B AB ⋯ An−1B], O=[C; CA; ⋯ ; CAn−1] \mathcal{C} = [B\ AB\ \cdots\ A^{n-1}B],\ \mathcal{O} = [C;\ CA;\ \cdots;\ CA^{n-1}]

Transfer function of a single-input single-output state-space model

G(s)=C(sI−A)−1B+D G(s) = C(sI - A)^{-1}B + D

Control systems / steady-state accuracy

Steady-state error of a unity-feedback system

ess=lim⁡s→0s R(s)1+G(s) e_{ss} = \lim_{s\to 0} \frac{s\,R(s)}{1 + G(s)}

Control systems / time response

Step-response specifications of a standard second-order system

Mp=e−ζπ/1−ζ2,tp=πωn1−ζ2 M_p = e^{-\zeta\pi/\sqrt{1-\zeta^2}},\quad t_p = \frac{\pi}{\omega_n\sqrt{1-\zeta^2}}

Digital logic / Boolean algebra

Equivalence of two Boolean expressions

F1≡F2  ⟺  F1⊕F2=0 F_1 \equiv F_2 \iff F_1 \oplus F_2 = 0

Evaluate a Boolean expression

F(A,B,… )∈{0,1} F(A, B, \dots) \in \{0, 1\}

Digital logic / data conversion

Analog-to-digital conversion: output code and resolution

code=⌊VinVref/2n⌋ \mathrm{code} = \left\lfloor \frac{V_{in}}{V_{ref}/2^n} \right\rfloor

Digital logic / minimization

Minimal sum of products from minterms (with don't-cares)

F=∑m(… )+∑d(… ) F = \sum m(\dots) + \sum d(\dots)

Truth table and minimal sum of products of a Boolean expression

F=∑m(… ) F = \sum m(\dots)

Digital logic / number systems

Binary to Gray code and Gray code to binary

g=b⊕(b≫1) g = b \oplus (b \gg 1)

Number base conversion (binary, octal, decimal, hexadecimal)

N=∑idi bi N = \sum_i d_i\, b^i

Two's complement representation of a signed integer

x2c=x  2n x_{2c} = x \bmod 2^n

Value of a two's complement bit pattern

x=−bn−12n−1+∑i<n−1bi2i x = -b_{n-1}2^{n-1} + \sum_{i<n-1} b_i 2^i

Diodes and transistors / BJT biasing

DC operating point of a voltage-divider biased BJT

IB=VTH−VBERTH+(β+1)RE,VTH=VCCR2R1+R2 I_B = \frac{V_{TH} - V_{BE}}{R_{TH} + (\beta+1)R_E},\quad V_{TH} = V_{CC}\frac{R_2}{R_1+R_2}

Diodes and transistors / MOSFET

MOSFET drain current in saturation (square law)

ID=12kn′WL(VGS−VTH)2 I_D = \tfrac{1}{2}k_n'\frac{W}{L}(V_{GS} - V_{TH})^2

Diodes and transistors / Zener regulator

Zener diode shunt regulator

IZ=Vin−VZR−VZRL I_Z = \frac{V_{in} - V_Z}{R} - \frac{V_Z}{R_L}

Diodes and transistors / diodes

Operating point of a diode in series with a resistor (Shockley equation)

Vs=IR+nVTln⁡(1+IIs) V_s = IR + nV_T\ln\left(1 + \frac{I}{I_s}\right)

Operational amplifiers / basic stages

Inverting amplifier gain and output

Av=−RfRin A_v = -\frac{R_f}{R_{in}}

Non-inverting amplifier gain and output

Av=1+RfRg A_v = 1 + \frac{R_f}{R_g}

Operational amplifiers / difference amplifier

Difference amplifier output (four-resistor op-amp circuit)

Vout=R4R3+R4(1+R2R1)V2−R2R1V1 V_{out} = \frac{R_4}{R_3+R_4}\left(1+\frac{R_2}{R_1}\right)V_2 - \frac{R_2}{R_1}V_1

Operational amplifiers / integrator

Op-amp integrator output for a constant input

Vout(t)=V0−1RC∫0tVin dt V_{out}(t) = V_0 - \frac{1}{RC}\int_0^t V_{in}\,dt

Operational amplifiers / summing amplifier

Inverting summing amplifier output

Vout=−Rf∑kVkRk V_{out} = -R_f\sum_k \frac{V_k}{R_k}

Transients / first-order circuits

First-order (RC or RL) transient response

v(t)=Vf+(V0−Vf)e−t/τ v(t) = V_f + (V_0 - V_f)e^{-t/\tau}

Time for a first-order response to reach a value

t=τln⁡Vf−V0Vf−v t = \tau\ln\frac{V_f - V_0}{V_f - v}

Transients / second-order circuits

Step response of a series RLC circuit

LC v¨C+RC v˙C+vC=V,α=R2L, ω0=1LC LC\,\ddot v_C + RC\,\dot v_C + v_C = V,\quad \alpha = \frac{R}{2L},\ \omega_0 = \frac{1}{\sqrt{LC}}

Out of scope

  • Open-ended explanation, essay writing or tutoring dialogue: it is a solver, not a chatbot.
  • Questions outside its certified electrical engineering capabilities, and any question whose stated numbers it cannot all use — it refuses with the reason instead.
  • High-stakes engineering, medical or legal decisions without independent review.

Limitations

  • It answers what its certified capabilities cover (DC and AC circuits, transients, phasors and power, operational amplifiers, diodes and transistors, digital logic, and control systems (transfer functions, stability, Bode)); anything else is refused with a reason.
  • ask() reads documented question forms and common phrasings; unusual wording may be refused — use solve() for guaranteed results.
  • Results are as correct as the certified relations and their stated conditions; a certified relation is a checked model, not a claim about every physical situation.

Citation

@software{electrical_engineering_ai999x_1_0_0,
  title  = {electrical-engineering-ai999x: an offline, verified electrical engineering solver},
  author = {Farabi, Ibnul Jaif}, organization = {AI999X},
  year   = {2026}, version = {1.0.0},
  url    = {https://huggingface.co/AI999X/electrical-engineering-ai999x}
}

Contact

Questions, bug reports and requests: open a discussion on https://huggingface.co/AI999X/electrical-engineering-ai999x/discussions or visit https://ai999x.com.

Support the project

electrical-engineering-ai999x is free and open source. If it helps you, you can support further development on Buy Me a Coffee.

Created and engineered by Ibnul Jaif Farabi · AI999X · ai999x.com

Downloads last month
20
Safetensors
Model size
4.72M params
Tensor type
F32
·
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Collections including AI999X/electrical-engineering-ai999x

Evaluation results

  • identical on every platform on Golden answers (326 documented questions, Windows + Linux Python 3.10-3.14)
    self-reported
    1.000