NumProof
v0.1.1
io.github.projecttron/numproof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
“filesystem github context7 playwright” 共 11,724 个结果
v0.1.1
io.github.projecttron/numproof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
v0.13.7
io.github.agentkitai/agentlens
Tamper-evident, SHA-256 hash-chained audit trail and observability for AI agents.
v0.1.1
io.github.pipeworx-io/europeana
Europeana MCP.
v0.1.1
io.github.sbrunner-atx/fldigi-mcp
Control fldigi (amateur-radio digital modes) over XML-RPC: modem, frequency, rig, log, transmit.
v0.1.1
io.github.sanjeevkkansal/solfleet
Agent-safe fleet management for independent Solana validators and RPC nodes
v0.0.3
io.github.agentkitai/agentgate
Human-in-the-loop approval gateway for AI agents over MCP: request, decide, approve.
v1.0.0
io.github.dancourse/agentdocs
An agent-first office suite your AI reads and writes over MCP.
v0.1.0
io.github.pipeworx-io/data-tours
Tours Métropole Open Data (data.tours-metropole.fr) — OpenDataSoft MCP.
v0.1.0
io.github.pipeworx-io/data-reunion
Réunion Open Data (data.regionreunion.com) — OpenDataSoft MCP.
v0.1.0
io.github.pipeworx-io/data-issy
Issy-les-Moulineaux Open Data (data.issy.com) — OpenDataSoft MCP.
v0.1.0
io.github.pipeworx-io/data-centrevaldeloire
Centre-Val de Loire Open Data (data.centrevaldeloire.fr) — OpenDataSoft MCP.
v0.1.2
io.github.sbrunner-atx/contest-mcp
Log amateur-radio QSOs to N3FJP logging software over its TCP API.
v0.5.1
io.github.timescale/pg-aiguide
Comprehensive PostgreSQL documentation and best practices, including ecosystem tools
v0.1.0
io.github.pipeworx-io/data-economie-fr
France Economy & Finance Open Data (data.economie.gouv.fr) — OpenDataSoft MCP.
v0.1.0
io.github.pipeworx-io/data-brussels
Brussels Open Data (opendata.bruxelles.be) — OpenDataSoft MCP.
v0.1.0
io.github.pipeworx-io/data-nantes
Nantes Métropole Open Data (data.nantesmetropole.fr) — OpenDataSoft MCP.
v0.1.0
io.github.pipeworx-io/data-toulouse
Toulouse Métropole Open Data (data.toulouse-metropole.fr) — OpenDataSoft MCP.
v0.1.0
io.github.pipeworx-io/data-rennes
Rennes Métropole Open Data (data.rennesmetropole.fr) — OpenDataSoft MCP.
v0.1.0
io.github.pipeworx-io/data-paris
Paris Open Data (opendata.paris.fr) — OpenDataSoft MCP.
v0.1.0
io.github.pipeworx-io/data-iledefrance
Île-de-France Open Data (data.iledefrance.fr) — OpenDataSoft MCP.
v0.1.0
io.github.pipeworx-io/data-sncf
SNCF Open Data (ressources.data.sncf.com) — OpenDataSoft MCP.
v0.2.2
io.github.stelis-dev/agent-q
Local MCP server for requesting signatures from Agent-Q Firmware.
v0.1.33
io.github.47-ronn/remote-agents
Control fleets of remote machines via AI agents: exec, files, git, fleet ops, map/reduce.
v0.5.1
io.github.sairam0424/trelix
Semantic code search for AI agents — hybrid BM25+vector, call-graph, 20+ languages.