Today Github has several interesting new projects, covering areas like theorem proving, AI prompt management, proxying, prompt engineering, invoice OCR, vision-language models, and more.

• DeepSeek-Math-V2: A mathematical reasoning system with an LLM-based verifier demonstrating strong theorem-proving capabilities.
• runprompt: A single-file Python script for simplifying the running and managing of prompts for various language model providers.
• proxychains-rs: A Rust implementation of proxychains for proxying connections, aiming for compatibility with existing behavior.
• Prompt-Engineering-Techniques-Hub: A repository with implementations of over 25 prompt engineering techniques for enhancing language model performance.
• G2VLM: A vision-language model that unifies 3D reconstruction and spatial reasoning capabilities.
• AI-INVOICE-OCR-ENGINE: An AI-powered OCR solution optimized for invoice and accounting document recognition in both Chinese and English.
• SentinelNav: A pure Python solution for interactive binary file analysis, transforming data into a spectral map for visual identification of structures and anomalies.
• Awesome-artist: A compilation of drawing resources specifically for top-tier conferences like NeurIPS, ICLR, ICML, ACL, and EMNLP.
• latent-musicvis: An interactive 3D visualization tool for exploring audio latent spaces.
• NoCat: A safe Netcat imitator for detection engineering that generates realistic network and command-line artifacts without the risks of a real backdoor.