AI agent output checker and workflow verification toolkit for turning agent text, pull requests, external inputs, and messages into auditable JSON reports with evidence routing, residual ledgers, provenance, and safe reuse checks.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-08-24
Default branch main
agent-runtime agent-workflow agentic-workflow ai-agent-framework ai-agents audit-trail coding-agent collective-runtime cryptographic-identity formal-methods json-schema multi-agent packet-ecology provenance python scientific-computing sybil-resistance verifier verifier-sdk workflow-verification
Balanced, reproducible AI-agent safety benchmark for trust, authority, provenance, temporal claims, residuals, and local Ollama evaluation.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-08-24
Default branch main
agentic-ai ai-agents ai-evaluation ai-safety benchmark experiment llm-evaluation llm-security model-evaluation ollama prompt-injection provenance python reproducible-research residual-risk responsible-ai security synthetic-data temporal-reasoning trustworthy-ai
Benchmark for statistically valid AI scientist systems, using audit-closed protocols, transparency logs, and sequential inference to prevent false discoveries in autonomous research agents.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-08-24
Default branch main
agentic-ai ai-agents ai-governance ai-scientist audit-log automated-science autonomous-research deterministic-replay e-process e-values optional-stopping p-hacking reproducible-science research-automation scientific-discovery scientific-machine-learning self-driving-lab sequential-inference statistical-validity transparency-log
Certified Memory Governance Layer for long-running AI agents: strict receipts, append-only ledgers, authority gates, retrieval filtering, telemetry replay, and safe adapters for Mem0, Graphiti, LangMem, and LangGraph.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-08-24
Default branch main
agent-infrastructure agent-memory ai-agents audit-ledger graphiti langgraph langmem long-running-agents mem0 memory-governance memory-management memory-safety pydantic python retrieval-filtering typer
Python toolkit for verification auditing, residual ledgers, conformance checks, and verifier packet workflows.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-08-24
Default branch main
agentic-workflow ai-agents artificial-intelligence audit cli conformance governance json-schema python security software-quality testing verification
Personal site for independent research on observable-only, no-meta, and future autonomous AI.
Status Active repository
Language HTML
License CC-BY-4.0
Last source push 2026-08-22
Default branch main
Evidence-gated Agent Skill for protocol-relative ASI-proxy phase diagnostics and interventions
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-07-31
Default branch main
Related URL Not declared
agent-skills agentskills ai-agents asi-proxy askill claude-code codex no-meta observable-only reproducible-research skill skill-md skills-sh skillsmp verification
Public TeX source archive for K. Takahashi's open-science papers: machine-readable research seeds for AI agents, RAG systems, and reproducible scholarship.
Status Active repository
Language Not detected
License NOASSERTION
Last source push 2026-07-24
Default branch main
Telemetry-based auditor for measuring dynamic memory quality in LLM agents using the MemoryFlow framework.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-07-24
Default branch main
agent-evaluation agent-memory ai ai-agents ai-safety evaluation fastapi llm llm-agents memory-auditing memory-quality observability provenance python staleness telemetry
Deterministic local participation gate for AI agents: act, assist, verify, withdraw, exit, or refuse from declared observable records.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-07-23
Default branch main
agent-governance agent-safety ai-agents audit-log deterministic formal-methods json-schema local-first pydantic python receipts uv
Python Monte Carlo simulator for uncertainty, risk, verification, and resource-constrained scenario analysis.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-07-22
Default branch main
monte-carlo plotly python research-software risk-analysis scenario-analysis scientific-computing simulation streamlit uncertainty-quantification
Evidence-bound analysis and finite intervention control for collective workflows.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-07-14
Default branch main
Related URL Not declared
audit-trail collective-intelligence decision-support digital-signatures dsse evidence-control fastapi kubernetes multi-agent-systems network-science oidc petri-nets postgresql provenance python reaction-networks reproducibility scientific-computing supply-chain-security uv
Replayable Python protocol engine for checking time-bound future claims from canonical artifacts, with typed outcomes and audit trails.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-07-13
Default branch main
agent-safety artifact-bundles audit-trail authority-validation canonical-json future-claims json-schema proof-checking protocol-engine python runtime-verification
Node.js AI agent output checker and workflow report generator with JSON schemas, and safe reuse checks.
Status Active repository
Language TypeScript
License NOASSERTION
Last source push 2026-07-11
Default branch main
agent-runtime agentic-workflow ai-agents ai-safety ai-workflow automation-tools cli evidence-routing json-schema llm-output llmops nodejs npm npm-package provenance safe-ai typescript workflow-automation workflow-verification
Open-source Python runtime for coordinating AI agent tasks, verification, residual tracking, and release audits.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-07-10
Default branch main
agent-runtime ai-agents audit-log json-schema pypi python sqlite task-queue verification workflow-automation
Finite ledger toolkit for recording AI-agent claims, evidence, obligations, certificates, changes, and visible uncertainty.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-07-02
Default branch main
agent-evaluation ai-agents audit certificates finite-operational-structure json-schema ledger obligations provenance responsible-ai
Audit logs and action gates for safer AI agents
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-07-02
Default branch main
ai ai-agents ai-safety audit-log authorization open-source provenance pypi python risk-management security
OpenClaw agent safety skill for action review, workflow verification, and optional PIC diagnostics
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-06-22
Default branch main
action-review agent-safety ai-agent ai-agents ai-safety automation developer-tools guardrails llm llmops open-claw open-source openclaw python security security-tools workflow-automation workflow-verification
Local-first public standing ledger for replayable research and AI-system claims, based on observable evidence, challenges, lineage, and finite verification capacity.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-06-18
Default branch main
ai-agents auditability challenge-tracking claim-governance evidence-tracking lineage local-first no-meta-governance observable-only open-science public-ledger python reproducibility research-claims research-tools standing
Local Ollama research repo testing PIC-assisted diagnostics against a shared-initial baseline.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-06-14
Default branch main
experiment local-llm ollama percolation-inversion-compiler pic reproducibility research workflow-diagnostics
Language-neutral ALT foundry reference kernel for executable certificate packets, abstraction tokens, certificate transcripts, dual-ledger settlement, and safe certified abstraction capital.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-06-01
Default branch main
abstraction-liquidity-theory abstraction-token agent-operable-foundry agentic-ai ai-agents alt apache-2-0 causal-inference certification-kernel certified-ai conformance-testing dual-ledger executable-certificate-packet json-schema python research-kernel research-software safe-certified-capital transportability uv
Finite Python reference checker for Ledgered Scientific Availability and selected-terminal run-to-status transport.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-05-29
Default branch main
constraint-generative-theory effect-profiles evidence-ledger finite-checker ledgered-scientific-availability nonsynth python run-to-status scientific-availability status-transport uv
Finite executable reference implementation of Constraint Bandwidth Dynamics in Constraint Generative Theory (CGT).
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-05-19
Default branch main
audit-certificates constraint-bandwidth constraint-generative-theory constraint-systems effect-profiles finite-audit formal-methods python release-certificates reproducible-research scientific-computing typed-constraints
Finite CGT scientific-availability diagnostics for claim packages: deficiency profiles, dependency closure, report-only, marker, continuation, and reproducibility checks.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-05-18
Default branch main
cgt claim-packages constraint-generative-theory deficiency-profiles diagnostics open-science philosophy-of-science python reproducibility research-software scientific-availability
Contradiction markers for long-running AI agents
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-05-17
Default branch main
ai-agents cgt contradiction llm ollama provenance python scientific-computing state-management
Local-first, model-agnostic workflow optimizer for long-running AI agents: observable JSONL ledgers, deterministic reducers, no-meta gates, and receipt-backed self-improvement without LLM judges or model-weight updates.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-05-15
Default branch main
agent-evaluation agent-memory agent-workflows ai-agents autonomous-agents deterministic-replay jsonl long-running-agents model-agnostic no-meta ollama python self-improving-agents verification workflow-automation workflow-optimization
Reference Python kernel for CIMT: no-meta, observable-only certification machinery for affordance-compiled LLM-integrated systems.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-05-12
Default branch main
affordance-compiled-intelligence certification cognitive-impedance debt-calculus evidence-ledger formal-methods json-schema llm-agents llm-evaluation llm-systems no-meta observable-only python receipts reference-implementation reproducibility research-software schema-first target-firewall
JSON Schemas and deterministic local validation tooling for CAIT-style verified capability-capital records, with fail-closed semantic rules for certificates, tokens, defeaters, transfer/evaluation boundaries, window balances, and arrival records.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-05-07
Default branch main
ai-governance ai-rd ai-safety assurance-cases auditability cait certificate-schema defeater-records fail-closed json-schema provenance python transfer-certificates verified-capability-capital window-balance
Evidence-bound workflow diagnostics and certified lower-bound reporting for long-running AI agent pipelines. Improve agent workflow throughput without changing the model.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-05-07
Default branch main
agent-infrastructure agent-workflows ai-agent ai-workflows bottleneck-analysis certified-throughput evidence-contracts evidence-ledger fail-closed long-running-agents model-independent python workflow-optimization workflow-verification
Observable-only workflow memory for long-running agents: promotes raw short-term traces into verified, receipt-bound workflow memory without relying on hidden meta-evaluators.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-05-05
Default branch main
action-gate agent-memory ai-agent evidence-manifest llm long-running-agents memory-admissibility model-independent observable-only ports-and-adapters proof-carrying python rag self-improvement workflow-memory workflow-verification
Fail-closed certification toolkit for small-to-frontier transfer in agentic AI, with typed manifests, replayable evidence, and theory-registry coverage.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-04-30
Default branch main
agentic-ai ai ai-auditing ai-evaluation ai-governance ai-safety certification fail-closed formal-methods observability python replay reproducibility typed-manifests
Interactive browser simulator for exploring how AI capability growth becomes real-economy output, or fails under physical and institutional bottlenecks.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-04-30
Default branch main
ai-economics bottleneck-analysis economic-growth economics-models institutional-economics open-source physical-infrastructure policy-simulation python research-software risk-analysis simulation streamlit
Check whether AI-assisted R&D work is truly verified progress. Local-first LOSCR implementation with JSONL evidence ledgers, deterministic replay, service control, and claim checking.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-04-29
Default branch main
ai ai-agents ai-research ai-science audit-trail causal-inference claim-checker deterministic-replay evaluator-audit evidence-ledger governance local-first loscr python reproducibility research-automation service-control verified-ai
Fail-closed Python runtime for AI agent authorization, seed-mediated authority migration, canonical JSON ledgers, and staged declared autonomy for RLHF-shaped agents.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-04-26
Default branch main
agent-authorization agent-runtime ai-agents ai-governance authority-migration autonomy fail-closed proof-carrying python
Reproducible PoC comparing certified reusable workflows against flat direct control on bounded repository-maintenance tasks, with deterministic audit, replay, drift, and maintenance.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-04-23
Default branch main
agentic-workflows auditability deterministic-audit experimental-framework llm-agents ollama poc python qwen replay repository-maintenance reproducible-research workflow-evaluation
Replay-certified self-modification PoC: public-evidence admission gate with generated comparator covers, lower-tail checks, safe/unsafe growth fallback, and target-witness diagnostics.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-04-02
Default branch main
agent-evaluation ai-agents auditing benchmarking gemma3 llm ollama python replay research risk-evaluation self-modification
Auditable finite PoC for preference reorganization under record absence on a fixed comparison frame, with disclosure updates, bounded-coupling certificates, and machine-readable manifests.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-03-28
Default branch master
auditability belief-revision comparative-modeling default-reasoning disclosure finite-state information-retrieval knowledge-representation provenance python research retrieval-augmented-generation
CPU-only proof-of-concept repo for auditing compressed semantic interfaces, bridge-based multi-stage composition, gluing-coherent local-to-global certification, and deployment bottlenecks in semantic translation.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-03-27
Default branch main
ai-systems auditability compressed-state formal-methods model-interfaces recoverability semantic-auditing semantic-translation verification
Public, fully local PoCs for counterfactually auditable lifecycle certification: exact paired replay, drift monitoring, post-drift replanning, and bridge-aware ledger control on synthetic tasks.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-03-19
Default branch main
ai autonomous-agents counterfactual-auditing deterministic-evaluation drift-monitoring llm paired-replay poc scientific-reproducibility synthetic-data
Lightweight, replayable PoC for Sovereign Epistemic Commons: synthetic multi-agent memory-governance experiments on contamination, typed lanes, provenance-depth discount, and mixed exit/fork in observable-only agentic systems.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-03-17
Default branch main
agentic-systems ai contamination contradiction-handling cooldown-policy epistemic-commons fork-recovery knowledge-governance llm-evaluation memory-governance multi-agent-systems observable-only provenance replayability shared-memory sovereign-epistemic-commons synthetic-benchmark typed-lanes
A lightweight, reproducible PoC series for studying recursive self-improvement under endogenous yardstick drift, using Gemma 3 local models to separate proxy-score drift, proxy gaming, delayed audit, and strict-confirmed improvement.
Status Active repository
Language TeX
License Apache-2.0
Last source push 2026-03-17
Default branch main
ai ai-evaluation ai-governance auditability benchmark-drift delayed-audit evaluator-drift proof-of-concept proxy-gaming proxy-metrics recursive-self-improvement replayability yardstick-drift
Fixed-budget multi-agent inference benchmark harness for studying when split inference helps or hurts versus a strong single-agent baseline under local context ceilings, using local Ollama gemma3:1b, CPU-only pilots, topology diagnostics, verification-budget analysis, and reproducible experiment logging.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-03-12
Default branch main
ai ai-evaluation experiment-harness fixed-budget inference-allocation llm-benchmark local-context mixture-of-experts multi-agent-systems split-inference topology
Theory-to-experiment lab for search stability in long-running agents under finite context, with exact simulator tests and lightweight mechanistic probe tasks.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-03-12
Default branch main
agent-evaluation ai ai-agents bounded-memory finite-context hypothesis-management llm-agents long-horizon-reasoning long-running-agents mechanistic-probes reproducible-research reset-policy scientific-audit search-stability simulator state-compression structured-output
Deterministic verifier and reference implementation for Proof-Carrying Skills (PCS-Core) and compute-saving inference reuse for AI/LLMs.
Status Active repository
Language Python
License Apache-2.0
Last source push 2026-03-12
Default branch main
Observable-only no-meta epistemics lab: deterministic replay + reproducible audit logs, gate-based growth simulation, and identifiability/uncertainty benchmarks.
Status Active repository
Language TeX
License Apache-2.0
Last source push 2026-03-12
Default branch main
ai autonomous-agents deterministic-replay epistemics gate-model identifiability metrology no-meta observable-only reproducible-research uncertainty-quantification
Lightweight proof-of-concept for oversight-centered metrology in coding agents: workflow-aware evaluation, interrupt channels, and claim-margin reporting beyond raw success scores.
Status Active repository
Language Python
License NOASSERTION
Last source push 2026-03-12
Default branch master
agentic-ai ai ai-agent ai-evaluation ai-oversight audit-gaming benchmark-validity claim-margin coding-agents continuous-monitoring deployment-evaluation human-in-the-loop interrupt-channels llm-evaluation metrology proof-of-concept safe-control socio-technical-systems workflow-evaluation
Stage-based OSS packaging of no-meta + ontology-drift theory from four Zenodo preprints: paper-linked specs, AI-friendly manifests, and implementation stubs.
Status Active repository
Language TeX
License Apache-2.0
Last source push 2026-02-27
Default branch main
ai ai-alignment ai-safety autonomous-agents liberty no- sovereignty
Offline, fail-closed verifier for JSONL telemetry event logs. Emits deterministic audit certificates + human summaries with explicit claims/non-claims for bottleneck and integrity review.
Status Active repository
Language Python
License Apache-2.0
Last source push 2025-12-26
Default branch main
ai audit bottleneck checkpointing distributed-training event-logs jsonl mlops offline-verification performance-monitoring silent-data-corruption tail-latency telemetry
No GitHub repository description is currently declared.
Status Active repository
Language Not detected
License NOASSERTION
Last source push 2025-09-17
Default branch main
Related URL Not declared
No GitHub topics declared.
A Computational, Observer-Centric Universe Model
Status Active repository
Language Python
License Not declared in GitHub metadata
Last source push 2025-08-22
Default branch main
Related URL Not declared
No GitHub topics declared.
conceptual AI swarm project
Status Active repository
Language Python
License MIT
Last source push 2025-07-22
Default branch master
Related URL Not declared
No GitHub topics declared.
Wisdom Weaver is an AI agent designed to help non-data science experts extract essential insights from limited data. This project provides a framework for robust analysis, especially for small datasets, leveraging the capabilities of the Gemini CLI.
Status Active repository
Language Python
License Not declared in GitHub metadata
Last source push 2025-07-02
Default branch main
Related URL Not declared
ASI prototype
Status Active repository
Language Python
License Not declared in GitHub metadata
Last source push 2025-07-02
Default branch main
Related URL Not declared
No GitHub topics declared.
G.E.A.R. is an experimental agent designed to understand and execute tasks described in a simple text file. It leverages the Gemini CLI's problem-solving framework to perform a variety of operations, including shell commands and complex GUI automation on Windows.
Status Active repository
Language Python
License MIT
Last source push 2025-06-30
Default branch main
Related URL Not declared
No GitHub topics declared.