Related Servers

No user-submitted related servers found.

Related Servers

• evidence-lint

  Dankaro-projects

  A

  license

  -Not graded

  quality

  C

  maintenance

  Enables AI agents to run evidence QC gates mid-workflow—checking claims, sources, prose, and vault hygiene deterministically before research ships.

  Updated a month ago (2026-09-18 05:44 UTC)

  MIT

• PADC Evidence Lab

  HenricTBoehm

  A

  license

  -Not graded

  quality

  C

  maintenance

  Enables agents to search and reference trusted, out-of-band ingested source state, run claim-bound document reviews, validate evidence-status proposals against admissibility guards, and build evidence matrices. It keeps proposal, evidence, admissibility, and adjudication separate so agents can propose epistemic statuses without creating the source facts, page locators, provenance, or missingness records that support them.

  Updated 13 days ago (2026-10-03 11:53 UTC)

  MIT

• nanoGentzen

  DigitLib

  A

  license

  -Not graded

  quality

  C

  maintenance

  Enables AI agents to be governed by formal Gentzen sequent calculus proof trees, with human-in-the-loop approval gates and cryptographic audit trails for consequential actions.

  Updated a month ago (2026-09-04 15:33 UTC)

  MIT

• Mcp-Omega-Brain

  VrtxOmega

  A

  license

  A

  quality

  B

  maintenance

  AI agent provenance, trust, and auditability layer. VERITAS multi-gate scoring, Cortex approval gates, S.E.A.L. hash-chain audit ledger, and semantic RAG with cryptographic provenance tracking for every decision an agent makes.

  Updated a month ago (2026-09-07 21:20 UTC)

  27

  5

  MIT

• GnosisLab

  cloudcell

  A

  license

  A

  quality

  A

  maintenance

  Enables AI agents and MCP clients to run research as an explicit scientific process: forming hypotheses, designing and executing sealed experiments, capturing observations and artifacts, linking claims to supporting evidence, and reviewing provenance. Exposes coordinated MCP services so users can inspect, reproduce, and audit every step from question to conclusion rather than trusting an opaque final answer.

  Updated 15 hours ago (2026-10-16 08:17 UTC)

  46

  1,362 PyPI

  21

  Apache 2.0

• market-research

  autkucakan

  A

  license

  B

  quality

  B

  maintenance

  Enables AI agents to conduct local, auditable opportunity discovery by collecting public discussions, tracing claims to exact quotes and source provenance, testing claims with counterevidence, and exporting deterministic evidence packs.

  Updated a month ago (2026-09-12 19:12 UTC)

  47

  1

  MIT