xiaoyang111222 / cn-math-taxonomy

中小学知识图谱 + 前置诊断：数学（一–九年级、高中必修与选择性必修）+ 小学英语，课标对齐、人教版，999 知识点、4143 题、自适应诊断

OSVerify / OSVerify

One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).

sepandhaghighi / pycm

Multi-class confusion matrix library in Python

igraph / python-igraph

Python interface for igraph

SakuraMathcraft / LaTeXSnipper

Formula Recognition & Office Editing | Handwriting & PDF to LaTeX/Markdown | Secure API Integrations.

Axelrod-Python / Axelrod

A research tool for the Iterated Prisoner's Dilemma

FloatingPragma / observer-patch-holography

Observer Patch Holography: finite observer consensus, machine-checked mathematics and reproducible models for reconstructing physical structure.

dfki-ric / pytransform3d

3D transformations for Python.

morluto / jacobian

Composable mathematics tools for agents

lotchuazzz-crypto / papergraph-mcp

PaperGraph MCP turns math papers into evidence-grounded reading maps for AI agents: extract results, trace proof evidence, plan reading order, and review external dependencies without guessing.

1105216375-alt / resimind

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

RipperdocNiladri / ASCII-Art

A collection of real-time ASCII rendering experiments built with Python, mathematics, and terminal graphics.

liyingze07-svg / EffectiveAutoResearch-EAR-

An open research workbench for idea discovery, autonomous mathematics, and evidence-grounded rebuttals.

Staatsgeheim / MathKernel

Evidence-aware multi-engine mathematics runtime for LLMs: exact, symbolic, formal, certified-interval and numeric computation with typed MathIR, trust labels, and full provenance

nasqret / labyrinth-exploration

An agent skill for Codex, Claude Code and other clients: open-ended research as the exploration of a labyrinth, with a map of what is proved, refuted, conjectured and still dark, proof tiers, independent referees and campaigns of agents.

Swapnil-jain / integer-mult-kappa

Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the multitape model, building on OpenAI's problem and Colkitt's integer-mult-bounds: certificates, independent replays, Lean 4 checks