Krishi Attri
@archerkattri
just tryna do what i like
www.linkedin.com/in/krishi-attri15/ On GitHub since July 2024
2
Published Tools
13
Total Stars
0
Weekly Downloads
7
GitHub Followers
64
Public Repos
Published Tools
1 MCP Server1 Agentacross 2 categoriesKrishi Attri <[email protected]>
A tool FOR an AI (no API key, no LLM): search existing math over a 1.6M-doc index + airtight numeric/Lean verification + OEIS/PSLQ identification + needs<->guarantees scaffolds, served over MCP.
...moreMCP ServerData Science Tools
135 dirs
git time-travel for any AI coding agent — undo a bad Codex/Claude/aider session in one command.
Agentai-agents
1 dir