Search
AXLE Lean Engine Pradumna Saraf Wraps the AXLE (Axiom Lean Engine) CLI for Lean 4 proof checking, repair, simplification, counterexample finding, and... Classification community Est Visitors (Week) 353 Release Date Mar 7, 2026
Pradumna Saraf
react-components-cli
yannvr
React styled template generator with command line and scripts
SEFAZ RJ: NFC-e Resumida MCP
Browse and consult simplified NFC-e (Nota Fiscal de Consumidor Eletrônica) data from the official SEFAZ RJ channel, enabling read-only queries for invoices via any MCP-compatible assistant.
...moreSEFAZ RJ: NFC-e Completa MCP
Read-only MCP server that enables AI agents to query official SEFAZ RJ NFC-e (electronic invoice) data via a hosted HTTP endpoint with prepaid credits, supporting multiple MCP-compatible clients.
...morespeaky-cli
negix
Command line tool for Speaky Mouse application
DETRAN RJ IPVA: DARJ
Enables querying DETRAN RJ IPVA DARJ (vehicle tax) information from official sources via a read-only MCP server, with prepaid per-query credits.
...moreSEFAZ RJ DEC: Caixa Postal
Enables consultation of SEFAZ RJ DEC Caixa Postal data from official sources via MCP, using one read/write tool with prepaid credits and no platform credentials.
...morebiblesdk
biblesdk
Typescript client for Bible SDK API
OpenZiti Network smilindave26 Exposes the OpenZiti zero-trust network management API for administering identities, services, policies, routers,... Classification community Est Visitors (Week) 353 Release Date Mar 1, 2026
smilindave26
@onehilltech/gatekeeper-cli
onehilltech
command-line interface for Gatekeeper
securedblink
MCP server for multi-database access with LLM permission gating
Holochain Agent Skills
Soushi888
Agent skills for Holochain hApp development on Holochain 0.7. Agent Skills Open Standard, works in Claude Code, opencode, Copilot, Cursor and Gemini CLI. Install with: bunx holochain-agent-skills install
...morehusky-cli
951565664
The dva command line utility.
Advai Helix
Advai-X
Model-neutral AI workspace for macOS with multi-provider models, extensible tools, and inspectable deliverables.
Prudence Maf Harness 1
stvflowers
Prudence, a custom harness powered by Microsoft Agent Framework. Includes a "counsel and craft" mode which delegates executive function to Microsoft Foundry and task completion to local models.
...moreOSV Scanner alejandrosaenz117 Dependency vulnerability scanning with reachability triage using Google's OSV database across npm, pip, Go, and other... Classification community Est Visitors (Week) 353 Release Date Mar 1, 2026
alejandrosaenz117
sqs-grep
rodrigo.zr
Greps AWS SQS messages from the command-line, optionally moving or deleting them
Brief Spec
luanmorenommaciel
Type-aware, evidence-backed delivery contract for AI coding harnesses. Different agents in. One predictable human handoff out.
...more@debugmcp/adapter-javascript
Sycamore LLC
JavaScript/TypeScript debug adapter for MCP debugger
lesscode-api
neeleshv
CLI (Command line interface) for auto generating lesscode-code skeletal api service.