Pinned Loading

1. FlashRecord FlashRecord Public

   Fast, Python-native CLI tool for screen capture and GIF recording. Built for developers who need automation-friendly, cross-platform screen recording without GUI overhead.

   Python 61

2. dir2md dir2md Public

   Dir2md - Generate a Markdown blueprint: directory tree + optional file contents (token-optimized, ICEBERG preset)

   Python 35 3

3. Proofcore-AI-Benchmark Proofcore-AI-Benchmark Public

   Next-generation hybrid proof verification system Combines symbolic mathematics (SymPy/Pyodide) with AI semantic analysis (multi-LLM consensus) for comprehensive mathematical reasoning validation.

   TypeScript

4. CRoM-Context-Rot-Mitigation--EfficientLLM CRoM-Context-Rot-Mitigation--EfficientLLM Public

   CRoM (Context Rot Mitigation)-EfficientLLM is a Python toolkit designed to optimize the context provided to Large Language Models (LLMs). It provides a suite of tools to intelligently select, re-ra…

   Python 3

5. Arr-Medic-CYP3A4 Arr-Medic-CYP3A4 Public

   🧬 Open-source CYP3A4 drug interaction prediction system for research and education. Interactive web demo, 70% accuracy baseline, extensible ML pipeline. Gateway to clinical-grade drug metabolism pr…

   Python 2

6. unstable-singularity-detector unstable-singularity-detector Public

   PINN-based tools for detecting finite-time singularities in PDEs. Features lambda prediction formulas, funnel inference, and Gauss-Newton optimization. Independent implementation inspired by DeepM…

   Python 5