- Grounded Reasoning @alexaquarius/grounded-reasoningVerify multi-hop relational claims before an agent asserts them — zero tokens, with proof paths.3% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.1 GitHub stars.
- Unicode Logic Kit @fvossel/unicode-logic-kitParse, check, prove and translate logic formulas: first-order, modal, description, higher-order.Not assessed yet.Runs on your machine, installed from PyPI.
- optlens @jjd-lab/optlensDebug and explain LP/MILP models: why infeasible, the smallest fix, what-if and sensitivity.Not assessed yet.Runs on your machine, installed from PyPI.
- BioHarbor @danielluo2/bioharborRun real bioinformatics from your AI agent. Reliable, reproducible, on your own GPUs.3% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.
- Helionyx @jayzilva/helionyxSize hybrid solar PV, wind, battery, diesel and grid systems: hourly simulation, NPC ranking.2% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.
- CarMaker @de-ioannidis/carmaker-mcpDrive IPG CarMaker for Simulink: run test runs, read results, edit vehicle data and parameters.3% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.
- NHANES (design-correct survey analysis) @blackswancausallabs/nhanes-mcpDesign-correct NHANES analysis: survey weights, pooled cycles, CIs and NCHS reliability flags.2% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.
- Isaac Sim robot workbench @milokucia/dex-isaac-mcpDrive a live Isaac Sim session: any robot, poses, gain tuning, range tests, Isaac Lab training.3% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.
- Ajisai @masamoto1982/ajisaiExact rational and algebraic computation, with machine-readable Word contracts, in Ajisai.Not assessed yet.Runs on your machine, installed from npm.
- Groundline @fhs1220888/groundlineVerifiable test-data analysis: deterministic tools, evidence ledger, number-level checks.Not assessed yet.Runs on your machine, installed from PyPI.
- HYRR @exoma-ch/hyrrRadio-isotope production, activity and dose for charged-particle beams on stacked targetsNot assessed yet.Runs on your machine, installed from PyPI.
- AlphaFold @mrfentmen/alphafold-mcpKeyless MCP server for AlphaFold: protein structure predictions by UniProt accession, confidence...6% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from npm.
- HelioSPICE @huangzesen/heliospiceSpacecraft ephemeris made easy — auto-managed SPICE kernels for heliophysics3% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.
- Jarroba Tools · Calculation @invarato/jarroba-tools-calcMaths a model gets wrong: units with dimensional checking, equations, sheets. 5 tools, local.3% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from npm.
- TensorCAD @filip-pajalic/tensorcadDesign transformer LLM architectures and report their parameters, FLOPs, memory and cost3% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from npm.
- OpenMEP duct sizing @samarmstrong/openmepDeterministic HVAC duct sizing at a fixed or Manual D friction rate; grades existing ducts.3% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from npm.
- AnnealBridge @thetsungying/annealbridgeOptimization middleware for AI agents: JSON problem in, verified and ranked solutions out.3% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.
- FlagQuantum MCP Server @flagquantum/flagquantum-mcp-serverBuild, compile, run and export FlagQuantum circuits locally. No credentials or outbound network.3% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.
- Rupa3D @tiranyx/rupa3dChecks GLB assets against a spec without Blender and embeds the measured proof inside the GLB.5% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from npm.
- AgentFEM @haoming-luo/agentfemBuild, run, inspect, and verify finite-element simulations with AgentFEM.4% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from PyPI.
- Weather for Grown Ups @janhelcl/weather-for-grown-upsOperational NWP, ensembles, AI weather models, regional forecasts, history, and verification.3% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from npm.
- Saturday Materials @toki0413/saturday-materialsMaterials computing tools for AI agents: structures, engines, phonons, EOS, NEB, sampling, lineage.4% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from npm.
- nomue Record Verifier @licklider-ai/nomue-verifier-mcpLocal verification of nomue Protocol Records; current release supports the Release 1 Welch bundle.5% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from npm.
- nomue Record Verifier @licklider-ai/nomue-mcpLocal verification of nomue Protocol Records; current release supports the Release 1 Welch bundle.5% chance this is malicious. Assessed by AI, which can make mistakes.Runs on your machine, installed from npm.
