Popular repositories Loading
-
rational-distance-unit-square
rational-distance-unit-square PublicExploration of the unit-square rational distance problem: algebraic structures, exact search (no solution for q≤100k), and witness elimination. Problem remains open. DOI: 10.5281/zenodo.19613346
Python 1
-
-
-
-
ai-secrets-scan
ai-secrets-scan PublicScan AI project configurations for exposed secrets. 50+ patterns, entropy detection, MCP scanning, SARIF output, pre-commit hooks. Zero dependencies.
Python
-
mcp-optimizer
mcp-optimizer PublicStop wasting 72% of your context window on MCP tool schemas. Audit, optimize, and select — 94%+ token reduction. Zero dependencies.
Python
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
