A wasm build and a simple wrapper of the FreeCAD PlaneGCS (2D geometric constraint solver)

manage to solve captcha challenges with node

A small cubic bézier timing function

Predict the output of Math.random

Millwork Solver TypeScript SDK -- typed client, idempotency, retries, and execution event polling.

Portable ESM client for discovering solver price feeds from Arkade solver registries (browser / Node / Expo).

Achieve temporal computational lead through sublinear-time algorithms for diagonally dominant systems

Low-level Node.js binding for the HiGHS optimization solver

Millwork Solver execution MCP server -- the solver_* tools over stdio.

Formal verification tools for MUSUBIX - Z3 integration, precondition/postcondition verification, and EARS-to-SMT conversion

JavaScript Computer Vision library

A typescript Sudoku package for generating, solving (step-by-step or all), and analyzing Sudoku boards with ease. Perfect for building Sudoku games and integrating Sudoku functionality into your applications.

Decompose a 2D rectangular area into convex regions around obstacles (vias, rectangles, and arbitrary polygons). Useful for PCB autorouting and spatial partitioning where convex sub-regions simplify pathfinding.

Lingshu Solver — deterministic (non-LLM) MCP tool for solving systems of real equations, up to 6 variables: interval arithmetic + affine arithmetic + constructive Krawczyk certification, zero dependencies, offline, no data upload, unproven-completeness ho

Pi extension that runs a strict, multi-agent fairness review of a benchmark task's agent_prompt.md, test.patch, and solution.patch, plus behavioral test-gap analysis, via /checks.

TypeScript SDK for the Orkid gasless swap API

The goal of this module is to find the best schematic layout for a set of `SchematicChip`s and `SchematicGroups` containing `SchematicPins` connected to each other with `SchematicTraces`

Solves systems of 3 equations with three unknowns.

A generic A* pathfinding solver for routing connections through hypergraphs. Designed for circuit routing problems but extensible to any graph-based pathfinding scenario.

The Ultimate Mathematical & AI Toolkit: Sublinear algorithms, consciousness exploration, psycho-symbolic reasoning, chaos analysis, and temporal prediction in one unified MCP interface. WASM-accelerated with Lyapunov exponents and attractor dynamics.