mathlas
v1.4.0
io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
“github” 共 14,117 个结果
v1.4.0
io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
v1.0.0
io.github.Jaketdaniels/tariff-watch
Source-linked US tariff and trade-action changes: legal status, effective dates, dated archive.
v1.7.0
io.github.edelciomolina/postgres-mcp
PostgreSQL MCP wrapper with .env credential mapping, tool selection, and safe read-only defaults.
v1.0.1781190473
io.github.doc2mcp/doc2mcp
MCP server for doc2mcp documentation, generated by doc2mcp.
v0.1.0a2
io.github.Yveshby27/brick-bacnet-mcp
Read-only BACnet/IP MCP gateway with Brick + Haystack semantic tagging at ingest
v0.2.1
io.github.Xvvln/pdf-reader-mcp
MCP server for extracting text, images, tables, links, annotations, and metadata from PDF files.
v0.0.4
io.github.mindstone/mcp-server-canary
Mindstone-internal release-pipeline test connector; not for use. Single ping tool; no auth.
v0.1.0
io.github.mcp-dir/itau-mcp
Connect your Itaú account to AI via Brazil's Open Finance: balances, statements, cards, investments.
v0.1.0
io.github.kodandy/jp-m2m-gateway
Raw Japanese regulatory data for AI agents: pension, gazette, gBizINFO. x402-metered (USDC).
v1.1.2
io.github.Fashad-Ahmed/universal-db-mcp
Security-first MCP server for PostgreSQL, SQLite, MySQL, DuckDB with SQL injection prevention.
v0.1.0
io.github.mcp-dir/contasimples-mcp
Business finance on Conta Simples, bank and card statements, corporate cards (list/block/unblock), c
v1.2.1
io.github.Cogniledger/cogniledger-mcp-makuri
Makuri (EU AI tutoring for immigrant children): 11 tools, 2 interactive panels, no user data.
v2.8.1
io.github.apasztetnik/el-buen-agente-mcp
La guía 'El Buen Agente' como 18 tools para evaluar, mejorar y construir agentes LLM. En español.
v1.13.1
io.github.Sintexer/jvmsrc
Gradle-accurate JVM classpath; fetch Java source, signatures, and class structure for agents.
v0.1.1
io.github.VirajMishra1/wander-agent
60-tool AI travel agent: flights, hotels, visas, weather, fare watching, trip memory. No keys.
v1.1.0
io.github.kingbbs/yiditu-mcp
I Ching hexagram analysis and geographic feng shui for Taiwan locations
v1.0.1
io.github.enritarta/flask
Feedback layer for video. Reviewers talk through feedback; agents read it as structured comments.
v0.2.3
io.github.Anioko/archiet-xray
Deterministic repo architecture maps: auth coverage, blast radius, readiness score, diagrams
v1.4.1
io.github.Azure/containerization-assist
TypeScript MCP server for AI-powered containerization workflows with Docker and Kubernetes support
v0.1.2
io.github.Anioko/archiet-audit
Submit architecture docs, get a consulting-grade traceability audit at a shareable URL
v1.0.0
io.github.tuanle96/mcp-odoo
Odoo MCP server: safe gated writes, access diagnostics, schema discovery, multi-instance routing.
v1.0.0
io.github.mrlarryjohnson111/polymarket-mcp-server
Live Polymarket data for agents: markets, insider-scored whale trades, leaderboards, wallet P&L
v0.1.23
io.github.kartegagithub/laviya-agent-skills
Laviya AI Orchestration MCP runtime for IDE and agent integrations.
v1.0.0
io.github.GaetanGermain/emotion-dictionary
The Emotion Dictionary's 402 emotions: define a word, resolve a feeling, body maps. CC BY 4.0.