wy51ai/edulab
2 skills2 installs832 starsGitHub
Install
npx skills add https://github.com/wy51ai/edulabSkills in this repo
1Edu Analytic GeometryEdu Analytic Geometry is a specialized agent skill packaging a SymPy analytic kernel for conic-section problems common in advanced secondary math. The design philosophy is a single source of truth: every answer, coordinate, intermediate numeric step, and theoretical range for frontend sliders must export from exact symbolic computation, not hand calculation. The core method uses lines in the form x = m·y + c through a fixed point, substitutes into the conic implicit equation, applies Vieta on the resulting quadratic in y, and expresses targets such as dot products, chord length, area, or slope products as functions of m before calling range_over_m with correct endpoint openness. The readme documents geometric meaning of m as cotangent of inclination, including vertical and horizontal limits. Solo builders in edtech, tutoring products, or interactive geometry demos install it when agents must author or verify problem banks and LaTeX writeups. It is not a general CAD or plotting UI skill; it expects Python, SymPy, and the edulab conics companion module in the workspace.1installs2Edu Solid GeometryEdu-solid-geometry is a Python-oriented agent skill from the Edulab line that gives solo edtech builders a reusable topology layer for 3D geometry lessons. Instead of recomputing which vertices belong to each solid from scratch, bodies.py exposes small factory functions—quad_pyramid, tri_pyramid, cuboid, prism—that return consistent spheres and edges structures meant to merge with geometry_kernel.py for numerically correct coordinates. That split keeps rendering pipelines predictable: the kernel handles math, the bodies module handles standard connectivity patterns exam writers and interactive tutors repeat. Use it when you are building visual explainers, worksheet generators, or agent-driven problem renderers where wrong edge wiring would confuse students. The readme is explicit that uncommon polyhedra can still be defined inline, so you are not locked to the canned library when a contest problem needs a custom skeleton.1installs