Math, Inc.
Official@math-inc · United States of America
A new company dedicated to autoformalization and the creation of verified superintelligence.
Agent Skills by Math, Inc.
Showing 101 vetted skills indexed across 1 GitHub repositories.
math-incpowerpoint
Create, edit, and inspect PowerPoint .pptx presentations via XML manipulation and pptxgenjs.
math-incqmd
Index and search private notes locally with hybrid retrieval.
math-incoss-forensics
Automates OSS forensics investigations across GitHub repositories using git data and APIs.
math-inc1password
Automate secret retrieval and injection using the 1Password CLI.
math-incneuroskill-bci
Connect Gauss to a local NeuroSkill server to read real-time EEG/BCI metrics.
math-incsolana
Fetch live Solana on-chain data and USD pricing via RPC and CoinGecko.
math-incblender-mcp
Control a running Blender instance remotely via TCP socket JSON on port 9876.
math-incopenclaw-migration
Migrate OpenClaw customization files into Gauss Agent with a structured report.
math-incagentmail
Automate agent-level email communication with a dedicated AgentMail inbox.
math-incblackbox
Delegate coding tasks to a multi-model AI agent via the Blackbox CLI.
math-inctelephony
Provision and manage Twilio numbers for SMS, MMS, and voice calls.
math-incdogfood
Automate exploratory QA testing of web applications with structured bug reports.
math-incapple-reminders
Manage Apple Reminders from the terminal using remindctl commands.
math-incimessage
Send and receive iMessages and SMS on macOS via a CLI tool.
math-incfindmy
Locate Apple devices and AirTags via Find My using AppleScript and screen capture.
math-incapple-notes
Manage Apple Notes via the memo CLI on macOS.
math-incparallel-cli
Run asynchronous vendor-based web search and research tasks with JSON-first outputs.
math-incblogwatcher
Monitor blog updates and track read status via the blogwatcher CLI.
math-incpolymarket
Fetch and aggregate Polymarket market data from public REST APIs.
math-incduckduckgo-search
Search DuckDuckGo for text, news, images, and videos without API keys.
math-incml-paper-writing
Write publication-ready ML papers with conference templates and citation verification.
math-incarxiv
Query arXiv by keyword, author, category, or ID via its REST API.
math-incdomain-intel
Identify subdomains, certificates, and ownership signals from DNS, SSL, and WHOIS records.
math-incminecraft-modpack-server
Automate modded Minecraft server setup from CurseForge/Modrinth pack zips.
Frequently Asked Questions About Math, Inc.
FAQPage SchemaWhat specific ML training tasks are supported by these capabilities?▼
The registry supports end-to-end training including SFT, DPO, PPO/GRPO, and reward modeling. It enables distributed pretraining with FSDP2, memory-efficient LoRA/QLoRA fine-tuning, and sparse autoencoder training for transformer activation analysis.
Which hardware environments are compatible with these inference methods?▼
Inference is supported across diverse hardware, including NVIDIA GPUs via TensorRT and vLLM, as well as CPU-based execution using GGUF quantization and llama-cpp for non-NVIDIA environments.
How are autonomous development tasks managed within the Gauss environment?▼
Development tasks are managed through subagent-driven coordination, where individual agents handle specific implementation, code review, and debugging phases. These processes utilize structured markdown planning and Pydantic-validated output constraints to ensure code quality.